poj 2553 The Bottom of a Graph

求解的是有向图中满足“自己可达的顶点都能到达自己”的顶点个数
如果强连通分量中某个顶点，还能到达分量外的顶点，则该连通分量不满足要求
//  因此，本题要求的是将强连通分量缩点后所构造的新图中出度为0的顶点个数 

// 如果某个新图的节点出度数为0 且是缩点而来 那么该强连通分量里面的点都是符合要求的
#include <iostream>
#include <algorithm>
#include <queue>
#include <stack>
#include <math.h>
#include <stdio.h>
#include <string.h>
using namespace std;
#define MOD 1000000007
#define maxn 60100
#define maxm 10010
struct Edge{
    int to;
    int next;
    Edge(){};
    Edge(int u,int v){to=u;next=v;}
}E[maxn];
stack<int> S;
int V[maxm],num;
int belong[maxm];
int pre[maxm];
int dfst,scc;
int ans;
bool tag[maxm];
int out[maxm];
void init(int n){
    dfst=scc=0;
    num=0;
    ans=0;
    while(!S.empty())
        S.pop();
    for(int i=1;i<=n;i++){
        V[i]=-1;
        pre[i]=0;
        belong[i]=0;
    }
}
void add(int u,int v){
    E[num].to=v;
    E[num].next=V[u];
    V[u]=num++;
}
int tarjan(int u){
   int lowu=pre[u]=++dfst;
   int v,e;
   S.push(u);
   for(e=V[u];e!=-1;e=E[e].next){
        v=E[e].to;
          if(!pre[v]){
            int lowv=tarjan(v);
            lowu=min(lowu,lowv);
          }
          else if(!belong[v]) lowu=min(lowu,pre[v]);
   }
    if(lowu==pre[u]){
        scc++;
        for(;;){
            int x=S.top();S.pop();
            belong[x]=scc;
            if(x==u) break;
        }
    }
   return lowu;
}
int main()
{
    int n,m,T;
    int u,v;
    int i,j=1;
    //scanf("%d",&T);
    while(scanf("%d",&n),n){
        scanf("%d",&m);
        init(n);
        for(i=1;i<=m;i++){
            scanf("%d %d",&u,&v);
            add(u,v);
        }
        for(i=1;i<=n;i++)
          if(!pre[i]) tarjan(i);
     // for(i=1;i<=n;i++) printf("%d ",belong[i]);
       for(i=1;i<=scc;i++) out[i]=0,tag[i]=0;
        int e,u,v;
        for(i=1;i<=n;i++)
        {
           for(e=V[i];e!=-1;e=E[e].next){
              u=belong[i];
              v=belong[E[e].to];
              if(u!=v)
                out[u]++;//,printf("v=%d ",v);
           }
        }
        int flag=0,rc;
        for(i=1;i<=scc;i++) if(!out[i]) tag[i]=1,flag=1;
        if(!flag){printf("

");continue;}
        flag=0;
        for(i=1;i<=n;i++)
           if(tag[belong[i]]) {
                if(flag)printf(" %d",i);
                else {flag=1;printf("%d",i);}
           }
        printf("
");
    }
    return 0;
}