【学习笔记】差分约束系统

概述

一种解决多变量不等式组中最大差、最小差的算法。

思想

建立图论模型，然后求解。

差分约束系统

问题引入

我们现在有一组不等式——

$$x_{a_i}-x_{b_i}\le c_i$$

我们要知道，对于一组给定的$u,v$，$\max (x_v-x_u)$为多少。

图论模型

考虑在数轴上将$x_u$作为原点，将$x$值标记出来，那么$x_v$不能继续右移的原因，一定是被某个$x$给“拉住”了——差达到了最大值。假设是$x_k$，如果$x_k$可以右移，$x_v$自然也可随之右移，故$x_k$也被“拉住”了。一个“拉”一个，最终肯定是$x_u$拉住了其他所有人，因为$x_u$是原点，不需要别人“拉住”也无法移动。

想象一下这个画面，用橡皮筋来代替“拉住”，最终一定有一条橡皮筋最先拉紧，导致$x_v$无法右移。

上图中，红色的长度为$2$的橡皮筋没有拉紧，但是绿色的橡皮筋都已经拉紧了，所以$x_v$无法右移。——这就是最短路啊！

结论：如果$x_i-x_j\le c$，那么建一条$j$到$i$的有向边，长度为$c$，则$\max (x_v-x_u)$等于$u$到$v$的最短路。如果没有路径，答案为无限大（没有人能拉住$x_v$）。

更多问题

• 如果是$x_i-x_j\ge c$呢？其实也是类似的，不过是最长路。
• 如果又有$x_i-x_j\le c$，又有$x_u-x_v\ge w$呢？也许$\text{spfa}$仍然可做。也许。

链接

大佬的博客中有详细的介绍这种方程和图论最短路转移方程的关系。