岚默笙

摘要： 浅谈差分约束 1.定义： ​ 如果一个系统由$n$个变量和$m$个约束条件组成，并且条件都为形如$a_i-a_j\le k$的不等式，则称其为差分约束系统。 ​ 差分约束系统是一种特殊的$n$元一次不等式组，每个约束条件都为两个变量作差构成。 2.模型转换： ​ 求解差分约束系统，可以转化成图论中的 阅读全文