跟着差分约束来的，结果 SPFA 死了

看了看题解区，都是 tarjan。

建议加上 Tarjan、强连通分量,缩点 的标签