基于链式前向星的有向图无向图的缩点模板（tarjan）

最新推荐文章于 2021-07-02 11:14:43 发布

Self-Discipline

最新推荐文章于 2021-07-02 11:14:43 发布

阅读量1.4k

点赞数

CC 4.0 BY-SA版权

分类专栏：图论缩点模板文章标签：图论模板

本文链接：https://blog.youkuaiyun.com/tianwei0822/article/details/80896098

模板同时被 3 个专栏收录

62 篇文章

订阅专栏

图论

18 篇文章

订阅专栏

缩点

2 篇文章

订阅专栏

本文详细介绍了Tarjan算法在无向图和有向图中进行缩点的过程，并对比了两种情况下算法实现的不同之处。通过具体的伪代码展示了如何利用DFS遍历来找到强连通分量。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

对于无向图的缩点：

void tarjan(int u,int fa)
{
    dfn[u]=low[u]=++times; 
    q[++head]=u;
    for(int i=Laxt[u];i;i=Next[i]){
        if(To[i]==fa) continue;
        if(!dfn[To[i]]) {
              tarjan(To[i],u);
              low[u]=min(low[u],low[To[i]]);
        }
        else low[u]=min(low[u],dfn[To[i]]);
    }
    if(low[u]==dfn[u]){
        scc_cnt++;
        while(true){
            int x=q[head--];
            scc[x]=scc_cnt;
            if(x==u) break;
        }
    }
}

对于有向图的缩点：二者唯一的区别就算有向图考虑横边，所以有个instack的判断。

void tarjan(int u)
{
    instk[u]=1;
    q[++head]=u;
    dfn[u]=low[u]=++times;
    for(int i=Laxt[u];i;i=Next[i]){
        int v=To[i];
        if(!dfn[v]) {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instk[v])low[u]=min(low[u],dfn[v]);//无向图与有向图的区别
    }
    if(dfn[u]==low[u]){
        scc_cnt++;
        while(true){
             int x=q[head--];
             scc[x]=scc_cnt;
             V[scc_cnt]+=w[x];
             instk[x]=0;
             if(x==u) break;
        }     
    }
}

参考博客：http://www.cnblogs.com/hua-dong/p/9238757.html