CS-Notes/docs/notes/算法 - 并查集.md

199 lines
5.1 KiB
Java
Raw Normal View History

2019-04-21 10:36:08 +08:00
<!-- GFM-TOC -->
2019-03-27 20:57:37 +08:00
* [前言](#前言)
* [Quick Find](#quick-find)
* [Quick Union](#quick-union)
* [加权 Quick Union](#加权-quick-union)
* [路径压缩的加权 Quick Union](#路径压缩的加权-quick-union)
* [比较](#比较)
2019-04-21 10:36:08 +08:00
<!-- GFM-TOC -->
2019-03-27 20:57:37 +08:00
# 前言
2019-03-08 23:06:28 +08:00
用于解决动态连通性问题能动态连接两个点并且判断两个点是否连通
2019-04-25 18:43:33 +08:00
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/02943a90-7dd4-4e9a-9325-f8217d3cc54d.jpg" width="350"/> </div><br>
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
| 方法 | 描述 |
| :---: | :---: |
| UF(int N) | 构造一个大小为 N 的并查集 |
| void union(int p, int q) | 连接 p q 节点 |
| int find(int p) | 查找 p 所在的连通分量编号 |
| boolean connected(int p, int q) | 判断 p q 节点是否连通 |
2019-03-08 23:06:28 +08:00
```java
2019-03-27 20:57:37 +08:00
public abstract class UF {
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
protected int[] id;
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public UF(int N) {
id = new int[N];
for (int i = 0; i < N; i++) {
id[i] = i;
}
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public boolean connected(int p, int q) {
return find(p) == find(q);
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public abstract int find(int p);
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public abstract void union(int p, int q);
2019-03-08 23:06:28 +08:00
}
```
2019-03-27 20:57:37 +08:00
# Quick Find
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
可以快速进行 find 操作也就是可以快速判断两个节点是否连通
2019-03-08 23:06:28 +08:00
2019-05-14 16:57:43 +08:00
需要保证同一连通分量的所有节点的 id 值相等就可以通过判断两个节点的 id 值是否相等从而判断其连通性
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
但是 union 操作代价却很高需要将其中一个连通分量中的所有节点 id 值都修改为另一个节点的 id
2019-03-08 23:06:28 +08:00
2019-04-25 18:43:33 +08:00
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/0972501d-f854-4d26-8fce-babb27c267f6.jpg" width="320"/> </div><br>
2019-03-08 23:06:28 +08:00
```java
2019-03-27 20:57:37 +08:00
public class QuickFindUF extends UF {
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public QuickFindUF(int N) {
super(N);
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public int find(int p) {
return id[p];
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public void union(int p, int q) {
int pID = find(p);
int qID = find(q);
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
if (pID == qID) {
return;
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
for (int i = 0; i < id.length; i++) {
if (id[i] == pID) {
id[i] = qID;
}
}
}
2019-03-08 23:06:28 +08:00
}
```
2019-03-27 20:57:37 +08:00
# Quick Union
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
可以快速进行 union 操作只需要修改一个节点的 id 值即可
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
但是 find 操作开销很大因为同一个连通分量的节点 id 值不同id 值只是用来指向另一个节点因此需要一直向上查找操作直到找到最上层的节点
2019-03-08 23:06:28 +08:00
2019-04-25 18:43:33 +08:00
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/11b27de5-5a9d-45e4-95cc-417fa3ad1d38.jpg" width="280"/> </div><br>
2019-03-08 23:06:28 +08:00
```java
2019-03-27 20:57:37 +08:00
public class QuickUnionUF extends UF {
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public QuickUnionUF(int N) {
super(N);
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public int find(int p) {
while (p != id[p]) {
p = id[p];
}
return p;
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public void union(int p, int q) {
int pRoot = find(p);
int qRoot = find(q);
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
if (pRoot != qRoot) {
id[pRoot] = qRoot;
}
}
2019-03-08 23:06:28 +08:00
}
```
2019-03-27 20:57:37 +08:00
这种方法可以快速进行 union 操作但是 find 操作和树高成正比最坏的情况下树的高度为节点的数目
2019-03-08 23:06:28 +08:00
2019-04-25 18:43:33 +08:00
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/23e4462b-263f-4d15-8805-529e0ca7a4d1.jpg" width="100"/> </div><br>
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
# 加权 Quick Union
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
为了解决 quick-union 的树通常会很高的问题加权 quick-union union 操作时会让较小的树连接较大的树上面
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
理论研究证明加权 quick-union 算法构造的树深度最多不超过 logN
2019-03-08 23:06:28 +08:00
2019-04-25 18:43:33 +08:00
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/a9f18f8a-c1ea-422e-aa56-d91716b0f755.jpg" width="150"/> </div><br>
2019-03-08 23:06:28 +08:00
```java
2019-03-27 20:57:37 +08:00
public class WeightedQuickUnionUF extends UF {
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
// 保存节点的数量信息
private int[] sz;
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
public WeightedQuickUnionUF(int N) {
super(N);
this.sz = new int[N];
for (int i = 0; i < N; i++) {
this.sz[i] = 1;
}
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public int find(int p) {
while (p != id[p]) {
p = id[p];
}
return p;
}
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
@Override
public void union(int p, int q) {
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
int i = find(p);
int j = find(q);
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
if (i == j) return;
2019-03-08 23:06:28 +08:00
2019-03-27 20:57:37 +08:00
if (sz[i] < sz[j]) {
id[i] = j;
sz[j] += sz[i];
} else {
id[j] = i;
sz[i] += sz[j];
}
}
2019-03-08 23:06:28 +08:00
}
```
2019-03-27 20:57:37 +08:00
# 路径压缩的加权 Quick Union
在检查节点的同时将它们直接链接到根节点只需要在 find 中添加一个循环即可
# 比较
| 算法 | union | find |
| :---: | :---: | :---: |
| Quick Find | N | 1 |
| Quick Union | 树高 | 树高 |
| 加权 Quick Union | logN | logN |
| 路径压缩的加权 Quick Union | 非常接近 1 | 非常接近 1 |
2019-06-08 11:54:07 +08:00
</br><div align="center">💡 </br></br> 更多精彩内容将发布在公众号 **CyC2018** 后台回复 离线下载 以及 复习大纲 可领取学习资料😊
2019-06-08 11:44:52 +08:00
<div align="center"><img width="450px" src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/other/公众号海报.png"></img></div>