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; }