差分约束算法原理与应用

一、单源最短路回顾

我们在求单源最短路径的时候，设$u\to v$之间有一条有向边$(u,v,w)$，由于只有当$dis[v]$能减小的时候才会被更新，因此则当$v$被$u$更新后一定满足关系式：$dis[v]\le dis[u]+w$。
而一个图中有若干条这样的有向边，因此也就等价于有多个这样的不等式，利用最短路算法求解这样的不等式组即为差分约束。

二、差分约束的应用

1.求不等式组的可行解
源点需要满足的条件：从源点出发，一定可以走到所有的边。

步骤：

1. 先将每个不等式$x_i\le x_j+c_i$转化成一条从$x_j$走到$x_i$，长度为$c_i$的一条有向边
2. 找一个超级源点，使得该源点一定可以遍历到所有边
3. 以源点为起点求一遍单源最短路，如果存在负环，则原不等式组一定无解；如果没有负环，则$dis[i]$就是原不等式组的一个可行解

求形如$x_i\ge x_j+c_i$的不等式组则求最长路，出现正环则无解。

2.求每个变量的最大值或最小值
结论：如果求的是最小值 ，则应该求最长路；如果求的是最大值，则应该求最短路。

求最值问题中一定存在某个形如$x_i\le C$的一个方程，其中$C$是一个常数，如何表示这类不等式呢？可以设一个超级源点值为$0$，则原式变为$x_i\le x_0+C$，因此建立一条$0\to x_i$长度为$C$的边即可。

这里以求$x_i$的最大值为例：求所有从$x_i$出发，构成的不等式链$x_i\le x_j+c_1\le x_k+c_2+c_1\le \cdots \le c_1+c_2+\cdots +c_n$所计算出的上界（形如$x\le C$），最终$x_i$的最大值等于所有上界的最小值（即若$x\le 5,x\le 2,x\le 3$，那么$x\le 2$）。

求最大值的分析过程同理。