差分约束浅谈

差分约束浅谈

还是挺难的一个东西。

引入

考虑一个限制 $A_i\le x_i+C_i$ 其中 $x_i$ 是一个给定的值。

$A,C$ 表示两个位置之间的关系。

发现对于同一个 $A_i$ 总共有若干个限制，那么也就是意味着 $A={\min }_i(x_i+C_i)$。

发现这个东西就是最短路的更新。

我们换一种角度来思考，对于每一个 $C_i$ 其对应的限制就是 $C_i\ge A_i-x_i$ 也就是意味着 $C_i=\max (A_i-x_i)$ 这个就是最长路了。

所以说在题目没有给一些限制的时候我们可以将最长路和最短路相互转换。

---

实现

常说这个东西是需要使用 $\mathtt{S}\mathtt{P}\mathtt{F}\mathtt{A}$ 的，事实上 F l o y d , D