摘要: 1.定义: 如果一个系统由n个变量和m个约束条件组成,形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即,差分约束系统是求解关于一组变量的特殊不等式组的方法。 求解差分约束系统,可以转化成 阅读全文
posted @ 2019-05-06 20:06 莫莫君不恋爱 阅读(341) 评论(0) 推荐(0) 编辑