原文oi wiki:SDC

差分约束系统是一种特殊的 $n$ 元一次不等式组，它包含 $n$ 个变量 $x_1, x_2, \dots, x_n$ 以及 $m$ 个约束条件，每个约束条件是由两个其中的变量做差构成的，形如 $x_i - x_j \leq c_k$，其中 $1 \leq i, j \leq n, i \neq j, 1 \leq k \leq m$ 并且 $c_k$ 是常数（可以是非负数，也可以是负数）。