差分约束系统相关证明（存在负环则无解证明）

先引用网上的关于差分约束的解释： 一、引例 1、一类不等式组的解 给定n个变量和m个不等式，每个不等式形如 x[i] – x[j] <= a[k] (0 <= i, j < n, 0 <= k < m， a[k]已知)，求 x[n-1] – x[0] 的最大值。例如当n = 4，m = 5，不等式组如图一-1-1所示的情况，求x3 – x0的最大值。 图一-1-1 观察x3 – x0的性质，我们如

>>阅读原文<<