(借鉴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算法,因为一般存在负边,注意初始化的问题。
【自己的理解+注意点】
理解一个点:为什么求最小值就是求最长路,最大值就是求最短路?
因为:
注意点:
首先在建图前要写好各个不等式,如果是要求最小值那就应该求最长路,那么所有的不等式都应该像(1)所说建立。注意图的有向边(不是无向图的双向边!)是由减数指向被减数!然后如果是>关系的话记得右边的常数值要+1(同理,<则要-1),因为我们的不等式是>=和<=符号的。
一般的题感觉会又有等式关系又有不等式关系,这时候你就要注意等式关系可以化为两个不等式关系(<=和>=),但这些不等式最后都要由“我到底是要求最短路还是最长路”来把不等式统一为<=或>=结构!
注意判断有解的题,求最长路和最短路都可以,要再开个数组来记录每个点进队的次数,只要>n则无解。
而且一般来说,都要加入一个超级源点(因为一般来说没有序号为0的点,所以可以用0作为超级源点,对i遍历每个点用add2(0,i,0)建立边)。
例题:
请见:https://blog.csdn.net/consciousman/article/details/53812818