前言
差分约束系统应该是一个比较有用的算法。它建立在图的思想上，常与最短（长）路算法一起出现。
一道例题
下面是一组不等式：
(①) A − B ≥ 5 A-B≥5\tag{①} A−B≥5(①)
(②) B − E ≥ 7 B-E≥7\tag{②} B−E≥7(②)
(③) A − E ≥ 6 A-E≥6\tag{③} A−E≥6(③)
(④) D − A ≥ 9 D-A≥9\tag{④} D−A≥9(④)
(⑤) B − C ≥ 6 B-C≥6\tag{⑤} B−C≥6(⑤)
(⑥) C − E ≥ 2 C-E≥2\tag{⑥} C−E≥2(⑥)
现在问你一个问题： A − E A-E A−E的最小值是多少？
其实在这组不等式中，我们有很多方法得到一个形如 A − E ≥ x A-E≥x A−E≥x的式子：
-
第一种方法：由③式直接得 A − E ≥ 6 A-E≥6 A−
最低0.47元/天 解锁文章
扫一扫
304
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
