HDU 1269 迷宫城堡 (Tarjan)

                                                   迷宫城堡

为了训练小希的方向感，Gardon建立了一座大城堡，里面有N个房间(N<=10000)和M条通道(M<=100000)，每个通道都是单向的，就是说若称某通道连通了A房间和B房间，只说明可以通过这个通道由A房间到达B房间，但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的，即：对于任意的i和j，至少存在一条路径可以从房间i到房间j，也存在一条路径可以从房间j到房间i。 

Input

输入包含多组数据，输入的第一行有两个数：N和M，接下来的M行每行有两个数a和b，表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。 

Output

对于输入的每组数据，如果任意两个房间都是相互连接的，输出"Yes"，否则输出"No"。 

Sample Input

3 3
1 2
2 3
3 1
3 3
1 2
2 3
3 2
0 0

Sample Output

Yes
No

AC Code:

强连通分量模板

#include<iostream>
#include<cstdio>
#include<queue>
#include<map>
#include<cstring>
#include<cmath>
#include<stack>
#include<algorithm>
using namespace std;
static const int MAX_V = 10005;
static const int MAX_E = 100015;
struct Edge {
	int to;
	int next;
}edge[MAX_E];
int head[MAX_V], DFN[MAX_V], Low[MAX_V];
bool InStack[MAX_V];
stack<int> S;
int sign, cnt, tot;

void AddEdge(int u, int v) {
	edge[tot].to = v;
	edge[tot].next = head[u];
	head[u] = tot++;
}
void Init() {
	cnt = sign = tot = 0;
	memset(head, -1, sizeof(head));
	memset(DFN, 0, sizeof(DFN));
	memset(InStack, false, sizeof(InStack));
	while (!S.empty()) {
		S.pop();
	}
}
void TarJan(int u) {
	DFN[u] = Low[u] = ++cnt;
	InStack[u] = true;
	S.push(u);
	int v;
	for (int i = head[u]; i != -1; i = edge[i].next) {
		v = edge[i].to;
		if (!DFN[v]) {
			TarJan(v);
			Low[u] = min(Low[u], Low[v]);
		}
		else if (InStack[v]) {
			Low[u] = min(Low[u], Low[v]);
		}

	}
	if (Low[u] == DFN[u]) {
		sign++;
		do {
			v = S.top();
			S.pop();
			InStack[v] = false;
		} while (v != u);
	}
}

int main() {
	int n, m;
	while (scanf("%d%d", &n, &m) != EOF) {
		if (n == 0 && m == 0) break;
		Init();
		for (int i = 0; i < m; i++) {
			int u, v;
			scanf("%d%d", &u, &v);
			AddEdge(u, v);
		}
		for (int i = 1; i <= n; i++) {
			if (!DFN[i]) {
				TarJan(i);
			}
		}
		if (sign == 1) {
			printf("Yes\n");
		}
		else {
			printf("No\n");
		}
	}
	return 0;
}