差分約束系統相關證明（存在負環則無解證明）

先引用網上的關於差分約束的解釋： 一、引例 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的性質，我們如

>>阅读原文<<