【1】最短路如何建图？
差分约束系统是{di-dj
考虑将di-dj=di，
∴结点i要满足所有的结点j的dj+u>=di，
那么必须至少取到min(dj+u)，如果取得更大，就会矛盾。
于是这样就可以建最短路，求出一组取值。
【2】这组取值有什么意义？
它通过最短路得到。
刚好满足了所有条件，约束得最紧密。
也就是说，它不唯一，任意的di可能可以更小，相对差就会变大。
...
分类：
其他好文 时间：
2015-08-08 15:02:47
阅读次数：
93
【题目大意】n头牛从小到大排，它们之间某些距离不能大于一个值，某些距离不能小于一个值，求第一头牛和第N头牛之间距离的最大值。【思路】由题意可以得到以下不等式d[AL]+DL≥d[BL]；d[BD]+(-DD)≥d[AD];d[i+1]+0≥d[i]，显然是差分约束系统。即构造从AL到BL权值为DL的...
分类：
其他好文 时间：
2015-08-06 16:23:43
阅读次数：
110
题目大意：有一种操作(u,c)，表示所有以u为终点的边的权值减去c，所有以u为起点的边权值加上c
最后要求所有的边的权值非负且尽量大解题思路：最小且最大，二分，枚举边的最小权值，然后看是否符合
对于给出的所有有向线段(u,v,val)
所有对u和v的操作才会影响到这条边，对其他点的操作并不会影响到，所以可以将边分开出来讨论
假设对u的操作为d[u]，对v的操作为d[v]，那么这条边的权值就变...
分类：
其他好文 时间：
2015-08-05 20:29:51
阅读次数：
119
题目大意：给出N个不等式，让你判断一下这些不等式是不是都成立
给出的样例形式如下
u v gt c 或者 u v lt c
表示第u项到第u＋v项的和大于(小于)c解题思路：设d[i]为前i项和
假设给出的是大于不等式，也就是u v gt c
那么可得不等式d[u + v] - d[u - 1] > c,变化的d[u -1] - d[u + v] <= -c - 1
如果给出的是小于的...
分类：
其他好文 时间：
2015-08-05 10:40:57
阅读次数：
148
题目大意：给出N个区间，要求你找出M个数，这M个数满足在每个区间都至少有两个不同的数解题思路：还是不太懂差分约束系统，数学不太好
借鉴了别人的思路，感觉有点DP思想
设d[i]表示[0,i-1]这个区间有d[i]个数满足要求
则给定一个区间[a,b]，就有d[b + 1] - d[a] >= 2(b + 1是因为b也算在区间内)
将其转换为d[a] - d[b + 1] <= -2,这是第一...
分类：
其他好文 时间：
2015-08-05 01:02:46
阅读次数：
101
题意：给定一个带权有向图，每次你可以选择一个结点v 和整数d ，把所有以v为终点的边权值减少d，把所有以v为起点的边权值增加d，最后要让所有的边权值为正，且尽量大。若无解，输出结果。若可无限大，输出结果。否则，输出最小边权的最大值。思路：差分约束系统用最短路来解。列式子后建图，新图的边就是原图的边，...
分类：
其他好文 时间：
2015-08-01 00:48:00
阅读次数：
113
本文转自：http://www.cnblogs.com/void/archive/2011/08/26/2153928.html 一直不知道差分约束是什么类型题目，最近在写最短路问题就顺带看了下，原来就是给出一些形如x-y,=k的标准形式（变形）注意点: 1. 如果要求最大值想办法把每个不等式变.....
分类：
其他好文 时间：
2015-07-31 23:20:44
阅读次数：
153
思路：
开始想着用贪心解这题，但模型感觉有点负复杂，不好处理。然后就用差分约束系统解。s[i]表示集合Z中小于等于i的元素个数。思路详解见《图论算法理论，实现及应用》。
一下摘一段写的比较好的思路：...
分类：
其他好文 时间：
2015-07-30 17:12:55
阅读次数：
135
