HDU - 1269 迷宫城堡 强连通分量 Tarjan板子

Training 8 - F题

为了训练小希的方向感，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

#pragma warning (disable:4996)
#include <iostream>
#include <algorithm>
#include <iomanip>
#include <cstring>
#include <string>
#include <cstdio>
#include <cmath>
#include <vector>
#define inf 0X3f3f3f3f
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int N = 1e4 + 200;
const int M = 1e5 + 200;

int head[M], ver[M], nex[M];
int dfn[M], low[M];
int stack[M], ins[M], c[M];
vector<int> scc[M];
int n, m, num, tot, top, cnt;

void add(int x, int y)
{
	++tot;
	ver[tot] = y;
	nex[tot] = head[x];
	head[x] = tot;
}

void tarjan(int x)
{
	dfn[x] = low[x] = ++num;
	stack[++top] = x;
	ins[x] = 1;
	for (int i = head[x]; i; i = nex[i])
	{
		if (!dfn[ver[i]])
		{
			tarjan(ver[i]);
			low[x] = min(low[x], low[ver[i]]);
		}
		else if (ins[ver[i]])
			low[x] = min(low[x], dfn[ver[i]]);
	}
	if (dfn[x] == low[x])
	{
		cnt++;
		int y;
		do
		{
			y = stack[top--];
			ins[y] = 0;
			c[y] = cnt;
			scc[cnt].push_back(y);
		} while (x != y);
	}
}

int main()
{
	while (scanf("%d%d", &n, &m) != EOF)
	{
		if (n == 0 && m == 0)
			break;
		memset(head, 0, sizeof(head));
		memset(ver, 0, sizeof(ver));
		memset(nex, 0, sizeof(nex));
		memset(dfn, 0, sizeof(dfn));
		memset(low, 0, sizeof(low));
		memset(stack, 0, sizeof(stack));
		memset(ins, 0, sizeof(ins));
		memset(c, 0, sizeof(c));
		num = tot = top = cnt = 0;
		tot = cnt = 0;
		for (int i = 1; i <= m; i++)
		{
			int u, v;
			scanf("%d%d", &u, &v);
			add(u, v);
		}
		for (int i = 1; i <= n; i++)
			if (!dfn[i])
				tarjan(i);
		if (cnt > 1)
			printf("No\n");
		else
			printf("Yes\n");
		for (int i = 1; i <= n; i++)
			scc[i].clear();
	}
	return 0;
}
			

思路：
求强连通分量Tarjan算法板子题。