差分约束系统

差分约束系统

差分约束系统是一种特殊的$N$元一次不等式组。它包含$N$个变量$X_1$~$X_N$以及$M$个约束条件，每个约束条件都是由两个变量做差构成的，形如$X_i-X_j\le c_k$，其中$c_k$是常数（可以是非负数，也可以是负数），$1\le i,j\le N,1\le k\le M$。我们要解决的问题就是：求一组解$X_1=a_1,X_2=a_2,\cdots ,X_N=a_N$，即解$X=(a_1,a_2,\cdots ,a_N)$使得所有约束条件都能得到满足。

差分约束系统的每个约束条件$X_i-X_j\le c_k$可以变形为$X_i\le X_j+c_k$，这与单源最短路径问题中的三角不等式$dist[y]\le dist[x]+z$非常相似，注意这个式子是更新过后的。因此，我们可以把每个变量$X_i$看作是有向图中的一个节点$i$，对于每个约束条件$X_i-X_j\le c_k$，从节点$j$向节点$i$连一条长度为$c_k$的有向边。

引理：

设$X=(x_1,x_2,\cdots ,x_n)$是一个差分约束系统的一个解，$d$为任意常数，那么$X+d=(x_1+d,x_2+d,\cdots ,x_n+d)$也是该系统的解。

证明：对于每个$x_i$和$x_j$，有$(x_j+d)-(x_i+d)=x_j-x_i$。因此，若$X$是这个差分约束系统的一个解，那么$X+d$也是这个系统的解

例如：

$X=\{\begin{array}{l}{x}_1-x_2\le 0\\ x_1-x_5\le -1\\ x_2-x_5\le 1\\ x_3-x_1\le 5\\ x_4-x_1\le 4\\ x_4-x_3\le -1\\ x_5-x_3\le -3\\ x_5-x_4\le -3\end{array}$

该问题的一个解为$X=(-5,-3,0,-1,-4)$，令一个解为$X^{\prime }=(0,2,5,4,1)$，这两个解是有联系的，$X^{\prime }$中的每个元素比$X$中的相应元素大5

这也正说明了，如果$X$是一个差分约束系统的解，那么$X+d$也是这个系统的解

假设$\forall i,X_i\le c$，然后再增加一个超级源点0号节点，令$X_0=0$，令$d=-X_0$，等式两边同时加上$d$，可得$X_i-X_0\le c-X_0$，即$X_i-X_0\le c$。这样一来，就多了$N$个形如$X_i-X_0\le 0$的约束条件，应该从节点0向每个节点$i$连一条长度为0的有向边。

---

约束图

对于$n$个变量，$m$个约束条件来说，其实就是对应于图论中的$n$个节点，$m$条边。对于$i=1,2,\cdots ,n$，图中的每一个顶点$v_i$对应着$n$个未知量中的一个$x_i$，图中的每个有向边对应着关于两个未知量的$m$个不等式的其中一个。

对于一个差分约束系统来说，相应的约束图是一个带权有向图$G=(V,E)$，其中$V=${$v_0,v_1,\cdots ,v_n$}，而且$E=${$(v_i,v_j):x_j-x_i\le b_k$}$\bigcup$ {$(v_0,v_1),(v_0,v_2),\cdots ,(v_0,v_n)$}

这里引入超级源点$v_0$是为了保证其他每个顶点$v_1,v_2,\cdots ,v_n$均从$v_0$可达。因此，顶点集合$V$由对应于每个未知量$x_i$的顶点$v_i$和附加的顶点$v_0$所组成。边的集合$E$由对应于每个差分约束条件的边与对应于每个未知量$x_i$的边$(v_0,v_i)$所构成。如果$x_j-x_i\le b_k$是一个差分约束，则边$(v_i,v_j)$的权$w(v_i,v_j)=b_k$。从超级源点$v_0$出发的每条边的权值均为0。

约束图如下：

---

定理

给定一个差分约束系统，设$G=(V,E)$为其相应的约束图。如果$G$不包含负权回路(即负环)，那么

$X=(\delta (v_0,v_1),\delta (v_0,v_2),\delta (v_0,v_3),\cdots ,\delta (v_0,v_n))$

是此系统的一个可行解。当且仅当$G$中存在负环时，该系统不存在可行解。

上式中$\delta (v_0,v_1)$表示超级源点$v_0$到节点$v_1$的真实的最短距离，其他同理。跑一边最短路算法后得到的$dist[v_1]$其实就是$\delta (v_0,v_1)$

证明：

• 首先来证明，如果$G$中不存在负环时，那么可以求出一个可行解。考察任意边$(v_i,v_j)\in E$，由三角不等式$\delta (v_0,v_j)\le \delta (v_0,v_i)+w(v_i,v_j)$，即$\delta (v_0,v_j)-\delta (v_0,v_i)\le w(v_i,v_j)$。因此，设$x_i=\delta (v_0,v_i),x_j=\delta (v_0,v_j)$，带入上式子可知满足对应边$(v_i,v_j)$的差分约束$x_j-x_i\le w(v_i,v_j)$

• 接下来再来证明，如果$G$中存在负环，那么差分约束系统不存在可行解。设负权回路为$c=<v_1,v_2,\cdots ,v_k>$，其中$v_1=v_k$（因为节点$v_0$没有入边，所以它不可能再回路$c$上）。回路$c$对应着如下的差分约束：

  $\{\begin{array}{l}{x}_2-x_1\le w(v_1,v_2)\\ x_3-x_2\le w(v_2,v_3)\\ \cdots \\ x_k-x_{k-1}\le w(v_{k-1},v_k)\\ x_1-x_k\le w(v_k,v_1)\end{array}$

  假设存在满足$k$个不等式的一个解$X$，那么也满足上述$k$个不等式相加所得到的不等式。如果把这些不等式相加，就会发现每个变量$x_i$的正负项相互抵消了，结果左边项和为0，而右边项和为$w(c)$，因此有$0\le w(c)$。但是由于$c$是一个负权回路，因此有$w(c)<0$，因此得到矛盾$0\le w(c)<0$，由此得证

---

求不等式组的可行解：

源点需要满足的条件：从源点出发，一定可以走到所有边

步骤：

• 先将每个不等式$x_i\le x_j+c_k$，转化为一条从$x_j$走到$x_i$，长度为$c_k$的一条边
• 找到一个超级源点，使得该源点一定可以遍历到所有边
• 从源点求一边单源最短路
  • 如果存在负环，则原不等式组一定无解
  • 如果不存在负环，则$X=(dist[v_1],dist[v_2],\cdots ,dist[v_n])$的一个可行解

在某些题目中，约束条件形如$X_i-X_j\ge c_k$，我们仍然可以从$j$到$i$连一条长度为$c_k$的有向边，只不过现在应该要计算单源最长路，若图中存在正环则无解。当然，我们也可以把约束条件转换为$X_j-X_i\le -c_k$，再按照单源最短路进行计算

---

最大值和最小值

对于给定的一组不等式关系，如何求出每个变量的最大值或者最小值呢？

什么是最大值或最小值？

这里的意思是说，比如你求出了一个解$X=(x_1,x_2,\cdots ,x_n)$，那么$X^{\prime }=(x_1+d,x_2+d,\cdots ,x_n+d)$也是一个解，$X^{\prime \prime }=(x_1+2d,x_2+2d,\cdots ,x_3+3d)$也是一个解，那么我想知道某个变量$x_i$的最大值，那么到底是取$x_i$还是$x_i+d$还是$x_i+2d$呢？同理，求某个变量$x_i$的最小值也是一样的含义。

结论：

• 如果求的是最小值，那么应该求单源最长路
• 如果求的是最大值，那么应该求单源最短路

证明：

以求$x_i$的最大值为例：

求所有从$x_i$出发，构成的多个形如如下的不等式链：

$x_i\le x_j+c_m\le x_k+c_m+c_n\le \cdots \le x_0+c_0+c_4+\cdots +c_n+c_m$，其中$x_0=0,c_0=0$，令$F=$$x_0+c_0+c_4+\cdots +c_n+c_m$

那么$x_i$的最大值，要注意$F$可能多很多个，因此，我们取$F$中最小的那个值，就是$x_i$的最大值

例如$x_i\le 5,x_i\le 7,x_i\le 9$，那么$x_i$的最大值为5。假设$x_i$取最大值为9，那么就不满足$x_i\le 5$和$x_i\le 7$了。

把上述转换成图论的问题，其实就是求$dist[i]$的最小值（因为$F$表示的是从起点出发，到达某个点的距离。那么求$F$的最小值，其实就是求单源最短路），那么就可以用最短路来求解。

以求$x_i$的最小值为例：

求所有从$x_i$出发，构成的多个形如如下的不等式链：

$x_i\ge x_j+c_m\ge x_k+c_m+c_n\ge \cdots \ge x_0+c_0+c_4+\cdots +c_n+c_m$，其中$x_0=0,c_0=0$，令$F=$$x_0+c_0+c_4+\cdots +c_n+c_m$

那么$x_i$的最小值，要注意$F$可能多很多个，因此，我们取$F$中最大的那个值，就是$x_i$的最小值

例如$x_i\ge 5,x_i\ge 7,x_i\ge 9$，那么$x_i$的最大值为9。假设$x_i$取最小值为5，那么就不满足$x_i\ge 7$和$x_i\ge 9$了。

下面举个图例：

$X=\{\begin{array}{l}{x}_2-x_1\le c_1\\ x_3-x_2\le c_2\\ x_3-x_1\le c_3\end{array}$

那么，我们可以求出这样的：

$\{\begin{array}{l}{x}_3\le x_1+c_3\\ x_3\le x_1+c_1+c_2\end{array}$

可以看出，约束变量$x_3$的有两个条件，如果画到图中，就对应于有2条路径。那么当我们要求$x_3$的最大值时，取的肯定是$x_1+c_3$和$x_1+c_1+c_2$中的最小值，这样才能保证满足这两个约束条件，进而满足题目给定的所有原始的约束条件。

我们添加超级源点$s$即$v_0$，那么有$x_1-x_0\le c_0$，因此有如下：

$\{\begin{array}{l}{x}_3\le x_0+c_0+c_3\\ x_3\le x_0+c_0+c_1+c_2\end{array}$

其中$x_0=0,c_0=0$

解释一样$x_0+c_0+c_3$的含义：它表示从源点$v_0$到达节点$v_3$所走过的路径上的权值之和。$x_0+c_0+c_1+c_2$也是一样的含义。

画图如下：

对应有两条路径：

• $v_0⟹v_1⟹v_3$，从源点$v_0$走到节点$v_3$，所走过的路径之和为$c_0+c_3$
• $v_0⟹v_1⟹v_2⟹v_3$，从源点$v_0$走到节点$v_3$，所走过的路径之和为$c_0+c_1+c_2$
• 可以发现，既然我们知道了等式右边的式子含义，其实就是求从源点出发到达某个节点的距离，由于可能存在多条路径，因此有多个值，那么我们只需要根据单源最短路径算法，就可以求出最小的那个值了，设为$F_{min}$。因此，如果想要求某个变量$x_i$的最大值，那么就要满足$Max(x_i)\le F_{min}$。这也就是说，求变量$x_i$的最大值，等价于跑一下单源最短路，求出最短路径的权值之和

因此，相应的就可以知道，要求$x_i$的最小值，其实就是跑一下单源最长路，求出最长路径的权值之和。

---

总结

• $x_i\ge x_j+c$，则从节点$j$向节点$i$连一条长度为$c$的边，要求变量$x_i$的最小值，则跑一下最长路即可
• $x_i\le x_j+c$，则从节点$j$向节点$i$连一条长度为$c$的边，要求变量$x_i$的最大值，则跑一下最短路即可

---

总结

• $x_i\ge x_j+c$，则从节点$j$向节点$i$连一条长度为$c$的边，要求变量$x_i$的最小值，则跑一下最长路即可
• $x_i\le x_j+c$，则从节点$j$向节点$i$连一条长度为$c$的边，要求变量$x_i$的最大值，则跑一下最短路即可

---