支持操作:
1.将两个集合合并
2.询问两个元素是否在一个集合当中
//暴力解法
for查询
belong[x]=a;
if(belong[x]==belong[y]) O(1)
//合并计算耗时 用一个for循环
优点:近乎O(1) 的时间复杂度下支持以上两个操作。
基本原理:每个集合用了一棵树来表示。树根的编号就是整个集合的编号。
每个节点存储它的父节点,p[x]表示x的父节点。
问题:
问题1:如何判断树根:if(p[x]==x)
问题2:如何求x的树根编号: while(p[x]!=x) x=p[x]; //只要x不是树根我就一直往上走
问 题3:合并两棵树:直接连起来,让某一课作为另一颗的儿子。px是x的集合编号,py是y的集合编号。p[x]=y
优化:路径压缩
就是第一遍找到根节点之后,直接让下面的子节点直接指向这个根节点
此刻时间复杂度就接近O(1)了
例题:
一共有 nn 个数,编号是 1∼n1∼n,最开始每个数各自在一个集合中。
现在要进行 mm 个操作,操作共有两种:
M a b
,将编号为 aa 和 bb 的两个数所在的集合合并,如果两个数已经在同一个集合中,则忽略这个操作;Q a b
,询问编号为 aa 和 bb 的两个数是否在同一个集合中;
输入格式
第一行输入整数 nn 和 mm。
接下来 mm 行,每行包含一个操作指令,指令为 M a b
或 Q a b
中的一种。
输出格式
对于每个询问指令 Q a b
,都要输出一个结果,如果 aa 和 bb 在同一集合内,则输出 Yes
,否则输出 No
。
每个结果占一行。
数据范围
1≤n,m≤1051≤n,m≤105
输入样例:
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=1e5+10;
int n,m;
int p[N];
int find(int x) //返回x的祖宗节点+路径压缩
{
if(p[x]!=x) p[x]=find(p[x]); /*从这里一直找下去,知道找到祖宗才会return,
因此回溯的时候每个节点的p[x]就会指向祖宗了 */
return p[x];
}
int main() {
cin>>n>>m;
for(int i=1;i<=n;i++) p[i]=i;
while(m--)
{
char op[2];
int a,b;
cin>>op>>a>>b;
if(op[0]=='M') p[find(a)]=find(b); //就是将a的根节点做了b的儿子
else{
if(find(a)==find(b)) puts("Yes");
else puts("No");
}
}
return 0;
}
例题2:
给定一个包含 nn 个点(编号为 1∼n1∼n)的无向图,初始时图中没有边。
现在要进行 mm 个操作,操作共有三种:
C a b
,在点 aa 和点 bb 之间连一条边,aa 和 bb 可能相等;Q1 a b
,询问点 aa 和点 bb 是否在同一个连通块中,aa 和 bb 可能相等;Q2 a
,询问点 aa 所在连通块中点的数量;
输入格式
第一行输入整数 nn 和 mm。
接下来 mm 行,每行包含一个操作指令,指令为 C a b
,Q1 a b
或 Q2 a
中的一种。
输出格式
对于每个询问指令 Q1 a b
,如果 aa 和 bb 在同一个连通块中,则输出 Yes
,否则输出 No
。
对于每个询问指令 Q2 a
,输出一个整数表示点 aa 所在连通块中点的数量
每个结果占一行。
数据范围
1≤n,m≤1051≤n,m≤105
输入样例:
5 5
C 1 2
Q1 1 2
Q2 1
C 2 5
Q2 5
输出样例:
Yes
2
3
代码: 注意都是find因为都是通过root计算
#include<iostream>
#include<string>
using namespace std;
const int N=1e5+10;
int n,m,a,b;
int p[N],size1[N];
int find(int 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;
size1[i]=1; //开始的时候每一个都是1
}
while(m--)
{
char op[2];
cin>>op;
if(op[0]=='C')
{
cin>>a>>b;
if(find(a)==find(b)) continue;
size1[find(b)]+=size1[find(a)];
p[find(a)]=find(b); //不用相等是因为把两个连起来了,最后输出的是根的,所以都一样
}
else if (op[1]=='1')
{
cin>>a>>b;
if(find(a)==find(b)) puts("Yes");
else puts("No");
}
else {
cin>>a;
cout<<size1[find(a)]<<endl;
}
}
return 0;
}