poj 2186 Popular Cows 强连通

题意：有n头牛，某头牛可能会认为另一头牛受欢迎，现在给你m种关系，每种关系A B表示A认为B是受欢迎的，这种受欢迎有传递性，如果A认为B受欢迎，B认为C受欢迎，那么A认为C受欢迎，现在问你被其他所有人认为受欢迎的牛有多少头。

对关系图缩点后，其实就是要求出度为0的强连通，如果这样的强连通大于1，那么就没有这样的牛。如果得到的是多个有向无环图，那么也没有这样的牛，其实这种情况已经被包括进来了，因为如果有多个有向无环图，必然有大于1个的出度为0的强连通分量。

#include <stdio.h>
#include <string.h>

const int maxn = 10005;
const int maxm = 50005;
struct EDGE{
	int to, vis, next;
}edge[maxm];

int head[maxn], dfn[maxn], low[maxn], st[maxn], belo[maxn], ins[maxn], chudu[maxn];
int E, type, time, top;

void newedge(int u, int to) {
	edge[E].to = to;
	edge[E].next = head[u];
	edge[E].vis = 0;
	head[u] = E++;
}

void init() {
	memset(ins, 0, sizeof(ins));
	memset(head, -1, sizeof(head));
	memset(dfn, 0, sizeof(dfn));
	memset(chudu, 0, sizeof(chudu));
	E = top = type = time = 0;
}

int min(int a, int b) {
	return a > b ? b : a;
}

void dfs(int u) {
	dfn[u] = low[u] = ++time;
	st[++top] = u;
	ins[u] = 1;
	for(int i = head[u];i != -1;i = edge[i].next) {
		int to = edge[i].to;
		if(!dfn[to]) {
			dfs(to);
			low[u] = min(low[u], low[to]);
		}
		else if(ins[to]) {
			low[u] = min(low[u], low[to]);
		}
	}
	if(low[u] == dfn[u]) {
		type++;
		int to;
		do {
			to = st[top--];
			ins[to] = 0;
			belo[to] = type;
		}while(to != u);
	}
}

void DFS(int u) {
	for(int i = head[u];i != -1;i = edge[i].next) {
		if(edge[i].vis)	continue;
		edge[i].vis = 1;
		int to = edge[i].to;
		DFS(to);
		if(belo[u] != belo[to])
			chudu[belo[u]] ++;
	}
}

int main() {
	init();
	int n, m, i, u, to, j;
	scanf("%d%d", &n, &m);
	for(i = 0;i < m; i++) {
		scanf("%d%d", &u ,&to);
		newedge(u, to);
	}
	for(i = 1;i <= n ;i++) if(!dfn[i])
		dfs(i);
	for(i = 1;i <= n; i++)	DFS(i);
	int ok = 0, id = 1;
	for(i = 1;i <= type; i++) if(chudu[i] == 0)
		ok++, id = i;
	if(ok == 1) {
		int ans = 0;
		for(j = 1;j <= n; j++) if(belo[j] == id)
			ans++;
		printf("%d\n", ans);
	}
	else puts("0");
	return 0;
}