强连通分量

题目描述

有一个 n 个点，m 条边的有向图，请求出这个图点数大于 1 的强联通分量个数。

输入描述

第一行为两个整数 n 和 m。

第二行至 m+1 行，每一行有两个整数 a 和 b，表示有一条从 a 到 b 的有向边。

输出描述

仅一行，表示点数大于 1 的强联通分量个数。

样例

输入

5 4
2 4
3 5
1 2
4 1

输出

1

提示

对于全部的测试点，保证 2≤n≤10^4，2≤m≤5×10^4，1≤a,b≤n。

#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e4+10;
const int M=5e4+10;
const int INF=0x3f3f3f3f;
stack<int>S;
int head[N],tot=0;
struct node{
	int ver;
	int nxt;
}tu[M];
int n,m;
int cnt,cnt2,cnt3;
int dfn[N];
int low[N];
bool vis[N];
int Size[N];
void add(int x,int y){
	tu[++tot].ver=y; 
	tu[tot].nxt=head[x]; 
	head[x]=tot;
}
void init(){
	cnt=0;
	cnt2=0;
	cnt3=0;
	tot=0;
	memset(head,-1,sizeof(head));
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(vis,0,sizeof(vis));
	memset(Size,0,sizeof(Size));
}

void tarjan(int x){
	dfn[x]=low[x]=++cnt;
	S.push(x);
	vis[x]=true;
	for(int i=head[x];~i;i=tu[i].nxt){
		int y=tu[i].ver;
		if(!dfn[y]){
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(vis[y]){
			low[x]=min(low[x],dfn[y]);
		}
	}
	if(dfn[x]==low[x]){
		cnt2++;
		int y;
		do{
			y=S.top();
			S.pop();
			vis[y]==0;
			Size[cnt2]++;
		}while(x!=y);
	}
}
signed main(){
	init();
	scanf("%d %d",&n,&m);
	for(int i=1;i<=m;i++){
		int x,y;
		scanf("%d %d",&x,&y);
		add(x,y);
	}
	for(int i=1;i<=n;i++){
		if(!dfn[i]) tarjan(i);
	}
	for(int i=1;i<=cnt2;i++){
		if(Size[i]>1) cnt3++; 
	}
	printf("%d",cnt3);
	return 0;
}