差分约束

对于任意条件，将其转化为 \(x_a - x_b \le c\) 的形式，于是可以建边：\(b \rightarrow a\)，边权为 \(c\)。

跑 SPFA，判断是否有负环。有则无解，无则有解。