poj 2186 tarjan算法

题目链接：http://poj.org/problem?id=2186

题目大意：有n个牛，m组关系，每组关系表示前面的牛崇拜后面的牛，让求有多少牛被所有的牛崇拜

思路：可以先用tarjan算法将图求强连通分支，然后缩点，求每个点的出度和出度为0的个数num，如果num>1,则说明图中出度为0的点大于等于2，又由于缩点后的图中不可能存在环（与连通分支不符），故出度为0的点不可以互相到达，即图不连通，则输出0（没有牛被所有牛崇拜）,如果num=1,则说明图中只有一个出度为0的点，则该点（连通分支）所含顶点的个数即为输出结果（被所有牛崇拜的牛的个数）

#include<cstdio> #include<cstring> #include<stack> using namespace std; #define N 10005 int out[N],dfn[N],low[N],belong[N],count[N]; //count数组记录每个强连通分支中牛的个数 int instack[N],scc,index,n,m; stack<int>S; struct node{ int to; node *next; }; node *map[N]; void tarjan(int x) { int i,v; node *p; dfn[x]=low[x]=index; index++; S.push(x); instack[x]=1; p=map[x]; while(p) { i=p->to; if(dfn[i]==-1) { tarjan(i); low[x]=low[x]>low[i]?low[i]:low[x]; } else if(instack[i]) low[x]=low[x]>dfn[i]?dfn[i]:low[x]; p=p->next; } if(low[x]==dfn[x]) { while(1) { v=S.top(); S.pop(); belong[v]=scc; instack[v]=0; if(v==x) break; } scc++; } } int main() { int i,j,flag,x,num,result; node *s; while(scanf("%d%d",&n,&m)!=EOF) { //开始时，因为直接用前边的模板，故结束条件控制有误，使得一直超时 scc=index=0; memset(map,0,sizeof(map)); memset(dfn,-1,sizeof(dfn)); memset(instack,0,sizeof(instack)); while(m--) { scanf("%d%d",&i,&j); node *p=new node; p->to=j; p->next=map[i]; map[i]=p; } for(i=1;i<=n;i++) if(dfn[i]==-1) tarjan(i); memset(out,0,sizeof(out)); memset(count,0,sizeof(count)); for(i=1;i<=n;i++) { //开始时，缩点中牛的个数count是在输出时else语句计算的，故需再遍历一遍，时间复杂度增加 count[belong[i]]++; s=map[i]; while(s) { if(belong[s->to]!=belong[i]) out[belong[i]]++; s=s->next; } } num=0; for(i=0;i<scc;i++) { if(out[i]==0) { num++; x=i; } } if(num>1) printf("0/n"); else printf("%d/n",count[x]); } return 0; }