关于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)将不

>>阅读原文<<