差分约束系统 差分约束系统System of Difference Constraints是求解關於一組變數的特殊不等式組之方法 如果一个系统由 n displaystyle n 个变量和 m displaystyle m 个约束条件组成其中若每个约束条件形如 x j  x i  b k  i  j     n   k     m   displaystyle xjxileq bkijin nkin m 则称其为差分约束系统亦即差分约束系统是求解关于一组变量的特殊不等式组的方法