题目描述
每头奶牛都梦想成为牛棚里的明星。被所有奶牛喜欢的奶牛就是一头明星奶牛。所有奶
牛都是自恋狂,每头奶牛总是喜欢自己的。奶牛之间的“喜欢”是可以传递的——如果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;
}