摘要：概念 如果一个系统由 $n$ 个变量和 $m$ 个约束条件组成，其中每个约束条件形如 $x_i - x_j <= c_k$，其中 $c_k$ 是常数（可以是负数，也可以是非负数），则称其为差分约束系统。我们要解决的问题是：求一组解 $x_1= a-1, x_2 = a_2,...,x_n = a_n 阅读全文