并查集（合并，查询）

简介：

并查集用于管理元素分组情况的数据结构，判断某一组合是否存在于同一集合（拥有同一性质）
树形结构实现但非二叉树，但是通过rank比较可以优化为类似平衡二叉树

模板

int par[1000000];
int rank[1000000];//统计树的深度
int size[1000000];//统计每一棵树结点个数
void init(int n){//初始化父节点
	for(int i=0;i<n;i++){
		par[i]=i;
		size[i]=1;
		rank[i]=0;
	}
}
int find(int x){//查询树的根 
	if(par[x]==x){
		return x;
	}
	else {
		return par[x]=find(par[x]);
	}
}
void unite(int x,int y){//合并x与y所属 
	x=find(x);
	y=find(y);
	if(x==y)return;
	if(rank[x]<rank[y])par[x]=y,size[y]+=size[x];//避免退化，使其类似平衡二叉树
	else {
		par[y]=x;
		size[x]+=size[y];
		if(rank[x]==rank[y])rank[x]++;
	}
}
bool same(int x,int y){
	return find(x)==find(y);
}

例题：食物链

Description

动物王国中有三类动物A,B,C，这三类动物的食物链构成了有趣的环形。A吃B， B吃C，C吃A。
现有N个动物，以1－N编号。每个动物都是A,B,C中的一种，但是我们并不知道它到底是哪一种。
有人用两种说法对这N个动物所构成的食物链关系进行描述：
第一种说法是"1 X Y"，表示X和Y是同类。
第二种说法是"2 X Y"，表示X吃Y。
此人对N个动物，用上述两种说法，一句接一句地说出K句话，这K句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
你的任务是根据给定的N（1 <= N <= 50,000）和K句话（0 <= K <= 100,000），输出假话的总数。
Input

第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。
Output

只有一个整数，表示假话的数目。
Sample Input

100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5
Sample Output

3

源代码

#include<iostream>
#include<cstdio>
using namespace std;
int par[1000000];
int rank[1000000];
void init(int n){//初始化 
	for(int i=0;i<n;i++){
		par[i]=i;
		rank[i]=0;
	}
}
int find(int x){//查询树的根 
	if(par[x]==x){
		return x;
	}
	else {
		return par[x]=find(par[x]);
	}
}
void unite(int x,int y){//合并x与y所属 
	x=find(x);
	y=find(y);
	if(x==y)return;
	if(rank[x]<rank[y])par[x]=y;
	else {
		par[y]=x;
		if(rank[x]==rank[y])rank[x]++;
	}
}
bool same(int x,int y){
	return find(x)==find(y);
}
int main(){
	long long sum=0;
	long long n,k;
	cin>>n>>k;
	init(3*n);
	long long a,x,y;
	while(k--){
		scanf("%lld%lld%lld",&a,&x,&y);
		if(x>n||x<1||y>n||y<1)sum++;
		else {
			if(a==1){
				if(same(x+2*n,y)||same(x,y+2*n))//没有吃与被吃 
				sum++;
				else {
					unite(x,y);
					unite(x+n,y+n);
					unite(x+2*n,y+2*n);
				}
			}
			if(a==2){
				if(same(x,y)||same(x,y+2*n))//是否存在矛盾 
				sum++;
				else{
					unite(x,y+n);
					unite(x+n,y+2*n);
					unite(x+2*n,y);
				}
			}
		}
	}
	cout<<sum<<endl;
	return 0;
}

实践并查集总结

该题初始化的数组是3n个，因为有a，b，c三种生物，而3n的作用是将三种生物分开，每个有一份完整编号[1~n]，(n，2n],(2n,3*n]，因为有三份于是就可以通过父节点将其联系起来进行分组，分类，集合，且使用并查集进行分组和查询.
并查集实质上是数据的树状结构存储并且可以查询数据组合是否拥有一个父节点（存在集合中），然后通过对于数组的分界来确定元素关系。
实际上真正考察的是我们对于数组如何分界且维护数据之间的关系