摘要：（几万年前的博客了，刚从洛谷搬过来） 主要内容 差分约束系统 是一种特殊的 \(n\) 元一次不等式组 。 差分约束系统中的每个约束条件 \(x_i-x_j\le c_k\) 都可以变形成 \(x_i\le x_j+c_k\) 与 \(x_j\ge x_i-c_k\) ，这与单源最短路中的三角形不等 阅读全文