【图-差分约束】 差分约束

差分约束系统：如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统。
比如：

x1-x5≤-1
x2-x5≤1
x3-x1≤5
x4-x1≤4
x4-x3≤-1
x5-x3≤-3
x5-x4≤-3

这里有5个变量x1,x2,x3,x4,x5，有7个约束条件。
当有n个变量，m个约束条件时，若约束条件为Ai-Bj<=Ck
可以发现这个不等式类似最短路松弛中的三角不等式。
d[v]<=d[u]+w[u,v]；
d[v]-d[u]<=w[u,v]；
所以把Ai，Bi存为点，Ck存为Ai到Bi的边，就可以把约束变成图的形式。
在这个图中可以做最短路，最长路。
这样就把差分约束系统变成了图论问题。
差分约束的问题也可以用图论求解。

就拿刚刚的例子说：
把刚才的查分约束系统存成图为：

如果求x1-x5的最小值就只需做一遍x1到x5的最短路径。
如果有负环证明无解。