{http://blog.csdn.net/xuezhongfenfei/article/details/8685313}
差分约束系统
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)
d(v) <= d(u) + w(u, v) {由最短路径的求法可知}
X1 - X0 <= 0
X2 - X0 <= 0
X3 - X0 <= 0
X4 - X0 <= 0
X5 - X0 <= 0
不等式组(2)
图1
X0 = 0
d(v) >= d(u) + w(u, v)
也就是d(v) - d(u) >= w(u,v)
最近几天系统得学习了一些差分约束系统的原理,特此记录如下:
所谓差分约束系统,是指一组不定方程(A,x,T,b),其中A的每行有一个1,一个-1,其余为0,x为解向量,T为<=或>=组成的向量,b为约束矢量。具体来说,就是每行都具有xi-xj >=|<= bi的形式。约束的目标是使得目标函数xt-xs最大或最小。
这是典型的线性规划的个案,但是也可以转化为图论来做,利用最短路(或最长路)方法可以实现高效的解决方案。