作用
1.将两个集合合并
2.询问两个元素是否在一个集合当中
3.查询集合中的数量
时间复杂度
近乎O(1)
原理
每个集合用一颗树表示,树根节点的类型为整个集合的类型 ,每个节点存储他的父节点,用p[x]表示x的父节点。
问题一:如何判断树根:if(p[x]==x)
问题二:如何求集合x的集合类型:while(p[x]!=x)x=p[x];
问题三:如何合并两个集合:px为x的集合类型,py为y的集合类型。p[x]=y;(相当于使树根成为另一颗树子节点之一)
优化寻找根节点
路径压缩
模板题-AcWing
题意
一共有 n 个数,编号是 1∼n,最开始每个数各自在一个集合中。
现在要进行 m 个操作,操作共有两种:
M a b
,将编号为 a 和 b 的两个数所在的集合合并,如果两个数已经在同一个集合中,则忽略这个操作;Q a b
,询问编号为 a 和 b 的两个数是否在同一个集合中;
输入格式
第一行输入整数 n 和 m。
接下来 m 行,每行包含一个操作指令,指令为
M a b
或Q a b
中的一种。
输出格式
对于每个询问指令
Q a b
,都要输出一个结果,如果 a 和 b 在同一集合内,则输出Yes
,否则输出No
。每个结果占一行。
数据范围
1≤n,m≤10^5
输入样例:
4 5
M 1 2
M 3 4
Q 1 2
Q 1 3
Q 3 4
输出样例:
Yes
No
Yes
代码
#include <iostream>
using namespace std;
const int N=100010;
int p[N],n,m;
int find(int x){//返回x的祖宗节点+路径压缩
if(p[x]!=x)p[x]=find(p[x]);
return p[x];
}
int main(){
cin>>n>>m;
for(int i=1;i<=n;i++)p[i]=i;
while(m--){
char c;
int a,b;
cin>>c>>a>>b;
if(c=='M'){
p[find(a)]=find(b);
}else{
if(find(a)==find(b))cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
}
}
维护
维护数量
模板题-AcWing
题意
给定一个包含 n 个点(编号为 1∼n)的无向图,初始时图中没有边。
现在要进行 m 个操作,操作共有三种:
C a b
,在点 a 和点 b 之间连一条边,a 和 b 可能相等;Q1 a b
,询问点 a 和点 b 是否在同一个连通块中,a 和 b 可能相等;Q2 a
,询问点 a 所在连通块中点的数量;
输入格式
第一行输入整数 n 和 m。
接下来 m 行,每行包含一个操作指令,指令为
C a b
,Q1 a b
或Q2 a
中的一种。
输出格式
对于每个询问指令
Q1 a b
,如果 a 和 b 在同一个连通块中,则输出Yes
,否则输出No
。对于每个询问指令
Q2 a
,输出一个整数表示点 a 所在连通块中点的数量每个结果占一行。
数据范围
1≤n,m≤10^5
输入样例:
5 5
C 1 2
Q1 1 2
Q2 1
C 2 5
Q2 5
输出样例:
Yes
2
3
代码
#include<bits/stdc++.h>
using namespace std;
const int N=100010;
int p[N],sz[N];
int find(int x){//返回x的祖宗节点+路径压缩
if(p[x]!=x)p[x]=find(p[x]);
return p[x];
}
int main(){
std::ios::sync_with_stdio(false),std::cin.tie(nullptr);
int n,m;
cin>>n>>m;
for(int i=1;i<=n;i++){
p[i]=i;
sz[i]=1;
}
while(m--){
string s;
int a,b;
cin>>s;
if(s=="C"){
cin>>a>>b;
if(find(a)==find(b))continue;//特判,如果已经在同一颗树中,则不需要使size增大
sz[find(b)]+=sz[find(a)];
p[find(a)]=find(b);
}else if(s=="Q1"){
cin>>a>>b;
if(find(a)==find(b))cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}else{
cin>>a;
cout<<sz[find(a)]<<endl;
}
}
return 0;
}
维护到父节点的距离
核心代码
int find(int x)//找祖宗节点,路径压缩。
{
if (p[x] != x)
{
int t = find(p[x]);
d[x] += d[p[x]];//到祖宗节点的距离(也是到父节点的距离)
p[x] = t;
}
return p[x];
}