题目描述
每头奶牛都梦想成为牛棚里的明星。被所有奶牛喜欢的奶牛就是一头明星奶牛。所有奶

牛都是自恋狂,每头奶牛总是喜欢自己的。奶牛之间的“喜欢”是可以传递的——如果A喜

欢B,B喜欢C,那么A也喜欢C。牛栏里共有N 头奶牛,给定一些奶牛之间的爱慕关系,请你

算出有多少头奶牛可以当明星。

输入格式
第一行:两个用空格分开的整数:N和M

第二行到第M + 1行:每行两个用空格分开的整数:A和B,表示A喜欢B

输出格式
第一行:单独一个整数,表示明星奶牛的数量

输入输出样例
输入
3 3
1 2
2 1
2 3
输出
1
说明/提示
只有 3 号奶牛可以做明星

【数据范围】

10%的数据N<=20, M<=50

30%的数据N<=1000,M<=20000

70%的数据N<=5000,M<=50000

100%的数据N<=10000,M<=50000


考虑题目,我们应该能想到利用tarjan缩点,因为对于做明星的牛来说,他们整个连通块肯定都可以做明星(仔细想想,应该不难),所以我们现在就得到了一个DAG(有向无环图),既然得到了这个,我们肯定就能想到拓扑排序,所以我们对于每一个连通块,只要这个连通块出度为0,那么就有可能成为明星的连通块。但是如果有两个及以上的连通块出度为0,那么就没有明星了,直接输出0即可。


AC代码:

#pragma GCC optimize(2)
#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=5e4+10;
int n,m,vis[N],dfn[N],low[N],cnt,col[N],co,out[N],num;
int head[N],nex[N],to[N],tot;
stack<int> st;
inline void add(int a,int b){
	to[++tot]=b; nex[tot]=head[a]; head[a]=tot;
}
void tarjan(int x){
	dfn[x]=low[x]=++cnt;	st.push(x);	vis[x]=1;
	for(int i=head[x];i;i=nex[i]){
		if(!dfn[to[i]]){
			tarjan(to[i]);	low[x]=min(low[x],low[to[i]]);
		}else if(vis[to[i]])	low[x]=min(low[x],dfn[to[i]]);
	}
	if(dfn[x]==low[x]){
		co++;
		while(1){
			int u=st.top();	st.pop();	vis[u]=0;
			col[u]=co;	if(x==u)	break;
		}
	}
}
signed main(){
	cin>>n>>m;
	while(m--){
		int a,b;	cin>>a>>b;	add(a,b);
	}
	for(int i=1;i<=n;i++)	if(!dfn[i])	tarjan(i);
	for(int i=1;i<=n;i++){
		for(int j=head[i];j;j=nex[j]){
			if(col[i]!=col[to[j]])	out[col[i]]++;
		}
	}
	for(int i=1;i<=co;i++){
		if(!out[i])	num++;
	}
	if(num==1){
		int res=0;
		for(int i=1;i<=n;i++){
			if(!out[col[i]])	res++;		
		}cout<<res<<endl;
	}else	cout<<0<<endl;
	return 0;
}