摘要: 今天初次学习差分约束系统,很神奇的东西 定义: 如果一个系统由n个变量和m个约束条件组成,其中每个约束条件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),则称其为差分约束系统(system of difference constraints)。亦即,差分约束系统是求解关于一组变量的特殊 阅读全文
posted @ 2014-11-14 21:48 Rivendell 阅读(528) 评论(0) 推荐(0) 编辑