差分约束算法

差分约束

差分约束的引入

假设现在有一组不等式方程组，求 $x_3-x_0$ 的最大值

• $x_1-x_0 \leq 2 $ (1)
• $x_2-x_0\le 7$ (2)
• $x_3-x_0\le 8$ (3)
• $x_2-x_1\le 3$ (4)
• $x_3-x_2\le 2$ (5)

可整理到以下三个不等式：

1. $x_3-x_0\le 8$ (3)
2. $x_3-x_0\le 9$ (2)、(5)
3. $x_3-x_0\le 9$ (1)、(4)、(5)

如果一个系统由 $n$ 个变量和 $m$ 个不等式组成，并且这 $m$ 个不等式均为 $x_i-x_j\le a[k]$ 的形式，这样系统成为 差分约束

---

最短路问题中松弛操作的变形与扩展

现在看下面这张图，问从 $0$ 号点到 $3$ 号点的最短距离

每次松弛操作更新时的方程就像这样：

$if(dis[to]>dis[now]+mp[now][to])$

​ $dis[to]=dis[now]+mp[now][to]$

容易思考出最短路已经求出后，任意的三角关系满足：$dis[to]\le dis[now]+mp[now][to]$

左右移项可以得出 $dis[to]-dis[now]\le mp[now][to]$

---

差分约束和最短/长路的联系

发现与之前差分约束的不等式有点相似

分析：

对于任意一组不等式 $x-y\le z$ ，$x$ 可以理解为源点 $s$ 到点 $x$ 的最短路大小，同理 $y$ 可以理解为源点 $s$ 到点 $y$ 的最短路大小，$z$ 可以理解为 跑完最短路的图 后点 $x$ 到 $y$ 的边的大小。

有了点权和边权我们就可以建图，这样差分约束就可以转化成 最短路问题 求解。

需要注意的是，有些问题求得是差值的 最大值 ，我们用最短路解决；有些问题求的是差值的 最小值 ，我们用最长路解决。

解释如下：

最短路求完后任意三角关系满足：$dis[to]\le dis[now]+mp[now][to]$

移项后得：$dis[to]-dis[now]\le mp[now][to]$ ，对应求差值的最大值

假设有 $m$ 个这样的式子，如果最后要得到一个满足所有限制的值，必然是这 $m$ 个上界中的最小值，也就是最短路。

同理，最长路求完后任意三角关系满足：$dis[to]-dis[now]\ge mp[now][to]$ ，对应求差值的最小值

并且，需要提前通过乘以负号等操作使得所有不等式 符号相同 以进行最短/长路的进一步操作。

所以可能会有负权边的出现，迪杰斯特拉算法不一定适用。

一句话概括：求最大值，跑最短路；求最小值，跑最长路。

最长路有两种求法，如果没有负权边，一开始将 $dis[i]$ 全赋为0，松弛操作取最大；如果无法确定有没有负权边，那么就边权全部 取反 ，再用 $SPFA$ 跑一遍最短路模板即可。

---

解的存在性

对于任意方程，无外乎三种情况，有唯一解、无解、有多解 ，考虑他们在图论中的意义。

有唯一解 是最简单的一种情况，源点 $S$ 到终点 $E$ 之间存在最短路。

进一步考虑，如果源点 $S$ 到终点 $E$ 不存在最短路，即存在 负环 ，就可以表示为方程的 无解情况 。

如果源点 $S$ 根本无法到达终点 $E$ ，即 $dis[E]=INF$，表示 $S$ 和 $E$ 之前不存在约束关系，表示为方程的 多解情况 。

（下面为解释，有点绕，核心上文已给出，可以不看）

这是一个存在负环的图，我们将其转化为差分约束系统如下所示

• $x_2-x_1\le 3$ (1)
• $x_3-x_2\le 1$ (2)
• $x_4-x_3\le -5$ (3)
• $x_2-x_4\le 2$ (4)
• $x_5-x_4\le 7$ (5)

将(2)、(3)、(4)全部相加后我们可以发现出现了 $0\le -2$ 这种自相矛盾的式子，说明方程组不可能有解。

最长路也是类似的理解，如果源点 $S$ 到终点 $E$ 根本没有任何连边，那么 $E$ 取任何值都没有关系，说明方程组有多解。

---

不等式方程组的格式

1. 求差值的最大值，全部转化为 $x-y\le z$ 这种格式；求差值的最小值，全部转化为 $x-y\ge z$ 这种形式
2. 如果有形如 $x-y=z$ 的形式，将其变化成两个不等式：$x-y\le z$ 和 $x-y\ge z$
3. 如果有形如 $x-y<z$ 的形式，将其变化为 $x-y\le z-1$ 的形式

---

关于超级源点

为了得到正确的结果，我们必须保证至少存在一个点，通过这个点我们可以遍历所有的 边 。（注意不是点，下文会说明）。

边是我们在图论中的理解，回到求不等式解的问题当中。遍历不到某条边就相当于无法保证满足不等式组中的所有约束，答案就可能产生错误。

遍历不到某个点没有任何关系，说明其没有任何约束，随便取什么值都可以。

如果可以通过某个点走到任意点上，那么也可以通过该点走过任何边。（边是连接点和点的，必然可以通过所有边）

具体实现时，往往在原图上附加一个超级源点，这个顶点与每个顶点连上一条权值为 $0$ 的边。以求差值的最大值（最短路为例），就是新加入一个未知数 $x_0$ ，然后新增 $n$ 个这样的不等式，对应 $n$ 条新产生的权值为 $0$ 的边：

• $x_1-x_0\le 0$ $0\to 1$
• $x_2-x_0\le 0$ $0\to 2$
• $x_3-x_0\le 0$ $0\to 3$
• …
• $x_n-x_0\le 0$ $0\to$n

以该图为例。

现在以 $x_0$ 为源点，求单源最短路，最终得到的 $x_0$ 到 $x_i$ 的最短路长度就是 $x_i$ 的一个解。图中 $x_0$ 到 $x_i$ 的最短路长度分别为 $-5,-3,0,-1,-4$ ，因此这五个数就是满足上述不等式的一组解。当然，把每个数都加上 $10$ 也是一组解，因为他照样满足原先的差分约束系统。虽然他不满足我们后来新加的一些约束，但都没关系，因为 $x_0$ 是 局外人 ，nobody cares QAQ 。

这里有一个有趣的结论，我们从 $0$ 到 $i$ 加了一条边，转化成不等式就相当于 $x_i\le x_0$ ，$x_i$ 在图里又相当于从源点到 $i$ 的最短路大小，$x_0$ 在图中又意味着源点。也就是说，当我们一开始就把 $x_0$ 的解定为X时，所有未知数的解都不会大于X（dis[0]=X）

这应该很好理解，毕竟是从源点走出来的，从源点到其他点的最短路必然不会比源点自身的值大。