差分約束系統

差分約束系統 簡單來說，差分約束是用圖論中的最短路解決一些不等式(組)。 例如：Xi表示序列第i個數，請求出一組滿足：X1-X5 <= 1, X1 - X3 <= 3, X2 - X4 <= -2的長度爲5的序列 怎麼建圖？舉個栗子，X1-X5 <= 1, 就從結點5向結點1連一條權爲1的邊。 X1-X5 <= 1　　->　　X1 <= X5 + 1 聯想到最短路的性質：Dis(i) <= Dis

>>阅读原文<<