（以下（a,b,c）表示從a向b連一條權值為c的邊
對於圖論的最短路徑，有：d(v) <= d(u) + w(u, v) ，而差分約束系統的解法利用到了單源最短路徑問題中的三角形不等式。
移項得：d(v) - d(u) <= w(u, v)，是不是和上面的x-y<=b的一樣？
分兩種情況討論
我們把題目給出的不等式轉化成x-y<=b的形式，把d設成無窮大，連一條（y,x,b）的邊，使用最短路
為什麼？
d一開始為無窮大，圖最短路更新的條件為： if(d[v]>d[u]+w(u,v)) d[v]=d[u]+w(u,v);
通過不斷的鬆弛，使得d的值不斷變小，直到滿足所有條件時，就是最大的了
我們把題目給出的不等式轉化成x-y>=b的形式，把d設成無窮小，連一條（y,x,b）的邊，使用最長路
（1）a==b => a>=b , a<=b
（2）a-ba-b<=c-1
（3）a-b>c （a，b為整數） => a-b>=c+1
在spfa中，如果乙個點入隊超過n（點的個數）次，那麼該圖存在負（正）環
差分約束系統
差分約束 若 s a s b k 建一條b到a 的長度為k的邊 若s a s b k 建一條b到a 的長度為 k的邊 是求最小值的最長路 是求最大值的最短路 注意到最短路演算法的鬆弛操作 if d j d i w i j d j d i w i j 這其中的三角形不等式 d j d i w i j ...
差分約束系統
差分約束系統 對於差分不等式，a b c 建一條 b 到 a 的權值為 c 的邊，求的是最短路，得到的是最大值 對於不等式 a b c 建一條 b 到 a 的權值為 c 的邊，求的是最長路，得到的是最小值 存在負環的話是無解 求不出最短路 dist 沒有得到更新 的話是任意解 第三 一種建圖方法 設...
差分約束系統
差分約束系統 x1 x2 0 x1 x5 1 x2 x5 1 x3 x1 5 x4 x1 4 x4 x3 1 x5 x3 3 x5 x4 3 不等式組 1 全都是兩個未知數的差小於等於某個常數 大於等於也可以，因為左右乘以 1就可以化成小於等於 這樣的不等式組就稱作差分約束系統。這個不等式組要麼無解...