求强连通分量模板（tarjan算法）

 

 

 关于如何求强连通分量的知识请戳 https://www.byvoid.com/blog/scc-tarjan/

 

 

 

 

 

 

 

void DFS(int x)
{
    dfn[x]=lowlink[x]=++dfn_clock;
    stac.push_back(x);
    for(int i=0; i<g[x].size(); i++)    //与x相连的个点
    {
        int t=g[x][i];
        if(!dfn[x]) //未访问过
        {
            DFS(t);
            lowlink[x]=min(lowlink[x],lowlink[t]);
        }
        else if(!sccno[t])  //点t已经访问过，但还不属于任何scc
            lowlink[x]=min(lowlink[x],dfn[t]);
    }
    if(lowlink[x]==dfn[x])  //下面的点最多只能连到自己
    {
        scc_cnt++;
        while(true)
        {
            int r=stac.top();
            stac.pop();
            sccno[r]=scc_cnt;
            if(x==r)    break;  //回到自己
        }
    }
}

void find_scc(int n)
{
    dfn_clock = scc_cnt = 0;    //计数器，强连通分量的个数
    memset(sccno,0,sizeof(sccno));
    memset(dfn,0,sizeof(dfn));
    memset(lowlink,0,sizeof(lowlink));

    for(int i=1; i<=n; i++)
    {
        if(!dfn[i]) //多个连通图时这样做
            DFS(i);
    }
}