Kosaraju算法(強連通份量分解)

對於一個有向圖頂點的子集S，若是在S內取兩個頂點u和v，都能找到一條從u到v的路徑，那麼就稱S是強連通的。若是在強連通的頂點集合S中加入其餘任意頂點集合後，它都再也不是強連通的，那麼就稱S是原圖的一個強連通份量(SCC:strongly connected component)。任意有向圖均可以分解成若不相干的強連通份量，這就是強連通份量分解。把分解後的強連通份量縮成一個頂點，就獲得了一個DAG(

>>阅读原文<<