摘要： tarjan基于这样一个定理：在任何深度优先搜索中，同一强连通支内的所有顶点均在同一棵深度优先树中。也就是说，强连通分量一定是有向图的某个深搜树子树。既然强连通分量是深搜树的一棵子树，要找到一个分量，只要找到树根( 连接不同分量的桥的前端顶点) ，然后取出其所属分量的顶点即可。 引理：白色路径定理：在一个有向或无向图G=(V,E)的深度优先森林中，结点v是结点u的后代当且仅当在搜索发现u的时刻d[... 阅读全文