【数据结构】17.并查集

一、并查集的原理

在一些应用问题中，需要将n个不同的元素划分成一些不相交的集合。开始时，每个元素自成一个单元素集合，然后按一定的规律将归于同一组元素的集合合并。在此过程中要反复用到查询某一个元素归属于哪个集合的运算。适合于描述这类问题的抽象数据类型称为并查集(union-find set)

比如：某大学班级总共有10名男生，来自北京4人，来自成都3人，来自上海3人，10个人来自不同的高中，起先互不相识，每个学生都是一个独立的小团体，现给这些学生进行编号：{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; 给以下数组用来存储该小集体，数组中的数字的绝对值代表：该小集体中具有成员的个数

刚刚上大学，同学们更依赖地缘维持熟悉度，这样就有：
北京学生小分队s1={0,6,7,8}，成都学生小分队s2={1,4,9}，上海学生小分队s3={2,3,5}就相互认识了，10个人形成了三个小团体。

从上图可以看出：编号6,7,8同学属于0号小分队，该小分队中有4人(包含0)；编号为4和9的同学属于1号小分队，该小分队有3人(包含1)，编号为3和5的同学属于2号小分队，该小分队有3个人(包含1)

仔细观察数组中内融化，可以得出以下结论：

1. 数组的下标对应集合中元素的编号
2. 数组中如果为负数，负号代表根，数字绝对值代表该集合中元素个数
3. 数组中如果为非负数，代表该元素双亲在数组中的下标

在了解一段时间后，北京小分队中8号同学与成都小分队1号同学奇迹般的走到了一起，两个小圈子的学生相互介绍，最后成为了一个小圈子：

现在0集合有7个人，2集合有3个人，总共两个朋友圈

通过以上例子可知，并查集一般可以解决一下问题：

1. 查找元素属于哪个集合
   沿着数组表示树形关系一直找到根(即：树中中元素为负数的位置)
2. 查看两个元素是否属于同一个集合
   沿着数组表示的树形关系往上一直找到树的根，如果根相同表明在同一个集合，否则不在
3. 将两个集合归并成一个集合
   将两个集合中的元素合并，然后将一个集合名称改成另一个集合的名称
4. 集合的个数
   遍历数组，数组中元素为负数的个数即为集合的个数

二、并查集的实现

2.1 并查集的框架

#include<vector>
#include<iostream>
using namespace std;

//仅是通过编号进行查找
class UnionFindSet
{
public:

private:
	vector<int> _ufs;
};

2.2 并查集的查找

并查集的查找根是整个结构中最重要的，后续的操作都需要用到。

//查找
size_t FindRoot(int x)
{
	//存储的数据是负数才是根
	int root = x;
	while (_ufs[root] >= 0)
	{
		root = _ufs[root];
	}
	//路径压缩
	int parent = _ufs[x];
	while (x!=root)
	{
		_ufs[x] = root;
		x = parent;
	}

	return root;
}

2.3 并查集的源码

#pragma once

#include<vector>
#include<iostream>
using namespace std;

//仅是通过编号进行查找
class UnionFindSet
{
public:
	//初始化，彼此之间没有关系
	UnionFindSet(size_t n):_ufs(n,-1){}
	//查找
	size_t FindRoot(int x)
	{
		//存储的数据是负数才是根
		int root = x;
		while (_ufs[root] >= 0)
		{
			root = _ufs[root];
		}
		//路径压缩
		int parent = _ufs[x];
		while (x!=root)
		{
			_ufs[x] = root;
			x = parent;
		}

		return root;
	}
	//合并两个集合
	void UnionSet(int x, int y)
	{
		auto rootx = FindRoot(x);
		auto rooty = FindRoot(y);
		//本身就是同一个集合就不需要合并
		if (rootx == rooty)
			return;
		//把少的合并到多的可以压缩路径
		if (_ufs[rootx] > _ufs[rooty])
			swap(rootx, rooty);
		//合并变改根节点
		_ufs[rootx] += _ufs[rooty];
		_ufs[rooty] = rootx;
	}
	//是否在同一个集合
	bool IsSameSet(int x, int y)
	{
		auto rootx = FindRoot(x);
		auto rooty = FindRoot(y);
		return rootx == rooty;
	}
	//集合个数
	size_t SetSize()
	{
		size_t n = 0;
		for (auto e : _ufs)
		{
			if (e < 0)	n++;
		}
		return n;
	}
private:
	vector<int> _ufs;
};