【模板】有向图tarjan

#include<bits/stdc++.h>
using namespace std;
const int N=10005,M=50005;

vector<int> son[N];
int dfn[N],low[N],num,s[N],out[N],top,cnt;
int scc[N];
int sz[N],n,m;
 
void tarjan(int u) {
	low[u]=dfn[u]=++num,s[++top]=u;
	for(int i=0;i<son[u].size();i++) {
		int v=son[u][i];
		if(!dfn[v]) {
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(!scc[v]) 
		    low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u]) {
		cnt++;int y;
		do {
			y=s[top--],scc[y]=cnt,sz[cnt]++;
		}while(u!=y);
	}
}
int main() {
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++) {
		int u,v;
		scanf("%d%d",&u,&v);
		son[u].push_back(v);
	}
	for(int i=1;i<=n;i++)
	    if(!dfn[i]) tarjan(i);
}