感覺這玩意挺簡單的。出不了太難的題啊。
這種奇怪的圖是可以跑最長路的，因為負環遲早要退出。
一般來說要先判圖中是否存在正/負環，可以用spfa記錄每個點鬆弛次數判斷。
每個點在一開始都扔進佇列，或者新建超源與點連邊均可。
第二種更加有邏輯，且能處理點有初始值的情況，方式為將超源到點的邊權賦為點權，點到超源的邊權賦為點權相反數（有些題目是乘要賦值為倒數）。
更加準確地求出兩點間點權差上下界，便於統計方案數等。
但是注意只有強連通分量內部才能得到真正的點權差範圍。於是需要先縮點，強聯通分量內部用floyd求點權差範圍，強連通分量之間並不影響，只要滿足邊條件就可以把差無限拉大。
最短路求出的是滿足所有條件的最大值，最長路求出的是滿足所有條件的最小值。這是由最短/長更新方式決定的。可以發現最短路滿足最小的限制，同時它恰好滿足最小限制，即上界。最長路同理。
差分約束小結0 0
在做poi的時候看到一題要用到差分約束的.然後就興致勃勃的去學習了差分約束.結果發現那一題只是運用到了差分約束系統的性質而已.然後套個tarjan floyd 所以並沒有什麼卵用.舉個比較簡單的例子吧.n 個數，m條限制，每條限制dj di a 然後求是否存在這麼個序列.那麼就把式子化一下dj di...
差分約束系統小結
一 內容 有n個變數，m個約束條件組成的不等式組成的系統，稱為差分約束系統。差分約束系統就是將這些不等式的關係轉換為圖，用最短路的方法求解。二 常見問題即求解方法 1 求出這些不等式中的最小值 解法 將不等式轉化為a b c的形式，建立b a的邊，長度為c，然後求出最長路徑，最長路徑的解就是結果。2...
POJ3169差分約束 SPFA 差分約束
思路 假設i j 兩隻奶牛可以站在同乙個位置，但是必須公升序排列，所以有差分約束方程d i d i 1 0 對於兩隻有好感的奶牛有差分約束方程d j d i k 對於兩隻反感的奶牛有差分約束方程d i d j k 有了約束方程就可以spfa include include include inclu...