Tarjan过程

Tarjan过程是一种用于查找有向图中强连通分量的算法。它基于深度优先搜索，通过使用栈来跟踪访问过的节点和回溯路径。算法的基本思想是从任意一个未访问的节点开始，将其标记为正在访问，并将其加入栈中。然后，从该节点出发，深度优先遍历所有与其相邻的未访问节点，并将它们标记为正在访问。当遇到已经访问过的节点时，说明找到了一个强连通分量，此时将栈中的节点出栈并输出。最后，重复上述过程直到所有节点都被访问过。Tarjan过程的时间复杂度为O(V+E)，其中V是图中的顶点数，E是边数。