摘要：
学习完了差分约束是否有解， 现在我们学习求解最大解和最小解 首先我们回想一下是否有解的求解过程， 不难发现最后跑出来任意两点的最短路关系即为这两元素的最短路关系。 即： 最后的最短路蕴含了所有元素之间的约束关系 好的了解了这点， 我们可以想到， 既然我们知道了元素之间的约束关系， 确定了一个元素的值 阅读全文
摘要：
首先第一篇讨论的是差分约束系统解的存在 差分约束系统是有 $n$ 个变量及 $m$ 个（如 $x_{i} x_{j} \leq a_{k}$ ）关系组成的系统 差分约束解的求解可以转化为图中最短路的求解问题 对一个标准的差分约束式， 我们可以如下连边$$x_{i} x_{j} \leq a_{k}\ 阅读全文