题目:http://poj.org/problem?id=2553
题意:给你一个有向图,有n个点m条边,求出所有这样的点:从这个点能到一些点,并且能从这些点再回到这个点,意思就是这个点和与它相连的点之间路径是双向的。
思路:对于强连通分量内的点,路径肯定是双向的,那么我们首先跑一遍tarjan求出所有强连通分量。然后,对于出度不为0的强连通分量,位于其中的点可以到此分量指向的其他分量内的点,但明显是回不来的,因为路径双向的两点必然是位于同一个强连通分量内,所以,我们要寻找出度为0的强连通分量,其中的点就是我们要找的答案
总结:跟受欢迎的牛那题类似,只不过那道题只能由有一个出度为0的强连通分量
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
#include <queue>
using namespace std;
const int N = 5010;
struct edge
{
int to, next;
} G[N*100];
int dfn[N], low[N], scc[N], st[N];
int head[N];
bool vis[N];
int index, cnt, num, top;
int n, m;
void init()
{
memset(head, -1, sizeof head);
memset(dfn, -1, sizeof dfn);
memset(vis, 0, sizeof vis);
index = cnt = num = top = 0;
}
void add_edge(int v, int u)
{
G[cnt].to = u;
G[cnt].next = head[v];
head[v] = cnt++;
}
void tarjan(int v)
{
dfn[v] = low[v] = index++;
vis[v] = true;
st[top++] = v;
int u;
for(int i = head[v]; i != -1; i = G[i].next)
{
u = G[i].to;
if(dfn[u] == -1)
{
tarjan(u);
low[v] = min(low[v], low[u]);
}
else if(vis[u])
low[v] = min(low[v], dfn[u]);
}
if(dfn[v] == low[v])
{
num++;
do
{
u = st[--top];
vis[u] = false;
scc[u] = num;
}
while(u != v);
}
}
void slove()
{
for(int i = 1; i <= n; i++)
if(dfn[i] == -1)
tarjan(i);
int outdeg[N];
memset(outdeg, 0, sizeof outdeg);
for(int i = 1; i <= n; i++)
for(int j = head[i]; j != -1; j = G[j].next)
{
if(scc[i] != scc[G[j].to])
outdeg[scc[i]]++;
}
int res[N], k = 0;
for(int i = 1; i <= n; i++)
if(outdeg[scc[i]] == 0)
res[k++] = i;
if(k == 0) printf("\n");
for(int i = 0; i < k; i++)
if(i == 0) printf("%d", res[i]);
else printf(" %d", res[i]);
printf("\n");
}
int main()
{
int a, b;
while(scanf("%d", &n), n)
{
scanf("%d", &m);
init();
for(int i = 0; i < m; i++)
{
scanf("%d%d", &a, &b);
add_edge(a, b);
}
slove();
}
return 0;
}