差分约束

小学期学的算法和做OJ题的各种经验总结

• 差分约束系统的解法利用到了单源最短路径问题中的三角形不等式。即对于任何一条边u -> v，都有：

  • d_v ≤ d_u + w_u->v
  • 其中d_u和d_v是从源点分别到点u和点v的最短路径的权值，w_u->v是边u -> v的权值。
  • 这个不等式可以化成 d_v - d_u ≤ w_u->v

• 比如给出三个不等式

$$\{\begin{array}{c}b-a\le k_1\\ c-b\le k_2\\ c-a\le k_3\end{array}$$
求出c-a的最大值

由题得出
$$\{\begin{array}{l}c-a\le k_1+k_2\\ c-a\le k_3\end{array}\to c-a\le min(k_1+k_2,k_3)$$

因此比较 k₁+k₂ 和 k₃ 的大小，求出最小的就是c-a的最大值了。

我们可以把a,b,c转换成三个点，k1，k2，k3是边上的权，如图

根据c-a ≤ min(k₁+k₂, k₃)，我们可以看到求 a到c的最大值min(k₁+k₂, k₃) 就是求从a到c的最短路径。

（也就是说，每条边的权重是两点的最大距离，从a到c沿着某条路径后把所有权值和k求出就是c - a ≤ k的一个，a到c的最短路径的距离就是满足所有不等式的条件下a到c的最大距离）

※注意点:

1. 如果要求最大值想办法把每个不等式变为标准v-u<=k的形式,然后建立一条从v到u权值为k的边,变得时候注意v-u<k => v-u<=k-1

   相反，如果求a到c的最小距离，只要把不等式全部变成 d_v - d_u ≥ w_u->v再求两点的最短路径

   如果要求最小值的话,变为v-u>=k的标准形式，然后建立一条从u到v的k边，求出最短路径即可

2. 如果权值为正，用dj，spfa，bellman都可以，如果为负不能用dj，并且需要判断是否有负环，有的话就不存在

参考：https://www.cnblogs.com/zhangmingcheng/p/3929394.html