并查集

使用场景

在图论中，给出一系列的连通节点，判断两个节点是否属于同一个集合内，归根到底还是建立一棵连通树。
例题1：
若某个家族人员过于庞大，要判断两个是否是亲戚，确实还很不容易，现在给出某个亲戚关系图，求任意给出的两个人是否具有亲戚关系。
题目描述
规定：x和y是亲戚，y和z是亲戚，那么x和z也是亲戚。如果x,y是亲戚，那么x的亲戚都是y的亲戚，y的亲戚也都是x的亲戚。
输入格式
第一行：三个整数n,m,p，（n<=5000,m<=5000,p<=5000），分别表示有n个人，m个亲戚关系，询问p对亲戚关系。
以下m行：每行两个数Mi，Mj，1<=Mi，Mj<=N，表示Mi和Mj具有亲戚关系。
接下来p行：每行两个数Pi，Pj，询问Pi和Pj是否具有亲戚关系。
输出格式
P行，每行一个’Yes’或’No’。表示第i个询问的答案为“具有”或“不具有”亲戚关系。
例题2：
有 n 个城市，其中一些彼此相连，另一些没有相连。如果城市 a 与城市 b 直接相连，且城市 b 与城市 c 直接相连，
那么城市 a 与城市 c 间接相连。省份 是一组直接或间接相连的城市，组内不含其他没有相连的城市。
给你一个 n x n 的矩阵 isConnected ，其中 isConnected[i][j] = 1 表示第 i 个城市和第 j 个城市直接相连，
而 isConnected[i][j] = 0 表示二者不直接相连。
返回矩阵中 省份 的数量。
示例 1：
输入：isConnected = [[1,1,0],[1,1,0],[0,0,1]]
输出：2

并查集解释

并查集代码主要分为三部分：初始化、判断所属集合、合并集合。主要包括两个变量f和rank。 f用来标志该节点所属的集合，若f[x]=x则x为根节点； rank用来存储当前节点下挂节点个数，在构建树时降低树的高度。

C++代码

例题1

#include <vector>
#include <algorithm>
#include <iostream>

using namespace std;

class DisjointSetUnion
{
private:
    vector<int> f, rank;
    int n;

public:
    explicit DisjointSetUnion(int _n)
    {
        n = _n;
        rank.resize(n, 1);
        f.resize(n);
        for (int i = 0; i < n; i++)
        {
            f[i] = i;
        }
    }

    int find(int x)
    {
        return f[x] == x ? x : f[x] = find(f[x]);
    }

    int unionSet(int x, int y)
    {
        int fx = find(x), fy = find(y);
        if (fx == fy)
        {
            return false;
        }
        if (rank[fx] < rank[fy])
        {
            swap(fx, fy);
        }
        rank[fx] += rank[fy];
        f[fy] = fx;
        return true;
    }
};
int main()
{
    int n, m, p, x, y;
    scanf("%d%d%d", &n, &m, &p);
    DisjointSetUnion disjointSetUnion(n);
    for (int i = 0; i < m; ++i)
    {
        scanf("%d%d", &x, &y);
        disjointSetUnion.unionSet(x, y);
    }
    for (int i = 0; i < p; ++i)
    {
        scanf("%d%d", &x, &y);
        printf("%s\n", disjointSetUnion.find(x) == disjointSetUnion.find(y) ? "Yes" : "No");
    }
    return 0;
}

例题2

#include <vector>
#include <algorithm>
#include <iostream>

using namespace std;
class DisjointSetUnion
{
private:
    vector<int> f, rank;
    int n;

public:
    explicit DisjointSetUnion(int _n)
    {
        n = _n;
        rank.resize(n, 1);
        f.resize(n);
        for (int i = 0; i < n; i++)
        {
            f[i] = i;
        }
    }

    int find(int x)
    {
        return f[x] == x ? x : f[x] = find(f[x]);
    }

    int unionSet(int x, int y)
    {
        int fx = find(x), fy = find(y);
        if (fx == fy)
        {
            return false;
        }
        if (rank[fx] < rank[fy])
        {
            swap(fx, fy);
        }
        rank[fx] += rank[fy];
        f[fy] = fx;
        return true;
    }
};

int findCircleNum(vector<vector<int>>& isConnected) {
    int n = isConnected.size();
    DisjointSetUnion disjointSetUnion(n);
    for (int i = 0; i < n; i++) {
        for (int j = i + 1; j < n; j++) {
            if (isConnected[i][j] == 1) {
                disjointSetUnion.unionSet(i, j);
            }
        }
    }
    int circles = 0;
    for (int i = 0; i < n; i++) {
        if (disjointSetUnion.find(i) == i) {
            circles++;
        }
    }
    return circles;
}