学习笔记：并查集

并查集

并查集被很多 $\texttt{OIer}$ 认为是最简洁而优雅的数据结构之一，主要用于解决一些 元素分组 的问题。它管理一系列 不相交的集合，并支持两种操作：

合并：把两个不相交的集合合并为一个集合。
查询：查询两个元素是否在同一个集合中。

先来看看并查集最直接的一个应用场景：亲戚问题。

洛谷P1551 亲戚

题目背景

若某个家族人员过于庞大，要判断两个是否是亲戚，确实还很不容易，现在给出某个亲戚关系图，求任意给出的两个人是否具有亲戚关系。

题目描述

规定： $x$ 和 $y$ 是亲戚， $y$ 和 $z$ 是亲戚，那么 $x$ 和 $z$ 也是亲戚。如果 $x$ ， $y$ 是亲戚，那么 $x$ 的亲戚都是 $y$ 的亲戚， $y$ 的亲戚也都是 $x$ 的亲戚。

输入格式

第一行：三个整数 $n, m, p$ ，（ $\le 5000$ ），分别表示有 $n$ 个人， $m$ 个亲戚关系，询问 $p$ 对亲戚关系。

以下 $m$ 行：每行两个数 $M_i$ ， $M_j$ ， $\le M_i,~M_j\le n$ ，表示 $M_i$ 和 $M_j$ 具有亲戚关系。

接下来 $p$ 行：每行两个数 $P_i,P_j$ ，询问 $P_i$ 和 $P_j$ 是否具有亲戚关系。

输出格式

$p$ 行，每行一个 Yes 或 No。表示第 $i$ 个询问的答案为“具有”或“不具有”亲戚关系。

这其实是一个很有现实意义的问题。我们可以建立模型，把所有人划分到若干个不相交的集合中，每个集合里的人彼此是亲戚。为了判断两个人是否为亲戚，只需看它们是否属于同一个集合即可。因此，这里就可以考虑用并查集进行维护了。

简单并查集

并查集的重要思想在于，用集合中的一个元素代表集合。有这样一个有趣的比喻，把集合比喻成狗帮，而代表元素则是狗王。接下来我们利用这个比喻，看看并查集是如何运作的。

最开始，所有狗狗各自为战。他们各自的狗王自然就是自己（对于只有一个元素的集合，代表元素自然是唯一的那个元素）。

现在 $1$ 号和 $3$ 号比武，假设 $1$ 号赢了（这里具体谁赢暂时不重要），那么 $3$ 号就认 $1$ 号作帮主（合并 $1$ 号和 $3$ 号所在的集合， $1$ 号为代表元素）。

现在 $2$ 号想和 $3$ 号比武（合并 $3$ 号和 $2$ 号所在的集合），但 $3$ 号表示，别跟我打，让我狗王来收拾你（合并代表元素）。不妨设这次又是 $1$ 号赢了，那么 $2$ 号也认 $1$ 号做狗王。

现在我们假设 $4$ 、 $5$ 、 $6$ 号也进行了一番狗帮合并，局势变成下面这样：

现在假设 $2$ 号想与 $6$ 号比，跟刚刚说的一样，喊狗王 $1$ 号和 $4$ 号出来打一架。 $1$ 号胜利后， $4$ 号认 $1$ 号为帮主，当然他的下属也都是跟着投降了。

好了，比喻结束了。如果你有一点图论基础，相信你已经觉察到，这是一个 **树 **状的结构，要寻找集合的代表元素，只需要一层一层往上访问 父节点（图中箭头所指的圆），直达树的 根节点（图中橙色的圆）即可。根节点的父节点是它自己。我们可以直接把它画成一棵树：

（好像有点像个火柴人？）

用这种方法，我们可以写出最简单版本的并查集代码。

初始化

int f[MAXN];
for(int i = 1 ; i <= n ; i ++)f[i] = i;

假如有编号为 $1, 2, 3, ..., n$ 的 $n$ 个元素，我们用一个数组 f[] 来存储每个元素的父节点（因为每个元素有且只有一个父节点，所以这是可行的）。一开始，我们先将它们的父节点设为自己。

查询

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

我们用递归的写法实现对代表元素的查询：一层一层访问父节点，直至根节点（根节点的标志就是父节点是本身）。要判断两个元素是否属于同一个集合，只需要看它们的根节点是否相同即可。

合并

 void merge(int i, int j){
     fa[find(i)] = find(j);
}

合并操作也是很简单的，先找到两个集合的代表元素，然后将前者的父节点设为后者即可。当然也可以将后者的父节点设为前者，这里暂时不重要。本文末尾会给出一个更合理的比较方法。

路径压缩

最简单的并查集效率是比较低的。例如，来看下面这个场景：

现在我们要 merge(2,3)，于是从 $2$ 找到 $1$ ，f[1]=3，于是变成了这样：

然后我们又找来一个元素 $4$ ，并需要执行 merge(2,4)：

从 $2$ 找到 $1$ ，再找到 $3$ ，然后 f[3]=4，于是变成了这样：

大家应该有感觉了，这样可能会形成一条长长的链，随着链越来越长，我们想要从底部找到根节点会变得越来越难。

怎么解决呢？我们可以使用 路径压缩 的方法。既然我们只关心一个元素对应的 根节点，那我们希望每个元素到根节点的路径尽可能短，最好只需要一步，像这样：

其实这说来也很好实现。只要我们在查询的过程中，**把沿途的每个节点的父节点都设为根节点 **即可。下一次再查询时，我们就可以省很多事。这用递归的写法很容易实现：

合并

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

注意赋值运算符 = 的优先级没有三元运算符 ? : 高，这里要加括号。

路径压缩优化后，并查集的时间复杂度已经比较低了，绝大多数不相交集合的合并查询问题都能够解决。然而，对于某些时间卡得很紧的题目，我们还可以进一步优化。

按秩合并

有些人可能有一个误解，以为路径压缩优化后，并查集始终都是一个 菊花图。但其实，由于路径压缩只在查询时进行，也只压缩一条路径，所以并查集最终的结构仍然可能是比较复杂的。例如，现在我们有一棵较复杂的树需要与一个单元素的集合合并：

假如这时我们要 merge(7,8)，如果我们可以选择的话，是把 $7$ 的父节点设为 $8$ 好，还是把 $8$ 的父节点设为 $7$ 好呢？

当然是后者。因为如果把 $7$ 的父节点设为 $8$ ，会使树的深度加深，原来的树中每个元素到根节点的距离都变长了，之后我们寻找根节点的路径也就会相应变长。虽然我们有路径压缩，但路径压缩也是会消耗时间的。而把 $8$ 的父节点设为 $7$ ，则不会有这个问题，因为它没有影响到不相关的节点。

这启发我们：我们应该把简单的树往复杂的树上合并，而不是相反。因为这样合并后，到根节点距离变长的节点个数比较少。

我们用一个数组 rnk[] 记录每个根节点对应的树的深度（如果不是根节点，其 rnk 相当于以它作为根节点的子树的深度）。一开始，把所有元素的 rnk （秩）设为 $1$ 。合并时比较两个根节点，把 rnk 较小者往较大者上合并。

路径压缩和按秩合并如果一起使用，时间复杂度接近 $O (n)$ ，但是很可能会破坏 rnk 的准确性。

初始化

int f[MAXN];
for(int i = 1 ; i <= n ; i ++)f[i] = i;
for(int i = 1 ; i <= n ; i ++)rnk[i] = 1;

合并

void merge(int i, int j){
    int x = find(i), y = find(j);
    if(rnk[x] <= rnk[y])fa[x] = y;
    else fa[y] = x;
    if(rnk[x] == rnk[y] && x != y)
        rnk[y]++;
}

为什么深度相同，新的根节点深度要 $+ 1$ ？如下图，我们有两个深度均为 $2$ 的树，现在要 merge(2,5)：

这里把 $2$ 的父节点设为 $5$ ，或者把 $5$ 的父节点设为 $2$ ，其实没有太大区别。我们选择前者，于是变成这样：

显然树的深度增加了 $1$ 。另一种合并方式同样会让树的深度 $+ 1$ 。

种类并查集

一般的并查集，维护的是具有连通性、传递性的关系，例如亲戚的亲戚是亲戚。有时候，我们要维护另一种关系：敌人的敌人是朋友。种类并查集就是为了解决这个问题而诞生的。

洛谷P1525 [NOIP2010 提高组] 关押罪犯

题目描述

S 城现有两座监狱，一共关押着 $N$ 名罪犯，编号分别为 $1 - N$ 。他们之间的关系自然也极不和谐。很多罪犯之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。我们用“怨气值”（一个正整数值）来表示某两名罪犯之间的仇恨程度，怨气值越大，则这两名罪犯之间的积怨越多。如果两名怨气值为 $c$ 的罪犯被关押在同一监狱，他们俩之间会发生摩擦，并造成影响力为 $c$ 的冲突事件。

每年年末，警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表，然后上报到 S 城 Z 市长那里。公务繁忙的 Z 市长只会去看列表中的第一个事件的影响力，如果影响很坏，他就会考虑撤换警察局长。

在详细考察了 $N$ 名罪犯间的矛盾关系后，警察局长觉得压力巨大。他准备将罪犯们在两座监狱内重新分配，以求产生的冲突事件影响力都较小，从而保住自己的乌纱帽。假设只要处于同一监狱内的某两个罪犯间有仇恨，那么他们一定会在每年的某个时候发生摩擦。

那么，应如何分配罪犯，才能使 Z 市长看到的那个冲突事件的影响力最小？这个最小值是多少？

输入格式

每行中两个数之间用一个空格隔开。第一行为两个正整数 $N, M$ ，分别表示罪犯的数目以及存在仇恨的罪犯对数。接下来的 $M$ 行每行为三个正整数 $a_j,b_j,c_j$ ，表示 $a_j$ 号和 $b_j$ 号罪犯之间存在仇恨，其怨气值为 $c_j$ 。数据保证 $1<a_j\leq b_j\leq N, 0 < c_j\leq 10^9$ ，且每对罪犯组合只出现一次。

输出格式

共 $1$ 行，为 Z 市长看到的那个冲突事件的影响力。如果本年内监狱中未发生任何冲突事件，请输出 0。

其实很容易想到，这里可以贪心，把所有矛盾关系 从大到小 排个序，然后尽可能地把矛盾大的犯人关到不同的监狱里，直到不能这么做为止。这看上去可以用并查集维护，但是有一个问题：我们得到的信息，不是哪些人应该在相同的监狱，而是哪些人应该在不同的监狱。这怎么处理呢？这个题其实有很多做法（例如二分图匹配之类的）。但这里，我们介绍使用种类并查集的做法。

我们开一个 **两倍大小 **的并查集。例如，假如我们要维护 $4$ 个元素的并查集，我们改为开 $8$ 个单位的空间：

我们用 $1 - 4$ 维护朋友关系（就这道题而言，是指关在同一个监狱的狱友），用 $5 - 8$ 维护敌人关系（这道题里是指关在不同监狱的仇人）。现在假如我们得到信息： $1$ 和 $2$ 是敌人，应该怎么办？

我们merge(1, 2+n), merge(1+n, 2)，对于 $1$ 个编号为 $i$ 的元素， $i + n$ 是它的敌人。所以这里的意思就是： $1$ 是 $2$ 的敌人， $2$ 是 $1$ 的敌人。

现在假如我们又知道 $2$ 和 $4$ 是敌人，我们merge(2, 4+n), merge(2+n, 4);：

发现了吗，敌人的敌人就是朋友， $2$ 和 $4$ 是敌人， $2$ 和 $1$ 也是敌人。所以这里， $1$ 和 $4$ 通过 $2 + n$ 这个元素间接地连接起来了。这就是种类并查集工作的原理。

代码如下：

#include <iostream>
#include <algorithm>
#define MAXN 20005
#define MAXM 100005
using namespace std;
int f[MAXN], rnk[MAXN];
struct data{
    int a, b, w;
    bool friend operator<(data &a, data &b){
        return a.w > b.w;
    }
}a[MAXM];
int read(){
    int t = 1, x = 0;char ch = getchar();
    while(!isdigit(ch)){if(ch == '-')t = -1;ch = getchar();}
    while(isdigit(ch)){x = (x << 1) + (x << 3) + (ch ^ 48);ch = getchar();}
    return x * t;
}
void write(int x){
    if(x < 0){putchar('-');x = -x;}
    if(x >= 10)write(x / 10);
    putchar(x % 10 ^ 48);
}
int find(int x){
    if(f[x] == x)return x;
    else return f[x] = find(f[x]);
}
int query(int a, int b){
    if(find(a) == find(b))return true;
    else return false;
}
void merge(int a, int b){
    int x = find(a), y = find(b);
    if(rnk[x] >= rnk[y])f[y] = x;
    else f[x] = y;
    if(rnk[x] == rnk[y] && x != y)rnk[x]++;
}
int main(){
    int n = read(), m = read();
    for(int i = 1 ; i <= (n << 1) ; i ++)f[i] = i;
    for(int i = 1 ; i <= (n << 1) ; i ++)rnk[i] = 1;
    for(int i = 1 ; i <= m ; i ++)
        a[i].a = read(),a[i].b = read(),a[i].w = read();
    sort(a + 1, a + m + 1);
    for(int i = 1 ; i <= m ; i ++){
        if(query(a[i].a, a[i].b) == true){
            write(a[i].w);putchar('\n'); 
            break;
        }else{
            merge(a[i].a, a[i].b + n);
            merge(a[i].b, a[i].a + n);
            if(i == m - 1)puts("0");
        }
    }
    return 0;
}