Kosaraju算法求最强连通分量

首先解释一下强连通分量。

有向图强连通分量：在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。

上面是百度的解释，很好懂。kosaraju怎么求强连通。要知道一个强连通图有一个特点，就是每两个点都可以相互到达。那么kosaraju算法就是利用了这一点，首先顺方向搜索一次，并且把搜索到的点入栈。那么这个栈中的每一个点就可以顺着方向搜到，也就是u->v。那么按栈的顺序再DFS一次，那么就是逆着顺序搜一次。这也就v->u。那么两个结点相互可达。代码还没写，待更新。