關於Kosaraju算法(求有向圖的強連通分量)證明的理解

  圖1、計算逆排序   圖2、Kosaraju算法求強連通分量 圖3、書中給出的算法證明   在G中的dfs(s)，假設有s可達v且dfs(v)發生在dfs(s)調用過程中，即dfs(s)直接或間接調用了dfs(v)。此時在遍歷順序中，v應該排在s之後。反證法證明：如果v排在s之前，在dfs(s)遍歷到v時，由於dfs(v)在之前已執行過，即marked[v]已經爲true，所以dfs(s)將不

>>阅读原文<<