【强连通】强连通模板 Tarjan

最新推荐文章于 2024-08-21 23:14:57 发布

原创最新推荐文章于 2024-08-21 23:14:57 发布 · 1.1k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#acm #Tarjan

模板同时被 3 个专栏收录

32 篇文章

订阅专栏

连通图

19 篇文章

订阅专栏

Tarjan

14 篇文章

订阅专栏

本文介绍了一种基于Tarjan算法的强连通分量求解方法。该算法通过深度优先搜索来寻找图中的所有强连通分量，并使用栈来辅助记录搜索过程。文章详细解释了算法的具体实现细节，包括如何标记节点、如何确定强连通分量等。

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

比起双连通的Tarjan我倒是觉得反而简单多了。思想和双连通分量是同一个模式。

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <stack>
using namespace std;

const int N = 1e5;
int dfn[N], scc_id[N];
int deep, scc_cnt;
stack <int> s;

int dfs(int u)
{
    int lowu = dfn[u] = ++deep;
    s.push(u);
    for(int i = head[u]; ~i; i = e[i].next) {
        int v = e[i].v;
        if(!dfn[v]) {
            int lowv = dfs(v);
            lowu = min(lowu, lowv);
        }
        else if(!scc_id[v]) {//连到栈中的还未标号的祖先们
            lowu = min(lowu, dfn[v]);
        }//利用当前scc中的点来更新
    }
    if(lowu == dfn[u]) {//只有最先发现的点满足这个条件
        scc_cnt++;
        while(1) {
            int x = s.top(); s.pop();
            scc_id[x] = scc_cnt;
            if(x == u) break;
        }
    }
    return lowu;
}

void tarjan()
{
    for(int i = 0; i < n; i++) {
        dfn[i] = scc_id[i] = 0;
    }
    deep = scc_cnt = 0;
    for(int i = 0; i < n; i++) {
        if(!dfn[i]) dfs(i);
    }
}

int main()
{

    return 0;
}