数据结构之并查集(Disjoint Set)

问题与引出

已公开的信息

研究对象：图
解决问题：检测图中是否存在环并指出冗余连接
已知：有环图中，边数 >= 顶点数

方法图解

1、下图中的无向图有6个顶点和6条边，是有环图。
2、遍历图中各边：
2.1、将边上两顶点放入一个集合
2.2、依次遍历其他边，并将相关顶点放入集合
2.3、若存在边上两点跨集合，则合并两集合
2.4、若存在边上两点均在同一集合，则该边使得图构成环，为冗余连接
参考:B站：正月点灯笼.

算法实现

应考虑的要素

1、集合内共性
同一集合内各点存在一个公共的最终根节点
例：0，1，2其公共最终根节点为1
需要记录各节点的公共根节点的数组：
parent[N+1]，其中N为边数
初始化各项为 -1

2、共性合并
如上文（2.3）
例存在{1，3}
横跨{0,1,2} （公共最终根为0）和 {3,4}（公共最终根为3）
如何选择合并后的公共根？
遵循深度最浅原则，因而将较浅的公共最终根更新为较深的公共最终根
记录深度的数组：
rank[N+1]
初始化各项为 0

3、具体遍历事宜
（1）分别搜寻新边上两点的最终根
（1.1）令初始最终根x_root为本身x: x_root=x
（1.2）当parent[x_root] ！= -1时，循环更新
（1.3）获得x的最终根
（2.1）若新边的两点最终根一致，则表示出现了环
(最终根–…--点1—点2—…---最终根)，终止！
（2.2.1）否则，按两点最终根的rank大小决定(小的更新为大的)
（2.2.2）若两点最终根的rank大小相等，则任选一点为另一点的最终根，该最终根rank+1；

代码实现

#include <stdio.h>
#include <stdlib.h>

// 此处设为边的数量+1更为严谨
#define VERTICES 6

// 并查集 DisjointSet
// 作用：寻找图中是否存在环
// 预备：1.各点的最终根节点数组parent[]；2.各最终根节点的深度数组rank[]。
// 初始化parent[] = {0}, rank[] = {0}
// 建立图的边数组 edges[][]
// 对各边进行遍历...................时复N
 判断边中两点是否可以合并
// 对两点分别查找其最终根节点循环查找非 -1 的 x_root....时复log(N)
// 若两点同属一个最终根节点，则有环
 否则通过判断两点根的深度，将较小的换成较大的.......减少树的深度
// 无环
// 时复 Nlog(N)

// 初始化，C++中可通过vector一行实现
void initialize(int parent[], int rank[]) {
   
    int i;
    for (i=0; i<VERTICES; i++) {
   
        parent[i] = -1;
        rank[i] = 0;
    }
};

// 查找最终根
int findRoot(int x, int parent[]) {
   
    int x_root = x;
    // 向深处查找(深度越小，复杂度越低)
    while (parent[x_root] != -1) {
   
        x_root = parent[x_root];
    }