摘要：很久以前就学了差分约束，但是一直没搞懂，也懒得搞懂。今天看板子，脑补了几秒钟突然就懂了。 对于一个不等式， $x_i - x_j \le k$, 可以变形： $x_i \le x_j + k$ 。这跟最短路的判断是一样的。 用一张图来辅助理解： 从 $i$ 到 $w$ 跑最短路，首先我们满足了 $i 阅读全文