差分约束系统小结

一、内容：

有n个变量，m个约束条件组成的不等式组成的系统，称为差分约束系统。

差分约束系统就是将这些不等式的关系转换为图，用最短路的方法求解。

 

二、常见问题即求解方法

1、求出这些不等式中的最小值：

解法：将不等式转化为A-B>=C的形式，建立B->A的边，长度为C，然后求出最长路径，最长路径的解就是结果。

 

2、求出不等式中的最大值

解法：将不等式装化为A-B<=C的形式，建立B->A长度为C的边，然后求出最短路，最短路径的解就是结果。

 

3、求出不等式是否存在解

解法：找一个源点，然后根据题中已有关系建立源点到所有点的距离，然后求解这个源点到所有点

的距离求出最大解或最小解，如果图中存在环则说明好、这些不等式不存在解。

 

三、常见问题：

1、注意重边

2、题中的隐含条件建立边

3、注意不等式的区间，是否可能存在-1的情况

4、建立源点可以避免出现距离为-INF后INF的情况。

5、用SPFA时，有时用堆栈代替队列会更快。

 

四、练习

1、POJ 1716

2、洛谷 P3275

3、POJ 2983

4、POJ 1364

5、POJ 3169

6、POJ 3460

7、POJ 1201

8、POJ 1275