POJ 2553(强连通分量 的 元素)

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

题意: 给一张有向图。求 一些点v 使式子  v∈V|∀w∈V: (v→w)⇒(w→v) ，我翻译一下这个式子: 对V中的每个点，都与所有点都满足后面的式子。   对于注意后面的式子  (v→w)⇒(w→v)，这个式子成立，有两种可能性， 1：v 到 w 没有路(解释样例2)。 2：v 到 w 有路 则 w 到 v 一定有路

思路：显然，强连通分量里面的点都相互满足上述可能性2，但是如果  一个强连通分量 有出度，意思是到其他的点还有路径， 但是 那个点到强连通分量是没有路径的(如果有路径，就属于此个强连通分量了)，总的来说，是不满足可能性2的 。 所以 输出的是  出度为0的 强连通分量中的元素。           (表达能力有限.........QAQ  )

AC代码:

#include<set>
#include<stack>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

const int maxn = 5200;
int vis[maxn];
int dfn[maxn];
int low[maxn];
int head[maxn];
int link[maxn];
int _time,id;
stack<int>st;

struct node{
    int v,next;
    node(){}
    node(int v,int next):v(v),next(next){}
}edge[maxn * maxn];

void dfs(int s){
    dfn[s] = ++_time;
    low[s] = _time;
    vis[s] = 1;
    st.push(s);
    for(int i = head[s];i != -1;i = edge[i].next){
        int v = edge[i].v;
        if(vis[v] == 0) dfs(v);
        if(vis[v] == 1) low[s] = min(low[s],low[v]);
    }
    if(dfn[s] == low[s]){
        id ++;
        while(1){
            int x = st.top();
            st.pop();
            link[x] = id;
            vis[x] = -1;
            if(x == s) break;
        }
    }
}

void tarjan(int n){
    memset(vis,0,sizeof(vis));
    while(!st.empty()) st.pop();
    _time = 0; id = 0;
    for(int i = 1;i <= n;i ++)
        if(vis[i] == 0) dfs(i);
}

int main()
{
    int v,e;
    while(~scanf("%d",&v) && v){
        scanf("%d",&e);
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(head,-1,sizeof(head));
        memset(link,0,sizeof(link));
        int v1,v2; int cnt = 0;
        for(int i = 0;i < e;i ++){
            scanf("%d%d",&v1,&v2);
            edge[cnt] = node(v2,head[v1]);
            head[v1] = cnt ++;
        }
        tarjan(v);
        int out[maxn] = {0};
        for(int i = 1;i <= v;i ++){
            for(int j = head[i];j != -1;j = edge[j].next){
                if(link[i] != link[edge[j].v]){
                    out[link[i]]++;
                }
            }
        }
        for(int i = 1;i <= v;i ++){
            if(!out[link[i]]) printf("%d ",i);
        }
        printf("\n");
    }
    return 0;
}