摘要： 转自http://www.cnblogs.com/ylfdrib/archive/2010/07/20/1781148.html差分约束系统（system of difference constraints）是线性规划问题的一种。在一个差分约束系统中，线性规划矩阵A的每一行包含一个1和一个-1，A的所有其他元素都为0。因此，由Ax≤b给出的约束条件是m个差分约束集合，其中包含n个未知元。每个约束条件为如下形式的简单线性不等式： xj-xi≤bk 其中，1≤i, j≤n，1≤k≤m。 例如：寻找一个5维向量x = ( xi )以满足： 这一问题等价于找出未知量x1，x2，x3，x4，x5，满足以 阅读全文