P2863 [USACO06JAN]The Cow Prom S

题面

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

输入格式

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

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

输出格式

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

数据规模与约定

对于全部的测试点，保证 \(2\le n \le 10^4\)，\(2\le m\le 5\times 10^4\)，\(1 \leq a, b \leq n\)。

思路

强联通分量模板题，Tarjan太玄学，这里用Kosaraju算法。代码比较简洁。

详细资料见此

代码

#include <bits/stdc++.h>
using namespace std;

int n,m;
const int SIZE = 114514;
vector<int> g[SIZE],rg[SIZE];
bool vis[SIZE];
int sta[SIZE],top;

void add(int u,int v){
	g[u].push_back(v);
	rg[v].push_back(u);
}

void dfsspantree(int u){
	vis[u]=1;
	for(int i:g[u]){
		if(!vis[i]){
			dfsspantree(i);
		}
	}
	sta[++top]=u;
}
int siz[SIZE];

void qltfl(int u,int id){
	vis[u]=1;
	siz[id]++;
	for(int i:rg[u]){
		if(!vis[i]){
			qltfl(i,id);
		}
	}
}

int main(){
	cin>>n>>m;
	for(int i=1,u,v;i<=m;i++){
		cin>>u>>v;
		add(u,v);
	}	
	for(int i=1;i<=n;i++){
		if(!vis[i]){
			dfsspantree(i);
		}
	}
	memset(vis,false,sizeof(vis));
	int idx=0;
	while(top){
		int u=sta[top--];
		if(!vis[u]){
			qltfl(u,++idx);
		}
	}
	int ans=0;
	for(int i=1;i<=idx;i++){
		ans+=(siz[i]>1);
	}
	cout<<ans<<endl;
}