有向图的强连通分量的tarjan算法总结

tarjan算法运用深度优先搜索求得有向图的强连通分量。主要原因是同一个强连通分量中的所有节点必定在深度优先搜索树的一棵子树中。只要找到这样的子树即可。tarjan算法通过一个栈来实现这个算法。
dfn[]:记录深搜第一次搜到的时间
low[]:记录可以到达的第一次搜到时间最早的节点的dfn[]值。
每次将与当前结点相连的点v入栈(如果v不在栈中)，
且更新low[u]=min(low[u],low[v]);
如果v在栈中，则只更新low[u]=min(low[u],dfn[v]);
如果dfn[u]==low[u]，则说明u是一个连通分量搜索子树的根节点。
那么u及u之前的节点就组成了一个连通分量，只需将u及u之前的节点出栈即可。

int dfn[maxN],low[maxN],instack[maxN];
int index,ans;
stack<int> s;
void tarjan(int u)
{

    dfn[u]=low[u]=++index;
    s.push(u);
    instack[u]=1;
    int f=head[u],v;
    while(f!=-1){
        v=edges[f].to;
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        if(instack[v]==1){
            low[u]=min(low[u],dfn[v]);
        }
        f=edges[f].next;
    }
    if(dfn[u]==low[u])
    {
        int tm=-1;
        while(tm!=u){
            tm=s.top();
            s.pop();
            instack[tm]=0;
        }
    }
}

tarjan缩点

int dfn[maxN],low[maxN],instack[maxN];
int in[maxN],out[maxN],belong[maxN];
int index,cnt;
stack<int> s;
void tarjan(int u)
{
    s.push(u);
    instack[u]=1;
    dfn[u]=low[u]=++index;
    int f=head[u],v;
    while(f!=-1){
        v=edges[f].to;
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v]){
            low[u]=min(low[u],dfn[v]);
        }
        f=edges[f].next;
    }
    if(dfn[u]==low[u]){
        int tm=-1;
        while(tm!=u){
            tm=s.top();
            s.pop();
            instack[tm]=0;
            belong[tm]=cnt;
        }
        cnt++;
    }
}

(个人见解，可能有一些不好的地方)