对差分约束的理解

通过一个线性程序设计框架来进行描述。在实际的问题中，也经常要对其进行分析和解决。它将一类特殊的线性不等式与图论紧密联系在了一起。这类特殊的线性不等式，我们称它为差分约束系统，它是可以用单元最短路径来求解的。

差分约束系统：

   差分约束系统是一个线性程序设计中特殊的一种，将未知量作为顶点，不等式作为边。

>=，求最小值，做最长路；
<=，求最大值，做最短路。
边都是从后往前
<=构图。
有负环说明无解。
求不出最短路（为Inf）为任意解。
>=构图时类似。