科萨拉朱算法

该算法主要用于枚举图中每一个强连通分量内的所有顶点。该算法可由以下四部分组成[3]：

1. 对有向图${\displaystyle G}$取逆，得到${\displaystyle G}$的反向图${\displaystyle G^{R}}$
2. 利用深度优先搜索求出${\displaystyle G^{R}}$的逆后排序
3. 对${\displaystyle G}$按照上述逆后排序的序列进行深度优先搜索
4. 同一个深度优先搜索递归子程序中访问的所有顶点都在同一个强连通分量内

public class KosarajuAlgorithm {
    private boolean[] marked;
    private int[] id;
    private int count=-1;
    private Stack<Integer> reversePostOrder;
    public KosarajuAlgorithm(Digraph G){
        //G.V()返回有向图G的边数
        marked=new boolean[G.V()];
        id=new int[G.V()];
        //G.reverse()返回的为G的反向图
        Digraph G_reverse=G.reverse();
        //本遍循环是将G的反向图的逆后序排列存储在reversePostOrder中
        for(int i=0;i<G_reverse.V();i++){
            if(!marked[i]){
                dfs(G_reverse,i);
            }
        }
        count=0;
        //按照G的反向图的逆后排序进行深度优先搜索
        for(int i:reversePostOrder){
            if(!marked[i]){
                dfs(G,i);
                count++;
            }
        }
    }
    //深度优先搜索
    public void dfs(Digraph G,int v){
        marked[v]=true;
        id[v]=count;
        for(int i:G.adj(v)){
            if(!marked[i]){
                dfs(G,i);
            }
        }
        reversePostOrder.push(v);
    }
}

当图是使用邻接表形式组建的，科萨拉朱算法需要对整张图进行了两次的完整的访问，每次访问与顶点数${\displaystyle V}$和边数${\displaystyle E}$之和${\displaystyle V+E}$成正比，所以可以在線性时间${\displaystyle O(V+E)}$内访问完成。该算法在实际操作中要比Tarjan算法和基于路径的强连通分量算法要慢，这两种算法都只需要对图进行一次完整的访问。

当图是使用邻接矩阵形式组建的，算法的时间复杂度为${\displaystyle O(V^{2})}$。

• （页面存档备份，存于） Micha Sharir.A strong connectivity algorithm and its applications to data flow analysis. Computers and Mathematics with Applications 7(1):67–72, 1981]
• Kosaraju's的简要介绍与证明（页面存档备份，存于）