并查集(Union-Find Set):
一种用于管理分组的数据结构。它具备两个操作:(1)查询元素a和元素b是否为同一组 (2) 将元素a和b合并为同一组。
注意:并查集不能将在同一组的元素拆分为两组。
并查集的实现:
用树来实现。
使用树形结构来表示以后,每一组都对应一棵树,然而我们就可以将这个问题转化为树的问题了,我们看两个元素是否为一组我们只要看这两个元素的根是否一致。显然,使用树形结构将问题简单化了。合并时是我们只需要将一组的根与另一组的根相连即可。
并查集的核心在于,一棵树的所有节点根节点都为一个节点。使用Find函数查询时,也是查询到这个节点的根节点。
一行并查集:
1
2
3
4
|
int find( int x) { return p[x]==x? x:find(p[x]); //x的父节点保存在p[x]中,如果没有父节点则p[x]=x。 } |
实现:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
int node[i]; //每个节点 //初始化n个节点 void Init( int n){ for ( int i = 0; i < n; i++){ node[i] = i; } } //查找当前元素所在树的根节点(代表元素) int find( int x){ if (x == node[x]) return x; return find(node[x]); } //合并元素x, y所处的集合 void Unite( int x, int y){ //查找到x,y的根节点 x = find(x); y = find(y); if (x == y) return ; //将x的根节点与y的根节点相连 node[x] = y; } //判断x,y是属于同一个集合 bool same( int x, int y){ return find(x) == find(y) |
并查集的路径压缩:
在特殊情况下,这棵树是一条长长的树链,设链的最后一个结点为x,则每次执行find(x)都会遍历整条链。效率十分的地下。 改进方法很简单,只要把遍历过的结点都改成根的子结点,后面的查询就会变的快很多。
并查集的复杂度
加入这两个优化之后,并查集的效率就非常高。对n个元素的并查集操作一次的复杂度是: O(α(n))。这里,α(n)是阿克曼(Ackermann)函数的反函数。效率要高于O(log n)。
不过这里O(α(n))是平均复杂度。也就是说,多次操作之后平均复杂度为O(α(n)),换而言之,并不是每一次操作都满足O(α(n))。
路径压缩后的优化代码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
int node[i]; //每个节点 int rank[i]; //树的高度 //初始化n个节点 void Init( int n){ for ( int i = 0; i < n; i++){ node[i] = i; rank[i] = 0; } } //查找当前元素所在树的根节点(代表元素) int find( int x){ if (x == node[x]) return x; return node[x] = find(node[x]); //在第一次查找时,将节点直连到根节点 } //合并元素x, y所处的集合 void Unite( int x, int y){ //查找到x,y的根节点 x = find(x); y = find(y); if (x == y) return ; //判断两棵树的高度,然后在决定谁为子树 if (rank[x] < rank[y]){ node[x] = y; } else { node[y] = x; if (rank[x] == rank[y]) rank[x]++: } } //判断x,y是属于同一个集合 bool same( int x, int y){ return find(x) == find(y); } |
实例分析:
题目:部落
在一个社区里,每个人都有自己的小圈子,还可能同时属于很多不同的朋友圈。我们认为朋友的朋友都算在一个部落里,于是要请你统计一下,在一个给定社区中,到底有多少个互不相交的部落?并且检查任意两个人是否属于同一个部落。
输入格式:
输入在第一行给出一个正整数N(<= 104),是已知小圈子的个数。随后N行,每行按下列格式给出一个小圈子里的人:
K P[1] P[2] ... P[K]
其中K是小圈子里的人数,P[i](i=1, .., K)是小圈子里每个人的编号。这里所有人的编号从1开始连续编号,最大编号不会超过104。
之后一行给出一个非负整数Q(<= 104),是查询次数。随后Q行,每行给出一对被查询的人的编号。
输出格式:
首先在一行中输出这个社区的总人数、以及互不相交的部落的个数。随后对每一次查询,如果他们属于同一个部落,则在一行中输出“Y”,否则输出“N”。
输入样例:
4
3 10 1 2
2 3 4
4 1 5 7 8
3 9 6 4
2
10 5
3 7
输出样例:
10 2
Y
N
分析:典型并查集问题。
一个部落对应一个集合。 根节点数量等于部落数量。
并查集把每个部落的人连起来,记录哪些人出现过,枚举标号10000,找出有多少人和部落,查询并查集维护。
源码分析:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#include <cstdio> #include <iostream> #include <algorithm> #include <cstring> using namespace std; int pre[10005]; int f[10005]; void init() { //初始化父集合pre[10005],以及出现的标志数组f[10005] for ( int i=0; i<10004; i++) pre[i]=i, f[i]=0; } int find( int x) { //并查集查找根节点的 递归程序 return pre[x]==x? x : pre[x]=find(pre[x]); } int main() { init(); int n,q,k,a,b; cin>>n; for ( int i=0; i<n; i++) { cin>>k>>a; f[a]=1; for ( int j=1; j<k; j++) { cin>>b; f[b]=1; int x=find(a); int y=find(b); if (x!=y) pre[x]=y; } } int cnt=0,tot=0; //cnt为所有人数 tot为部落数量 for ( int i=0; i<10004; i++) { if (f[i] == 1) { //如果标志为1 则说明出现过,cnt加一 cnt++; if (pre[i]==i) tot++; //如果下标为本身 说明其为根节点 根节点数量为部落的数量 } } cout<<cnt<< " " <<tot<<endl; cin>>q; for ( int i=0; i<q; i++) { cin>>a>>b; if (find(a) == find(b)) //若两参数 有同一根节点 说明为一个部落。 cout<< "Y" <<endl; else cout<< "N" <<endl; } return 0; } |
好了,这篇文章就介绍到这了。
原文链接:https://blog.csdn.net/Alger_jhun/article/details/79730169