SPFA之差分约束

$SPFA—差分约束$

功能：

1. 求不等式的可行解
2. 求最大值与最小值（重点）

$（一）不等式的可行解$

步骤：

1. 将每个不等式 $x_i\le x_j+c_k$，转化为一条从 $x_j$ 到 $x_i$ 的一条长度为 $c_k$ 的边
2. 找到一个超级源点，使得该源点一定可以遍历到所有边
3. 从源点求一遍单源最短路

无解情况：$负环$

$（二）最大值与最小值（指每一个变量的最值）$

结论：

若求最小值，则选择最长路；若求最大值，则选择最短路

存在性：

满足有至少一个条件 $x_i\ge c$ 或 $x_i\le c$，其中 $c$ 为常数，保证了最值，否则就是相对的大小，无最值

问题1：如何转化 $x_i\le c$，其中 $c$ 为常数

方法：建立一个超级源点（$0$ 号点），并创建 $x_0\sim x_i$ 的一条边，长度为 $c$ 即可

问题2：结论的证明

以最大值为例：求出所有从 $x_i$ 出发，构成的不等式链 $x_i\le x_j+c_1\le x_k+c_1+c_2\le \cdots \le c_1+c_2+c_3+\dots$，计算出所有的上界，$x_i$ 的最大值即为所有上界的最小值，故选用最短路。