差分约束系统定义(引自维基百科):如果一个系统由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的转置矩阵就是一个关联矩阵。
那么我们想想,是否可以通过求解图的最短路径来求得不等式组的一个可行解呢?
结