数据结构-- 并查集

0. 引入

并查集是来解决等价问题的数据结构。

离散数学中的二元关系。

等价关系需满足自反性、对称性、传递性。
a ∈ S , a R a a R b & b R a a R b ∩ b R c = > a R c a \in S, aRa \\ aRb \& bRa \\ aRb \cap bRc =>aRc a∈S,aRaaRb&bRaaRb∩bRc=>aRc

1. 需要实现的操作

给定n个数据,看能划分多少个等价类。

初始时即分为n个等价类,然后再一一合并。

所以需要实现的操作为:

  1. 合并两个等价类
  2. 查找元素属于哪个等价类

2. 实现

2.0 父节点
cpp 复制代码
vector<int> pa;
2.1 查找
cpp 复制代码
int Find(int k)
{
	return k == pa[k] ? k : Find(pa[k]);
}
2.2 合并
cpp 复制代码
void Union(int a0, int a1)
{
	int p0 = Find(a0);
	int p1 = Find(a1);
	
	if ( p0 != p1 ) {
		pa[p0] = p1;
	}
}
2.3 路径压缩

对于查找来说如果简单的递归的话,最坏的情况便是全都在左子树。

(0,1) (0,2) (0,3) (0, 4) ... (0, n)

这样会导致单次查询如同一个链表一样达到O(n)

只需要改动一点点就可以完成路径压缩。

cpp 复制代码
int Find(int k)
{
return k == pa[k] ? k : pa[k] = Find(pa[k]);
}
2.4 按节点数合并

可以令开一个数组,记录当前节点下的节点数。在合并的时候取小的节点合并到大的节点上去。

cpp 复制代码
void Union(int a1, int a2)
{
	int p1 = Find(a1);
	int p2 = Find(a2);
	if ( p1 == p2)
	       return;
	
	if (sz[p1] < sz[p2]) {
		pa[p1] = p2;
	    sz[p2] += sz[p1];
	}
	else {
        pa[p2] = p1;
        sz[p1] += sz[p2];
    }     
}

3. 类封装

3.1 路径压缩
cpp 复制代码
class UnionFind {
    public:
        explicit UnionFind(int sz):cnt(sz),pa(sz)
        {
            iota(pa.begin(), pa.end(), 0);
        }
        int Find(int k )
        {
            return k == pa[k] ? k : pa[k] = Find(pa[k]);
        }
        void Union(int k1, int k2 )
        {
            int p0 = Find(k1);
            int p1 = Find(k2);

            if ( p0 != p1) {
                pa[p0] = p1;
                cnt--;
            }
        }
        int Cnt()
        {return cnt;}

    private:
        vector<int> pa;
        int cnt;
};
3.2 按节点数合并
cpp 复制代码
public:
class UnionFind {
    public:
        explicit UnionFind(int _sz):cnt(_sz),pa(_sz),sz(_sz, 1)
        {
            iota(pa.begin(), pa.end(), 0);
        }
        int Find(int k )
        {
            return k == pa[k] ? k : Find(pa[k]);
        }
        void Union(int k1, int k2 )
        {
            int p0 = Find(k1);
            int p1 = Find(k2);

            if (p0 == p1)
                return ;

            if (sz[p0] < sz[p1] ) {
                pa[p0] = p1;
                sz[p1] += sz[p0];
            }
            else {
                pa[p1] = p0;
                sz[p0] += sz[p1];
            }
        }
        int Cnt()
        {return cnt;}

        int Size(int idx)
        { return sz[idx]; }

        

    private:
        vector<int> pa,sz;
        int cnt;
};
4. 参考

lFoll题解
OIWIKI

相关推荐
快手技术37 分钟前
快手提出端到端生成式搜索框架 OneSearch,让搜索“一步到位”!
算法
CoovallyAIHub20 小时前
中科大DSAI Lab团队多篇论文入选ICCV 2025,推动三维视觉与泛化感知技术突破
深度学习·算法·计算机视觉
NAGNIP21 小时前
Serverless 架构下的大模型框架落地实践
算法·架构
moonlifesudo21 小时前
半开区间和开区间的两个二分模版
算法
moonlifesudo21 小时前
300:最长递增子序列
算法
CoovallyAIHub1 天前
港大&字节重磅发布DanceGRPO:突破视觉生成RLHF瓶颈,多项任务性能提升超180%!
深度学习·算法·计算机视觉
CoovallyAIHub1 天前
英伟达ViPE重磅发布!解决3D感知难题,SLAM+深度学习完美融合(附带数据集下载地址)
深度学习·算法·计算机视觉
聚客AI2 天前
🙋‍♀️Transformer训练与推理全流程:从输入处理到输出生成
人工智能·算法·llm
大怪v2 天前
前端:人工智能?我也会啊!来个花活,😎😎😎“自动驾驶”整起!
前端·javascript·算法
惯导马工2 天前
【论文导读】ORB-SLAM3:An Accurate Open-Source Library for Visual, Visual-Inertial and
深度学习·算法