Tarjan（塔扬算法）

tarjan缩点

将有向有环图-->无向有环图

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=10010;
vector<int> e[N];
int dfn[N],low[N],tot;
int stk[N],instk[N],top;
int scc[N],siz[N],cnt;

void tarjan(int x)
{
    //入x,盖戳,入栈
    dfn[x]=low[x]=++tot;
    stk[++top]=x;
    instk[x]=1;
    for(auto y:e[x])
    {
        if(!dfn[y])
        {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(instk[x])//若y已访问且在栈中
        {
            low[x]=min(low[x],dfn[y]);
        }
    }
    //离x时,更新scc
    if(dfn[x]==low[x]) //若x是scc的根
    {
        int y;++cnt;
        do
        {
            y=stk[top--];
            instk[y]=0;
            scc[y]=cnt;//编号
            ++siz[cnt];//大小
        }while(y!=x);
    }
    
}

signed main()
{
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=m;i++)
    {
        int a,b;
        cin>>a>>b;
        e[a].push_back(b);//存边
    }
        
    for(int i=1;i<=n;i++)
    {
        if(!dfn[i]) tarjan(i);
    }

    return 0;
}