差分约束--强连通分量--拓扑排序总结