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

对于差分约束的图论问题，根据边权的正负分为以下三种情况求解：

• 所有的边权没有限制，也即可正可负的时候可以使用差分约束来求解，差分约束中使用spfa算法求解最短路径或者最长路径，时间复杂度为O(nm)，一般时间复杂度都会比较高；
• 所有的边权非负，如果存在强连通分量，强连通分量内部的边权必须等于0，如果大于0说明无解，也即可以存在环，但是环中的边权全都是正即可，可以使用有向图的tarjan算法求解，时间复杂度为O(n + m)；
• 所有的边权都大于0，此时这个图要么是拓扑图，要么存在环那么肯定无解，所以可以使用拓扑排序来求解，时间复杂度为O(n + m)。一般对于图中边权大于0求解最短路径或者最长路径的题目可以考虑拓扑排序来求解。

差分约束，强连通分量，拓扑排序的题目