poj2553 强连通

题意：定义了一个图的底（bottom），是指在一个图中能够被所有点到达的点，问途中有哪些点是图的底。

首先是同一个强连通分量中的点都能够互相到达，强连通分量中一个点能到达其他点，也必然代表该强连通分量中的点能到达那个点，所以首先强连通，然后此时如果一个点是有出度的，那么它指向的点必然不能到它，所以其实就是求出度为 0 的强连通分量内的点。

 #include<stdio.h>
 #include<string.h>
 #include<stack>
 #include<queue>
 using namespace std;

 const int maxn=5e3+;
 const int maxm=1e5+;

 int head[maxn],point[maxm],nxt[maxm],size;
 int n,t,scccnt;
 int stx[maxn],low[maxn],scc[maxn];
 int od[maxn];
 stack<int>S;

 void init(){
     memset(head,-,sizeof(head));
     size=;
     memset(od,,sizeof(od));
 }

 void add(int a,int b){
     point[size]=b;
     nxt[size]=head[a];
     head[a]=size++;
 }

 void dfs(int s){
     stx[s]=low[s]=++t;
     S.push(s);
     for(int i=head[s];~i;i=nxt[i]){
         int j=point[i];
         if(!stx[j]){
             dfs(j);
             low[s]=min(low[s],low[j]);
         }
         else if(!scc[j]){
             low[s]=min(low[s],stx[j]);
         }
     }
     if(low[s]==stx[s]){
         scccnt++;
         while(){
             int u=S.top();S.pop();
             scc[u]=scccnt;
             if(s==u)break;
         }
     }
 }

 void setscc(){
     memset(stx,,sizeof(stx));
     memset(scc,,sizeof(scc));
     t=scccnt=;
     for(int i=;i<=n;++i)if(!stx[i])dfs(i);
     for(int i=;i<=n;++i){
         for(int j=head[i];~j;j=nxt[j]){
             int k=point[j];
             if(scc[i]!=scc[k]){
                 od[scc[i]]++;
             }
         }
     }
 }

 int main(){
     int m;
     while(scanf("%d",&n)!=EOF&&n){
         scanf("%d",&m);
         init();
         while(m--){
             int a,b;
             scanf("%d%d",&a,&b);
             add(a,b);
         }
         setscc();
         int cnt=;
         for(int i=;i<=n;++i)if(!od[scc[i]]){
             if(cnt++)printf(" ");
             printf("%d",i);
         }
         printf("\n");
     }
     return ;
 }