差分約束系統C++實現

差分約束：線性規劃矩陣A的每一行包含一個1與一個-1，其他元素爲0.因此，由Ax<=b給出的約束條件是m個差分約束集合，其中包含n個未知元。每個約束條件爲不等式： xj-xi<=bk 其中1<=i,j<=n,i<=k<=m 解決方法：把n個未知元看成n的有向圖的頂點，xj-xi<=bk表示頂點j到頂點i長度爲bk的有向線段。再添加一個v0頂點，與v0到其餘頂點的有向線段，長度爲0。（如下圖） 可以

>>阅读原文<<