【差分约束系统——spfa的应用】知识点+例题

（借鉴via：https://blog.csdn.net/consciousman/article/details/53812818 ）

差分约束系统的解法如下：

1、  根据条件把题意通过变量组表达出来得到不等式组，注意要发掘出隐含的不等式，比如说前后两个变量之间隐含的不等式关系。

2、  进行建图：

首先根据题目的要求进行不等式组的标准化。

(1)、如果要求取最小值，那么求出最长路，那么将不等式全部化成xi – xj >= k的形式，这样建立j->i的边，权值为k的边，如果不等式组中有xi – xj > k，因为一般题目都是对整形变量的约束，化为xi – xj >= k+1即可，如果xi – xj = k呢，那么可以变为如下两个：xi – xj >= k, xi – xj <= k,进一步变为xj – xi >= -k，建立两条边即可。

(2)、如果求取的是最大值，那么求取最短路，将不等式全部化成xi – xj <= k的形式, 这样建立j->i的边，权值为k的边，如果像上面的两种情况，那么同样地标准化就行了。

(3)、如果要判断差分约束系统是否存在解，一般都是判断环，选择求最短路或者最长路求解都行，只是不等式标准化时候不同，判环地话，用spfa即可，n个点中如果同一个点入队超过n次，那么即存在环。

值得注意的一点是：建立的图可能不联通，我们只需要加入一个超级源点，比如说求取最长路时图不联通的话，我们只需要加入一个点S，对其他的每个点建立一条权值为0的边图就联通了，然后从S点开始进行spfa判环。最短路类似。

3、  建好图之后直接spfa或bellman-ford求解，不能用dijstra算法，因为一般存在负边，注意初始化的问题。

【自己的理解+注意点】

理解一个点：为什么求最小值就是求最长路，最大值就是求最短路？

因为：

若由题目整理出以下三个不等式，需要求x0到x3的距离的最大值：

       1.      (3)                        x3 - x0 <= 8

       2.      (2) + (5)               x3 - x0 <= 9

       3.      (1) + (4) + (5)      x3 - x0 <= 7

      这里的T等于{8， 9， 7}，所以min{ T } = 7，答案就是7。那么就是该求“最短路”。

注意点：

首先在建图前要写好各个不等式，如果是要求最小值那就应该求最长路，那么所有的不等式都应该像（1）所说建立。注意图的有向边（不是无向图的双向边！）是由减数指向被减数！然后如果是＞关系的话记得右边的常数值要+1（同理，<则要-1），因为我们的不等式是>=和<=符号的。

一般的题感觉会又有等式关系又有不等式关系，这时候你就要注意等式关系可以化为两个不等式关系（<=和>=），但这些不等式最后都要由“我到底是要求最短路还是最长路”来把不等式统一为<=或>=结构！

注意判断有解的题，求最长路和最短路都可以，要再开个数组来记录每个点进队的次数，只要>n则无解。

而且一般来说，都要加入一个超级源点（因为一般来说没有序号为0的点，所以可以用0作为超级源点，对i遍历每个点用add2(0,i,0)建立边）。

例题：

请见：https://blog.csdn.net/consciousman/article/details/53812818