差分约束系统

问题

给出一组约束不等式，形如
x1 - x2 <= 5
x5 - x3 <= 7
x4 - x1 >= 2
…
问xb-xa的最大值

转换

有没有办法将x1-x2<=5变得更加直观呢?很简单。
设想图中节点1、2间连了一条权值为5的边，
既然可以直接这条边走到,那1到2间的最短路dist[1][2]是不是一定不超过5？
换成某个点发起的单源最短路，就是dist[1]-dist[2]<=5
刚好与题设符合。

所以，对xi - xj <= a，我们在点i与j间连一条权值为a（可以为负）的边。
如果是xi - xj >= a，我们左右同乘-1，化为xj - xi <= -a，同理。

求解

现在就要求终极问题xb - xa的最大值了。
接上文，同样是求最短路即可。

最大值求最短路，听起来有点不可思议，但是可解释的。
注意我们建边的边权都是按照不等式的极端来建的，再大一点就不合约束了，“最大”的思想体现在了这里。至于最短路，不过是一个工具罢了，别被“最短”吓到了。

如果要求最小值，也很简单：
最大值相当于求m使xb - xa <= m
最小值相当于求m使xb- xa >= n
同乘-1，化为xa - xb<= -n即可。