十、森林与并查集---(1)什么是并查集

摘自计蒜客：http://www.jisuanke.com/course/35/7052

在计算机科学中，并查集（Merge-Find Set），也被称为不相交集合（Disjoint Set），是用于解决若干的不相交集合的如下几种操作的统称：

MAKE-SET(x)：即初始化操作，建立一个只包含元素 x 的集合。
UNION(x, y)：即合并操作，将包含 x 和 y 的集合合并为一个新的集合。
FIND-SET(x)：即查询操作，计算 x 所在的集合。
并查集通常同时指代不相交集合的数据结构及其对应的算法，其在有些教材中的英文名称也叫做 Disjoint Set Union，表示用于求不相交集合并集的相关算法。

通常我们会用有根树来表示集合，树中的每一个结点都对应集合的一个成员，每棵树表示一个集合。
每个成员都有一条指向父结点的边，整个有根树通过这些指向父结点的边来维护。每棵树的根就是这个集合的代表，并且这个代表的父结点是它自己。
通过这样的表示方法，我们将不相交的集合转化为一个森林，也叫不相交森林。接下来我们会介绍，如何通过不相交森林实现并查集的初始化、合并和查询操作。

通常并查集初始化操作是对每个元素都建立一个只包含该元素的集合。这意味着每个成员都是自身所在集合的代表，所以我们只需要将所有成员的父结点设为它自己就好了。
在不相交森林中，并查集的查询操作，指的是查找出指定元素所在有根树的根结点是谁。我们可以通过每个指向父结点的边回溯到结点所在有根树的根，也就是对应集合的代表元素。
并查集的合并操作需要用到查询操作的结果。合并两个元素所在的集合，需要首先求出两个元素所在集合的代表元素，也就是结点所在有根树的根结点。接下来将其中一个根结点的父亲设置为另一个根结点。这样我们就把两棵有根树合并成一棵了。
并查集的合并操作非常关键，下面我们举个小例子来说明合并操作对应的不相交森林的状态变化。

如上图所示，图（a）为两个合并前的集合对应的不相交森林，两个集合对应的有根树的根分别是 c 和 f。我们将两个集合进行合并，就会得到图（b）所示的新集合，集合对应的有根树的根为 f。
并查集的查询操作最坏情况下的时间复杂度为 O(n)，其中 n 为总元素个数。最坏情况发生时，每次合并对应到森林上都是一个点连到一条链的一端。此时如果每次都查询链的最底端，也就是最远离根的位置的元素时，复杂度便是 O(n) 了。
为了改善时间效率，可以通过启发式合并方法，将包含较少结点的树接到包含较多结点的树根上，可以防止树退化成一条链。另外，我们也可以通过路径压缩的方法来进一步减少均摊复杂度。同时使用这两种优化方法，可以将每次操作的时间复杂度优化至接近常数级。