求强连通分量模板(tarjan算法)

时间:2021-07-04 21:35:30

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

 void DFS(int x)
{
dfn[x]=lowlink[x]=++dfn_clock;
stac.push_back(x);
for(int i=; 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 = ; //计数器,强连通分量的个数
memset(sccno,,sizeof(sccno));
memset(dfn,,sizeof(dfn));
memset(lowlink,,sizeof(lowlink)); for(int i=; i<=n; i++)
{
if(!dfn[i]) //多个连通图时这样做
DFS(i);
}
}

模板代码(带注释)