4.5 差分约束系统求解.ppt

4.5 差分约束系统(System Of Difference Constraints) 预备知识 最短路径的基本性质 Bellman-Ford算法 差分约束系统 差分约束系统的解 差分约束系统与最短路径 图的构造 进一步：增加源点 例子 关于源点V0的取值 差分约束系统无解的情形 ZOJ题目 ZOJ 2770 * 信息学院信息技术教研室 Vt V2 V4 V3 V1 2 4 8 4 2 7 9 1 4 6 V1 V8 V9 V10 V7 V4 V3 V6 V5 V2 图论算法理论、 实现及应用 王桂平 X1 - X2 = 0 X1 - X5 = -1 X2 - X5 = 1 X3 - X1 = 5 X4 - X1 = 4 X4 - X3 = -1 X5 - X3 = -3 X5 - X4 = -3 假设有这样一组不等式： 不等式组(1) 全都是两个未知数的差小于等于某个常数（大于等于也可以，因为左右乘以-1就可以化成小于等于）。这样的不等式组就称作差分约束系统。 这个不等式组要么无解，要么就有无数组解。因为如果有一组解{X1, X2, ..., Xn}的话，那么对于任何一个常数k，{X1 + k, X2 + k, ..., Xn + k}肯定也是一组解，因为任何两个数同时加一个数之后，它们的差是不变的，那么这个差分约束系统中的所有不等式都不会被破坏。 差分约束系统的解法利用到了