2012年3月3日
差分约束
摘要： （本文假设读者已经有以下知识：最短路径的基本性 质、Bellman-Ford算法。） 比如有这样一组不等式： X1 - X2 <= 0 X1 - X5 <= -1 X2 - X5 <= 1 X3 - X1 <= 5 X4 - X1 <= 4 X4 - X3 <= -1 X5 - X3 <= -3 X5 - X4 <= -3不等式组(1) 全都是两个未知数的差小于等于某个常数（大于等于也可以，因为左右乘 以-1就可以化成小于等于）。这样的不等式组就称作差分约束系统。 这个不等式组要么无解，要么就有无数组解。因为如果有一组解{X1, X2, ..., 阅读全文
posted @ 2012-03-03 19:49 HaoHua_Lee 阅读(225) 评论(0) 推荐(0)