poj2186 Popular Cows（tarjan缩点）

题目链接

题意：有n头牛，m种崇拜关系。比如牛a崇拜牛b，牛B崇拜牛c，那么牛a就崇拜牛c。问有多少头牛被所有牛崇拜。

题解：崇拜关系肯定会形成一个有向有环图，对于在一个强联通分量的所有牛进行缩点成一个点。然后就简单了，剩下的所有点都不强联通，变成了一个有向无环图。我们只要找出度为0的点，就能找到能被所有牛崇拜的牛。如果没找到则答案为0；如果找到一个，因为这个点可能是一个强连通分量缩成的超级点，所以要输出这个连通分量包含的所有牛。如果大于等于2，那么这两头牛互相不崇拜，所有答案也为0；

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn = 1e4+100;
struct edge{
	int next,v;
}e[maxn*5];
int head[maxn],vis[maxn],dfn[maxn],low[maxn],col[maxn],du[maxn],sum[maxn],stack[maxn];
int tot,cnt,index,colnum;
void insert(int u,int v){
	e[++tot].v=v;e[tot].next=head[u];head[u]=tot;
}
void tarjan(int u){
	dfn[u]=low[u]=++cnt;
	stack[++index]=u;
	vis[u]=1;
	for(int i=head[u];i;i=e[i].next){
		int v = e[i].v;
		if(!dfn[v]){
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(vis[u]) low[u]=min(low[u],dfn[v]);
	}
	if(low[u]==dfn[u]){
		colnum++;
		do{
			col[stack[index]]=colnum;//进行缩点 
			sum[colnum]++;//每个连通分量牛的个数 
			vis[stack[index--]]=0;
		}while(u!=stack[index+1]);
	}
}
int main()
{
	int n,m;
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		int u,v;
		scanf("%d%d",&u,&v);
		insert(u,v);
	}
	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=e[j].next){
			int v = e[j].v; 
			if(col[i]!=col[v]){
				du[col[i]]++;//出度加1 
			}
		}
	}
	
	int temp=0,ans=0;
	for(int i=1;i<=colnum;i++){
		if(du[i]==0){
			temp++;
			ans=sum[i];
		}
	}
	if(temp==0) puts("0");
	else {
		if(temp>1) puts("0");
		else {
			printf("%d\n",ans);
		}
	}
 }