关于差分约束的一点点点点思考

复习差分约束时，突然忘了为什么求最大解跑最短路，求最小解跑最长路。。。所以记下来，怕以后忘了。。。 何老板的证法是这样的： 证明最短路（NKOJ3459）： 或者这样： 这两张图片都可以从老板的啪啪T中找到 然后。。我看不懂啊。。。 自己慢慢想，似乎找到一种较为易懂的方法（应该是对的吧。。。） 先说最短路吧。 显然，对于dis[y]，它最后一定是由某一条边更新而来，即dis[y]=min{dis[

>>阅读原文<<