關於差分約束的一點點點點思考

複習差分約束時，突然忘了爲什麼求最大解跑最短路，求最小解跑最長路。。。所以記下來，怕以後忘了。。。 何老闆的證法是這樣的： 證明最短路（NKOJ3459）： 或者這樣： 這兩張圖片都可以從老闆的啪啪T中找到 然後。。我看不懂啊。。。 自己慢慢想，似乎找到一種較爲易懂的方法（應該是對的吧。。。） 先說最短路吧。 顯然，對於dis[y]，它最後一定是由某一條邊更新而來，即dis[y]=min{dis[

>>阅读原文<<