tarjan + 缩点 模版

#define N 100100
#define M 200200

int n,m;
int id,index; //id表示缩点后点的id，index表示进行tarjan算法时访问的点先后
int vis[N],low[N]; //vis表示到当前点的时间，low表示当前所能到达的最小时间.
int stk[N],top; //表示栈
int mark[N];
int link[N]; //将点与缩点后的点相连.
int sum[N]; //强连通分量中点的个数


void dfs(int tarjan_s)
{
    vis[tarjan_s]=++index;
    low[tarjan_s]=vis[tarjan_s];
    stk[top++]=tarjan_s;
    mark[tarjan_s]=1;
    for(int p=pre[tarjan_s];p!=-1;p=edge[p].next)
    {
        int v=edge[p].to;
        if(mark[v]==0) dfs(v);
        if(mark[v]==1) low[tarjan_s]=min(low[v],low[tarjan_s]);
    }
    if(low[tarjan_s]==vis[tarjan_s])//代表找到了一个强连通分量 .
    {
        id++; //这个强连通的标号
        int tarjan_cnt=0;
        do
        {
            tarjan_cnt++;
            int T_tmp=stk[top-1];
            mark[T_tmp]=-1;            ///注意 是  -1
            link[T_tmp]=id;
        }while(stk[--top]!=tarjan_s);
        sum[id]=tarjan_cnt;
    }
}

void tarjan()
{
    memset(mark,0,sizeof(mark));
    top=0; index=0; id=0;
    for(int i=1;i<=n;i++)
        if(mark[i]==0) dfs(i);
}

转载自：http://www.cnblogs.com/chenhuan001/archive/2013/08/22/3274928.html