tarjan解决强连通分量

 

b站视频(qscqesze)

dfn[]表示时间戳，即dfs到这个点的时间

low[]表示如果这个点是某个强联通分量的一员，那么其根节点(dfs中最先碰到的点)是哪一个(类似与并查集)

 

一开始low是等于dfn的，当碰到第一个环的时候，low开始更新，因为回溯，所以相当于将整个分量给并到一个集合里了

所以在栈里，将这一个集合的输出即可

 

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 5e5+7;
struct node{int val,next;}E[maxn<<2];
int n,m,x,y,tot = 1,cnt = 1,head[maxn],low[maxn],dfn[maxn];
bool vis[maxn];
stack<int> S;
void add(int u,int v){E[cnt] = {v,head[u]},head[u] = cnt++;}
void tarjan(int x){
    low[x] = dfn[x] = ++tot;
    S.push(x),vis[x] = true;
    for(int i=head[x];i;i = E[i].next){
        int v = E[i].val;
        if(!dfn[v])
            tarjan(v),low[x] = min(low[x],low[v]);
        else if(vis[v])
            low[x] = min(low[x],dfn[v]);
    }
    if(low[x] == dfn[x]){
        while(true){
            int now = S.top();
            S.pop(),vis[now] = false;
            printf("%d ",now);
            if(now == x)break;
        }
        printf("\n");
    }
}
signed main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)scanf("%d%d",&x,&y),add(x,y);
    for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i);
    return 0;
}