給出一些形如x-y<=b不等式的約束，問你是否滿足有解的問題，這類問題可以轉換成圖論裡的最短路徑問題。
在單源最短路徑的演算法中有一步是「若d[v] > d[u]+cost[u][v]，則d[v]= d[u] + cost[u][v]，這樣就滿足d[v]-d[u]<=cost[u][v]」。
如此，如果要求最大值，把每個不等式變為標準x-y<=k的形式，然後建立一條從y到x的權值為k的邊，求出最短路徑即可；
如果要求最小值，把每個不等式變為標準x-y>=k的形式，然後建立一條從y到x的權值為k的邊，求出最長路徑即可；
注意：x-yx-y<=k-1，大於同理；一般題目中除了明面上的約束，還會有一些隱藏的約束；由於差分約束系統常出現負權，故一般用spfa；如果存在負環，則此約束系統不存在；
差分約束系統
差分約束 若 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就可以化成小於等於 這樣的不等式組就稱作差分約束系統。這個不等式組要麼無解...