概述
一种解决多变量不等式组中最大差、最小差的算法。
思想
建立图论模型,然后求解。
差分约束系统
问题引入
我们现在有一组不等式——
x a i − x b i ≤ c i x_{a_i}-x_{b_i}\le c_i xai−xbi≤ci
我们要知道,对于一组给定的 u , v u,v u,v, max ( x v − x u ) \max(x_v-x_u) max(xv−xu)为多少。
图论模型
考虑在数轴上将 x u x_u xu作为原点,将 x x x值标记出来,那么 x v x_v xv不能继续右移的原因,一定是被某个 x x x给“拉住”了——差达到了最大值。假设是 x k x_k xk,如果 x k x_k xk可以右移, x v x_v xv自然也可随之右移,故 x k x_k xk也被“拉住”了。一个“拉”一个,最终肯定是 x u x_u xu拉住了其他所有人,因为 x u x_u xu是原点,不需要别人“拉住”也无法移动。
想象一下这个画面,用橡皮筋来代替“拉住”,最终一定有一条橡皮筋最先拉紧,导致 x v x_v xv无法右移。
上图中,红色的长度为
2
2
2的橡皮筋没有拉紧,但是绿色的橡皮筋都已经拉紧了,所以
x
v
x_v
xv无法右移。——这就是最短路啊!
结论:如果 x i − x j ≤ c x_{i}-x_j\le c xi−xj≤c,那么建一条 j j j到 i i i的有向边,长度为 c c c,则 max ( x v − x u ) \max(x_v-x_u) max(xv−xu)等于 u u u到 v v v的最短路。如果没有路径,答案为无限大(没有人能拉住 x v x_v xv)。
更多问题
- 如果是 x i − x j ≥ c x_i-x_j\ge c xi−xj≥c呢?其实也是类似的,不过是最长路。
- 如果又有 x i − x j ≤ c x_i-x_j\le c xi−xj≤c,又有 x u − x v ≥ w x_u-x_v\ge w xu−xv≥w呢?也许 spfa \text{spfa} spfa仍然可做。也许。
链接
大佬的博客中有详细的介绍这种方程和图论最短路转移方程的关系。