差分约束系统--详讲

------------差分约束题目请戳：差分约束题集暨报告

总的开说差分约束问题就是给出一系列不等式然后求问某一式子的最大值或者最小值。

差分约束问题详解：

    比如有这样一组不等式： 
   
X1 - X2 <= 0 
X1 - X5 <= -1 
X2 - X5 <= 1 
X3 - X1 <= 5                   不等式组(1) 
X4 - X1 <= 4 
X4 - X3 <= -1 
X5 - X3 <= -3 
X5 - X4 <= -3 

    全都是两个未知数的差小于等于某个常数（大于等于也可以，因为左右乘以-1就可以化成小于等于）。这样的不等式组就称作差分约束系统。 
    这个不等式组要么无解，要么就有无数组解。因为如果有一组解{X1, X2, ..., Xn}的话，那么对于任何一个常数k，{X1 + k, X2 + k, ..., Xn + k}肯定也是一组解，因为任何两个数同时加一个数之后，它们的差是不变的，那么这个差分约束系统中的所有不等式都不会被破坏。 
    
    差分约束系统的解法利用到了单源最短路径问题中的三角形不等式。即对于任何一条边u -> v，都有： 

d(v) <= d(u) + w(u, v)