bzoj1051 [HAOI2006]受欢迎的牛(tarjan求强连通分量)

显然，一个强连通内的每头牛都互相欣赏，如果一个强连通内的牛欣赏牛a，则这个强连通内所有的牛都欣赏牛a，因此我们把这些牛都缩成一个点，重新建图，如果只有一个出度为0的点，说明其他强连通都能到这个强连通，输出这个强连通的大小就是答案。如果有多个出度为0的点，说明总会有牛彼此不欣赏，输出0.

#include <bits/stdc++.h>
using namespace std;
#define N 10010
#define M 50010
#define inf 0x3f3f3f3f
#define ll long long
inline int read(){
    int x=0,f=1;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;
}
int n,m,h[N],num=0,scc=0,belong[N],dfn[N],low[N],dfnum=0,size[N],h1[N],ans=0;
stack<int>q;
bool inq[N];
struct edge{
    int to,next;
}e[M],e1[M];
inline void add1(int x,int y){
    e1[++num].to=y;e1[num].next=h1[x];h1[x]=num;
}
void tarjan(int x){
    dfn[x]=++dfnum;low[x]=dfnum;q.push(x);inq[x]=1;
    for(int i=h[x];i;i=e[i].next){
        int y=e[i].to;
        if(!dfn[y]){tarjan(y);low[x]=min(low[x],low[y]);}
        else if(inq[y]) low[x]=min(low[x],dfn[y]);
    }
    if(dfn[x]==low[x]){
        ++scc;while(1){
            int y=q.top();q.pop();inq[y]=0;
            belong[y]=scc;size[scc]++;if(y==x) break;
        }
    }
}
inline void build(){
    num=0;
    for(int x=1;x<=n;++x){
        for(int i=h[x];i;i=e[i].next){
            int y=e[i].to;
            if(belong[x]!=belong[y]) add1(belong[x],belong[y]);
        }
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    while(m--){
        int x=read(),y=read();e[++num].to=y;e[num].next=h[x];h[x]=num;
    }
    for(int i=1;i<=n;++i) if(!dfn[i]) tarjan(i);
    build();
    for(int i=1;i<=scc;++i)
        if(!h1[i])//出度为0 
            if(!ans) ans=size[i];
            else{puts("0");return 0;}//不止一个出度为0 
    printf("%d\n",ans);
    return 0;
}