摘要： 前置知识 最短路 负环 差分约束系统 如果一个系统由 $n$ 个变量和 $m$ 个约束条件组成，形成 $m$ 个形如 $a_i-a_j\le k$ 的不等式（$i,j∈[1,n]$，$k$ 为常数)，则称其为差分约束系统。 如何求出一个差分约束系统的解？ $a_i-a_j\le k \to a_i\ 阅读全文