差分约束直觉

一堆"a 减 b 不超过 c"的限制，可以建图跑最短路求出一组可行解。