差分约束系统

差分约束系统定义（引自维基百科）：如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。

例如，有如下不等式组：

我们可以把它写成如下矩阵的形式：

定义左边的矩阵为A，中间的列向量为 x, 右边的列向量为k。

我们观察一下A可以发现它和我们在离散数学中讲图的时候讲了一个关联矩阵很像。

矩阵A的特点是每行只有一个1和一个-1，其余列都是0。

而关联矩阵的特点是每列只有一个1和一个-1，其余行为0.

即A的转置矩阵就是一个关联矩阵。

那么我们想想，是否可以通过求解图的最短路径来求得不等式组的一个可行解呢？

结