差分约束系统

差分约束系统（spfa）

1、概述

$x_j-x_i\le w_k$转换为：$x_j\le w_k+x_i$

在松弛操作中：
$\bullet$如果$d(v_j)>d(v_i)+w(e_{i,j})$，则更新$d(v_j)=d(v_i)+w(e_{i,j})$；

$\bullet$如果$d(v_j)\le d(v_i)+w(e_{i,j})$，则无需更新，这是最终目的。

差分约束系统转化成图的形式，再通过求解最短路径的方法（即通过松弛操作）就能够实现差分系统的求解。

2、过程模拟

由上述所知，$x_j-x_i\le w_k$就相当于节点$v_i$到节点$v_j$的边权距离为$w_k$

$x_2-x_1\le -2$
$x_1-x_3\le -1$
$x_2-x_3\le 4$
$x_4-x_2\le 5$
$x_3-x_4\le 2$
$x_4-x_3\le -2$
$x_5-x_4\le 3$
$x_5-x_3\le -3$
$$\Downarrow$$

$$\Downarrow$$
以$v_1$作为源节点

顶点的$d$值为：$(0,-2,5,3,2)$
由于$d(v_2)-d(v_1)\le w_{1,2}$，所以$-2-0\le -2$成立，也可得$x_2=-2$，$x_1=0$
$$\Downarrow$$
以$v_3$作为源节点

顶点的$d$值为：$(-1,-3,0,-2,-3)$
$$\Downarrow$$
以$v_0$作为源节点

顶点的$d$值为：$(-1,-3,0,-2,-3)$

以$v_2$作为源节点，顶点的$d$值为：$(4,0,7,5,8)$

以$v_4$作为源节点，顶点的$d$值为：$(1,-1,2,0,-1)$

总计如下：
以$v_1$作为源节点，$x_{v_1}=(0,-2,5,3,2)$
以$v_2$作为源节点，$x_{v_2}=(4,0,7,5,8)$
以$v_3$作为源节点，$x_{v_3}=(-1,-3,0,-2,-3)$
以$v_4$作为源节点，$x_{v_4}=(1,-1,2,0,-1)$

其中，$x_{v_2}$和$x_{v_1}$、$x_{v_3}$都没有关联性，但$x_{v_4}=x_{v_3}+2$。

3、推理

推理1：
对于差分约束系统的任意一个解$x=(x_1,x_2,x_3,x_4,x_5)$，以及任意一个常数$k$，则$x^{\prime }=x+k=(x_1+k,x_2+k,x_3+k,x_4+k,x_5+k)$依然是差分约束系统的解。

推理2：
以差分约束系统对应图的所以节点为源节点，得出所有的独立解（这些解之间没有关联性），差分约束系统的所有解包含：1、所有的独立解，2、这些独立解和任意一个常数的和。

推理3：
如果差分约束系统对应图存在负环（也就是不存在最短路径），则差分约束系统不存在可行解。