摘要： 
2023.5.6 写的太烂了重新写 差分约束系统 定义 差分约束系统是一种特殊的 $n$ 元一次不等式组，它包含 $n$ 个变量 $x_{1},x_{2},...,x_{n}$ 以及 $m$ 个约束条件，每一个约束条件都是两个其中的变量做差构成的，形如 $x_{i}-x_{j}\le c_{k}$， 阅读全文
2023.5.6 写的太烂了重新写 差分约束系统 定义 差分约束系统是一种特殊的 $n$ 元一次不等式组，它包含 $n$ 个变量 $x_{1},x_{2},...,x_{n}$ 以及 $m$ 个约束条件，每一个约束条件都是两个其中的变量做差构成的，形如 $x_{i}-x_{j}\le c_{k}$， 阅读全文