差分约束

一组形如 x_i 减 x_j 小于等于 c 的不等式，可以转成最短路问题求解。