差分约束学习笔记

你有一堆类似于 $x_i - x_j \leq k$ 的限制。

你把所有限制转化成 $x_i + k \leq x_j$ 的形式，然后连 $(i,j,k)$ 的边就行了。

实战中为了保证连通性，可以建 $(0,i,0)$ 的边。

这样跑出来的最短路就是一组合法解。

一组合法解加减常数，仍然是一组合法解。

可行性用负环判。