差分拘束

zcmimi at 
差分约束的具体概念:如果一个系统由 n 个变量和 m 个约束条件组成,形成 m 个形如 ai-aj≤k 的不等式(i,j∈[1,n],k 为常数),则称其为差分约束系统。例子:假设有 3 个数 a,b,c 我们知道:a-b>=2b-c>=3a-c>=3 那么:a 与 c 的差……