有向圖的強連通圖——Kosaraju

有向圖的強連通分量： 相互可達關係，每一個集合都是有向圖的一個強連通分量SCC。    把一個集合看成一個點，SCC就形成了一個有向無環圖——DAG;         如果DFS選擇不好，從A點開始DFS，就會把整張圖遍歷一遍。不是同一個SCC就混亂了，我們希望，可以利用SCC的拓撲序列，從後往前DFS，這樣，每次都出來一個SCC，就不用分離了——Kosaraju算法。 ——拓撲序列 反圖——按照

>>阅读原文<<