差分约束系统就是给出一些形如x-y<=b不等式的约束，问你是否有满足问题的解，或者求最小，最大解。 （以下（a,b,c）表示从a向b连一条权值为c的边 一.原理 对于图论的最短路径，有：d(v) <= d(u) + w(u, v) ，而差分约束系统的解法利用到了单源最短路径问题中的三角形不等式。 移 ...
分类：
其他好文 时间：
2017-07-05 21:18:38
阅读次数：
145
【POJ 1201】 Intervals（差分约束系统） 11 1716的升级版 把原本固定的边权改为不固定。 Intervals Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 23817 Accepted: 9023 Desc ...
分类：
其他好文 时间：
2017-07-03 09:59:28
阅读次数：
221
题目地址:POJ 3169 题意：N头牛排队吃饭 排编号顺序排。大的永远在小的前面。但牛之间有的关系好。有的差，所以有的牛想离某些牛的距离最远不超过D 有的必须大于D 给出它们的关系 求第n头牛跟第一头的最远距离。 思路：非常easy的查分约束，公式非常好看出来。求最大值 约束条件转化为 < ； 所 ...
分类：
其他好文 时间：
2017-07-01 10:01:53
阅读次数：
178
题意:给出n个区间[a,b] n,a,b<=1e4,要求找到一个最小集合 使得每个区间至少有两个数在集合中.设d[i]为0~i中有多少个元素在集合中,mn,mx分别为左右端点 则对每个i=1..n都要满足 d[b[i]]-d[a[i]-1]>=2 保证等式有意义,d[i+1]<=d[i]+1 , d ...
分类：
其他好文 时间：
2017-06-20 22:27:53
阅读次数：
220
唔，今天做题的时候发现了有这么一个概念。虽然不知道原理，但还是记录一下。 假设我们当前有四个等式: x1-x2<=k1; x2-x3<=k2; x1-x3<=k3; x3-x4<=k4; 然后求x1-x4的最大值，经过式子的变形，我们可以得到x1-x4<=k3+k4和x1-x4<=k1+k2+k4， ...
分类：
其他好文 时间：
2017-06-20 11:00:48
阅读次数：
158
思路： 带未知量的Floyd 很强 http://yousiki.net/index.php/archives/87/ ...
分类：
其他好文 时间：
2017-06-19 22:16:30
阅读次数：
168
转载地址 差分约束总结： 今天请教了DQS大神，算是对差分做一个系统性的总结吧，也算是对自己近期不完善理解的差分约束理一遍。 差分约束分为3大类，求最小，求最大，求是否满足约束条件，第三类求是否满足直接判断负环即可，一般都结合前两类来出题。 1：求最小。求最小一般是跑最长路，在已有约束条件下建立超级 ...
分类：
其他好文 时间：
2017-06-16 16:47:14
阅读次数：
111
传送门 差分约束裸题 但是坑！ 有一个点是长为10W的链，需要逆序加边才能过（真是玄学） 还有各种坑爹数据 开longlong ——代码 1 #include <cstdio> 2 #include <cstring> 3 #include <iostream> 4 #define N 200001 ...
分类：
其他好文 时间：
2017-06-16 16:42:24
阅读次数：
162
传送门 差分约束系统。。找负环用spfa就行 ——代码 1 #include <cstdio> 2 #include <cstring> 3 #include <iostream> 4 #define N 100001 5 6 int n, m, cnt; 7 int head[N], to[N < ...
分类：
其他好文 时间：
2017-06-16 15:13:17
阅读次数：
202
先给一个线性规划的定义： 在通用的线性规划问题中，我们通常给定一个m*n的矩阵A，一个m维的向量和一个n维向量（权值函数）。我们希望找到一个n维向量x，使得在由Ax<=b给定的m个约束条件下优化目标函数ci*xi，这里的优化是指目标函数的取值最大。 根据矩阵乘法，我们大概脑补出这样一幅图 ps:上图 ...
分类：
其他好文 时间：
2017-06-10 22:37:29
阅读次数：
159
