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;
}