Kosaraju算法(强连通份量分解)

对于一个有向图顶点的子集S，若是在S内取两个顶点u和v，都能找到一条从u到v的路径，那么就称S是强连通的。若是在强连通的顶点集合S中加入其余任意顶点集合后，它都再也不是强连通的，那么就称S是原图的一个强连通份量(SCC:strongly connected component)。任意有向图均可以分解成若不相干的强连通份量，这就是强连通份量分解。把分解后的强连通份量缩成一个顶点，就获得了一个DAG(

>>阅读原文<<