poj 2553 tarjan算法

 

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

题意描述：给定图，让求其中的sinks，即输出这样一些点，如果可以从这个点u到达图中的另一个点v，则一定也存在路径可以从点v到达u，那么u就是满足条件的sinks，排序后输出这些点就ok了

思路：用tarjan算法，先求图中的强连通分支，缩点，如果一个连通分支的出度为0，则这个连通分支中的所有点都满足条件，输出即可（如果一个连通分支中有一个点可以到达该连通分支以外的点，则该连通分支中的所有点都不满足条件）

注意：刚开始用了邻接矩阵存储，结果返回超内存（与数据存储结构有关）了，后用邻接表存储，AC了

#include<cstdio> #include<cstring> #include<stack> using namespace std; #define N 5005 int in[N],out[N],dfn[N],low[N],belong[N]; 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,ind,outd,flag; node *s; while(scanf("%d",&n),n!=0) { scc=index=0; memset(map,0,sizeof(map)); memset(dfn,-1,sizeof(dfn)); memset(instack,0,sizeof(instack)); scanf("%d",&m); while(m--) { scanf("%d%d",&i,&j); node *p=new node; p->to=j; p->next=map[i]; map[i]=p; } for(i=0;i<n;i++) if(dfn[i]==-1) tarjan(i); ind=outd=0; memset(in,0,sizeof(in)); memset(out,0,sizeof(out)); for(i=1;i<=n;i++) { s=map[i]; while(s) { if(belong[s->to]!=belong[i]) { in[belong[s->to]]++; out[belong[i]]++; } s=s->next; } } flag=0; for(i=1;i<=n;i++) { if(out[belong[i]]==0) { if(flag==0) { printf("%d",i); flag=1; } else printf(" %d",i); } } printf("/n"); } return 0; }