标签：tarjan
Description
每一头牛的愿望就是变成一头最受欢迎的牛。现在有N头牛，给你M对整数(A,B)，表示牛A认为牛B受欢迎。 这
种关系是具有传递性的，如果A认为B受欢迎，B认为C受欢迎，那么牛A也认为牛C受欢迎。你的任务是求出有多少头
牛被所有的牛认为是受欢迎的。
Input
第一行两个数N,M。 接下来M行，每行两个数A,B，意思是A认为B是受欢迎的（给出的信息有可能重复，即有可
能出现多个A,B）
Output
一个数，即有多少头牛被所有的牛认为是受欢迎的。
Sample Input
3 3
1 2
2 1
2 3
Sample Output
1
HINT
100%的数据N<=10000,M<=50000
分析:tarjan缩点之后，如果出度为0的点只有一个，那么输出其代表的强连通分量中节点个数，否则无解
Code
#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define dep(i,a,b) for(int i=a;i>=b;i--)
#define LL long long
#define mem(x,num) memset(x,num,sizeof x)
#define reg(x) for(int p=head[x];p;p=e[p].next)
using namespace std;
inline int read()
{
int f=1,x=0;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
const int maxn=5e4+6;
struct edge{int to,next;}e[maxn],d[maxn];
int head[maxn],n,m,cnt,top,ans,dfn[maxn],low[maxn],q[maxn],scc,h[maxn],belong[maxn],hav[maxn];
bool vis[maxn],inq[maxn];
void dfs(int a)
{
int now;
vis[a]=inq[a]=1;
low[a]=dfn[a]=++cnt;
q[++top]=a;
reg(a){
if(!vis[e[p].to]){
dfs(e[p].to);
low[a]=min(low[a],low[e[p].to]);
}
else if(inq[e[p].to])low[a]=min(low[a],dfn[e[p].to]);
}
if(low[a]==dfn[a]){
scc++;
while(now!=a){
now=q[top--];
inq[now]=0;
belong[now]=scc;
++hav[scc];
}
}
}
void work()
{
rep(i,1,scc)
if(!h[i]){
if(ans){ans=0;return;}
else ans=hav[i];
}
}
void rebuild()
{
cnt=0;
rep(i,1,n)
reg(i)
if(belong[i]!=belong[e[p].to]){
d[++cnt]=(edge){belong[e[p].to],h[belong[i]]};
h[belong[i]]=cnt;
}
}
void tarjan()
{
rep(i,1,n)
if(!vis[i])dfs(i);
rebuild();
}
int main()
{
n=read(),m=read();
rep(i,1,m){
int x=read(),y=read();
e[i]=(edge){y,head[x]};
head[x]=i;
}
tarjan();
work();
printf("%d\n",ans);
return 0;
}
