题目链接: 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;
}