tarjan算法——强连通分量

简述：

　　用dfn作为时间戳，对图进行dfs并对路径上的点入栈，求出每个点可以访问到的最早的时间戳，此时栈中从这个点开始的点便为一个强连通分量。

模板：

void tarjan(int x,int lay,int &sccnum) {
    low[x]=lay;
    dfn[x]=lay;
    vis[x]=1;
    sta[++cnt]=x;
    for(int i=head[x];~i;i=e[i].net) {
        int v=e[i].v;
        if(!vis[v]) tarjan(v,++lay,sccnum);
        if(vis[v]==1) low[x]=min(low[x],low[v]);
    }
    if(dfn[x]==low[x]) {
        ++sccnum;
        do {
            low[sta[cnt]]=sccnum;
            vis[sta[cnt]]=2;
        }while(sta[cnt--]!=x);
    }
}
int main()
{
    memset(head,-1,sizeof(head));
    memset(vis,0,sizeof(vis));
    int lay=1,sccnum=0;
    for(int i=1;i<=n;i++)
        if(!vis[i])
            tarjan(i,lay,sccnum);
    return 0;
}

例题：

　　poj2186  Popular Cows

　　p2746 Network of Schools