POJ 2553 The Bottom of A Graph

一开始题目意思没看懂，以为sink点到其他所有点都强连通，实际上那个后置定语从句的意思是如果w可以从v到达，那么v也必须可以从w到达，即存在某点与点v互相可达，而不是其他所有点与v互相可达

 

这样的话，只要缩点后求出度，所有出度为0的强连通分量中的点都是所要求的点，因为如果出度不为0，则存在一些点，从该连通分量中的点可以到达它们，但从它们却不可能到达该连通分量中的点

 

而且也不会出现无解的情况，否则缩点后就有环了，这是不可能的

 

代码：

#include<iostream>#include<stack>#include<algorithm>using namespace std;const int MAX=5005;int dfn[MAX],low[MAX],inStack[MAX],belong[MAX],out[MAX],adj[MAX],res[MAX];int e,vn,en,index,cnt;struct node{int v,next;}g[MAX*100];stack<int> s;void tarjan(int u){int v,i;low[u]=dfn[u]=++index;inStack[u]=1;s.push(u);for(i=adj[u];i!=-1;i=g[i].next){v=g[i].v;if(!dfn[v]){tarjan(v);low[u]=min(low[u],low[v]);}else if(inStack[v]){low[u]=min(low[u],dfn[v]);}}if(dfn[u]==low[u]){cnt++;do{v=s.top();s.pop();inStack[v]=0;belong[v]=cnt;}while(u!=v);}}int main(){int i,a,b;while(scanf("%d",&vn)!=EOF&&vn){scanf("%d",&en);memset(inStack,0,sizeof(inStack));memset(out,0,sizeof(out));memset(adj,-1,sizeof(adj));memset(dfn,0,sizeof(dfn));while(en--){scanf("%d%d",&a,&b);g[e].v=b;g[e].next=adj[a];adj[a]=e++;}while(!s.empty())s.pop();index=cnt=0;for(i=1;i<=vn;i++){if(!dfn[i])tarjan(i);}for(a=1;a<=vn;a++){for(i=adj[a];i!=-1;i=g[i].next){if(belong[a]!=belong[g[i].v])out[belong[a]]++;}}int ans=0;for(i=1;i<=vn;i++){if(out[belong[i]]==0)res[ans++]=i;}sort(res,res+ans);for(i=0;i<ans;i++){if(i)printf(" ");printf("%d",res[i]);}printf("/n");}return 0;}