数据结构———并查集

并查集的基本思想

1. 什么是并查集
并查集(union-find set)是一种用于分离集合操作的抽象数据结构。它所处理的是“集合”之间的关系，即动态地维护和处理集合元素之间复杂的关系，

当给出的两个元素的一个无序对(a,b)时，需要快速“合并”a和b所在的集合，这其间需要反复“查找”某元素所在的集合。“并”、“查”和“集”三字由此而来。在这种数据类型中，n个不同的 元素被分为若干组，每组是一个集合，这种集合叫做分离集合。并查集支持查找一个元素所属的集合以及两个元素各自所属的集合的合并。

例如，有这样的问题：初始时n个元素分属不同的n个集合，通过不断地给出元素间的关系（是否存在直接或间接的关系）。这时就有了并查集的用武之地了。元素间是否有联系，只要判断两个元素是否属于一个集合。

并查集本身并不具有结构，必须借助一定的数据结构以得到实现和支持。数据结构选择是一个重要环节，选择不同的数据结构可能会在查找和合并的操作效率上有很大的差别，但操作实现都是高效。一般数据结构使用比较多的是数组。

2. 并查集支持的操作
并查集的数据结构记录了一组分离的动态集合S={S₁，S₂，…，S_k}。每个集合通过一个代表加以识别，代表即该元素中的某个元素，哪个成员被选是无所谓的，重要的是，如果求某一动态集合的代表两次，且在两次请求间不修改集合，则两次得到的答案应该是相同的。

动态集合中的每一个元素是由一个对象表示的，设x表示一个对象，并查集的实现需要支持如下操作：

MAKE(x):建立一个新的集合，其仅有的成员（同时就是代表）是x。由于各集合是分离的，要求x没有在其他集合当中出现过。

UNIONN(x,y)：将包含x和y的动态集合（例如S_x和S_y）合并为一个新的集合，假定在此操作前这两个集合是分离的。结果的集合代表是S_x∪S_y的某个成员。一般来说，在不同的实现中通产都以S_x或者S_y的代表作为新的集合代表。此后，由新的集合S代替了原来的S_x和S_y。

FIND(x):返回一个指向包含x的集合的代表。

#include<iostream>
#include<cstdio>
using namespace std;
int maxn = 20001;
int father[maxn];
int m,n,i,x,y,q;

int find(int x)
{
	if(father[x] != x) return find(father[x]);
	else return x;
}

void unionn(int r1,int r2)
{
	father[r2] = r1;
}

int main()
{
	cin>>n>>m;
	for(i = 1;i <= n;i++)
		father[i] = i;
	for(i = 1;i <= m;i++)
	{
		scanf("%d%d",&x,&y);
		int r1 = find(x);
		int r2 = find(y);
		if(r1 != r2) unionn(r1,r2);
	}
	cin>>q;
	for(i = 1;i <= q;i++)
	{
		scanf("%d%d",&x,&y);
		if(find(x) == find(y))	printf("Yes\n");
				else printf("No\n");
	}
	return 0;
}

其中father[i]表示元素i的父亲结点，进行不断并到不同集合当中