POJ-2186 Popular Cows

题意：奶牛之间的崇拜具有传递性（刚上完离散数学发出小草的声音.mp3），给出一些崇拜关系，求是否存在奶牛被所有奶牛崇拜。如果存在，输出奶牛的数量。

解：如果奶牛之间形成一个环，它们互相崇拜；如果这个环中的奶牛被其余奶牛崇拜，那么它们被所有奶牛崇拜。所以一个环可视作一个点，如果从所有点均可到达这个点，那么输出这个点的大小。所以先缩点。缩完点判断哪些点能被其余所有点到达。n方肯定是会超时的。现在这张图上没有了环，可以看作一棵或多棵树（多棵肯定不行），这棵树只能有一个叶子结点，也就是没有出度。每个点遍历一遍出边，顺带一提因为只要排除掉它所在环里的点，新图其实不用建立。

代码：

#include <algorithm>
#include <stack>
#include <vector>
#include <stdio.h>
using namespace std;
#define maxx 10005
#define maxn 10005
#define maxm 50005
#define inf 0x3f3f3f3f
int n,m;
vector<int> e[maxm];
int dfn[maxn]={0},low[maxn]={0};
int cnt=0,vis[maxn]={0};
int colornum=0,color[maxn]={0},num[maxn]={0};
stack<int> s;
int out[maxn];
void paint(int x){
    s.pop();
    vis[x]=1;
    color[x]=colornum;
    num[colornum]++;
}
void tarjan(int now){
    dfn[now]=low[now]=++cnt;
    s.push(now);
    vis[now]=1;
    for(int i=0;i<e[now].size();i++){
        int to=e[now][i];
        if(!dfn[to]) {
            tarjan(to);
            low[now]=min(low[now],low[to]);
        }
        else if(vis[to])
            low[now]=min(low[now],dfn[to]);
    }
    if(low[now]==dfn[now]){
        colornum++;
        while(s.top()!=now)
            paint(s.top());
        paint(now);
    }
}
signed main() {
    scanf("%d%d",&n,&m);
    for(int i=0;i<m;i++){
        int x,y;
        scanf("%d%d",&x,&y);
        e[x].push_back(y);
    }
    for(int i=1;i<=n;i++) {
        if (!dfn[i])
            tarjan(i);
    }
    for(int i=1;i<=n;i++){
        for(int j=0;j<e[i].size();j++){
            int to=e[i][j];
            if(color[to]!=color[i])
                out[color[i]]++;
        }
    }
    int ans=0;
    for(int i=1;i<=colornum;i++)
        if(!out[i]){
            if(ans==0)
                ans=num[i];
            else ans=-1;
        }
    printf("%d\n",ans==-1?0:ans);
    return 0;
}