Kosaraju算法 有向图的强连通分量

有向图的强连通分量即，在有向图G中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。

采用的算法是Kosaraju算法。

算法原理：对于图G，转置图（同图中的每边的方向相反）具有和原图完全一样的强连通分量。