HDU 1272 小希的迷宫

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 38688    Accepted Submission(s): 11861

Problem Description

上次Gardon的迷宫城堡小希玩了很久（见Problem B），现在她也想设计一个迷宫让Gardon来走。但是她设计迷宫的思路不一样，首先她认为所有的通道都应该是双向连通的，就是说如果有一个通道连通了房间A和B，那么既可以通过它从房间A走到房间B，也可以通过它从房间B走到房间A，为了提高难度，小希希望任意两个房间有且仅有一条路径可以相通（除非走了回头路）。小希现在把她的设计图给你，让你帮忙判断她的设计图是否符合她的设计思路。比如下面的例子，前两个是符合条件的，但是最后一个却有两种方法从5到达8。 

Input

输入包含多组数据，每组数据是一个以0 0结尾的整数对列表，表示了一条通道连接的两个房间的编号。房间的编号至少为1，且不超过100000。每两组数据之间有一个空行。 
整个文件以两个-1结尾。

Output

对于输入的每一组数据，输出仅包括一行。如果该迷宫符合小希的思路，那么输出"Yes"，否则输出"No"。

Sample Input

6 8 5 3 5 2 6 4 5 6 0 0

8 1 7 3 6 2 8 9 7 5 7 4 7 8 7 6 0 0

3 8 6 8 6 4 5 3 5 6 5 2 0 0

-1 -1

Sample Output

Yes Yes No

题意让判断是否能形成一个没有回路的连通图且仅有这一个连通图（即连通分量为1）。完全可以使用并查集来实现：合并的两个点如果祖先相同则说明两点已经直接或间接的连于同一个点上，再合并将会出现回路，不符合要求；遍历一遍fa数组，在标记的点中计算源头点（即fa[i]==i)的数量，数量不唯一说明连通分量不唯一，不符合要求。

#include<iostream>
#include<cstdio>
using namespace std;
int flag[100000], vis = 0;
int fa[100000];
int getfa(int h)             //某些情况查找用递归会存在爆栈，需要以非递归的形式进行查找并压缩路径
{
	int r = h;
	while (fa[r] != r)
		r = fa[r];
	int i = h, j;
	while (i != r)
	{
		j = fa[i];
		fa[i] = r;
		i = j;
	}
	return r;
}
bool merge(int a, int b)    //合并操作
{
	int t1 = getfa(a), t2 = getfa(b);
	if (t1 != t2)
	{
		fa[t1] = t2;
		return true;
	}
	return false;
}
int main()
{
	int a, b;
	while (scanf("%d%d", &a, &b)!=EOF)
	{
		if (a == -1&& b== -1)
			break;
		if (a == 0&& b == 0)         //说明图是一个空树
		{ 
			cout << "Yes" << endl;
			continue;
		}
		for (int i = 1; i <= 100000; i++)  //初始化
		{
			fa[i] = i;
			flag[i] = 0;
		}
		vis = 0;
		merge(a, b);
		flag[a] = flag[b] = 1;
		while(scanf("%d%d",&a,&b)&&a&&b)
		{
			if (merge(a, b))               //能合并则合并，标记两点
				flag[a] = flag[b] = 1;
			else                           //不能合并则不符要求
				vis = 1;
		}
		if (vis == 1)
			cout << "No" << endl;
		else
		{
			int num = 0;
			for (int i = 0; i <= 100000; i++)  //再检查连通分量
			{
				if (flag[i] && fa[i] == i)
					num++;
			}
			if (num!=1)
				cout << "No" << endl;
			else
				cout << "Yes" << endl;
		}
	}
	return 0;
}