中级数据结构：并查集

全文约 1524 字，预计阅读时长： 4分钟

---

并查集原理

  在一些应用问题中，需要将n个不同的元素划分成一些不相交的集合。

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

举例

有10位同学，起先互不相识，每个学生都是一个独立的小团体。现给这些学生进行编号，也就是分配一个数组下标，可以用过名字找编号，也可以通过编号找名字。接着按照籍贯分组，西安学生小分队s1={0,6,7,8}，成都学生小分队s2={1,4,9}，武汉学生小分队s3={2,3,5}就相互认识了，10个人形成了三个小团体。假设三个集合中的0,1,2担任该集合的队长。至此编号有了，集合有了，用数据结构怎么表示呢？开辟N个大小的数组，用-1初始化…

结论1

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

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


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

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

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

---

并查集实现

  每份数据分配一个编号

//建立映射关系
template<class T>
class Disjoint_set
{
public:
	Disjoint_set(const T* a, int size)
	{
		for (size_t i = 0; i < size; i++)
		{
			_vdjset.push_back(a[i]);
			_mdjset[a[i]] = i;
		}

	}

private:
	vector<T> _vdjset;		//编号找人
	map<T, int> _mdjset;	//人找编号
};

并查集

class Union_Set
{
private:
	vector<int> _v;
public:
	Union_Set(int size)
		:_v(size,-1)
	{
	}

	int FindRoot(int x)
	{
		int root = x;
		while (_v[root] >= 0)
		{
			root = _v[root];
		}

		---//路径压缩
		while (_v[x] >= 0)
		{
			int parent = _v[x];
			_v[x] = root;

			x = parent;//一路往上压缩.
		}
		return root;
	}
	
	void Union(int x, int y)
	{
		int root1 = FindRoot(x);
		int root2 = FindRoot(y);

		//本身在一个集合就没必要合并
		if (root1 == root2)
		{
			return;
		}

		---//小集合往大集合 合并
		if (abs(_v[root1]) < abs(_v[root2]))
		{
			swap(root1, root2);
		}

		_v[root1] += _v[root2];
		_v[root2] = root1;
	}
	int Union_Count()//集合个数
	{
		int _count = 0;
		for (size_t i = 0; i < _v.size(); i++)
		{
			if (_v[i] < 0)
			{
				_count++;
			}
		}
		return _count;
	}
};

---

并查集应用

省份数量 | 等式方程的可满足性