差分约束系统

N个未知数，M个不等式，形如xi - xj ≤ ck。想求一组解满足所有条件。

解法：从j到i连接权值为ck的有向边，求单源最短路（spfa）。负环即无解。

负环判定：在更新dist时，更新cnt(1~x的最短路所包含的边数，若≥n，则有负环)。这样会比记录入队次数要快。

一般差分约束都要根据题目，人为添加一些条件。