差分约束系统

定义 差分约束系统由n个形如$x+y\leq z$的不等式组成，注意：这里x和y是常数。 差分约束系统（System of Dif …