背景:
union-find算法是用来解决动态连通性问题的。
动态连通性问题的数学表达:
问题的输入是一列整数对。一个整数对可以被理解成这个整数对的两个整数相连。
eg:我们输入整数对 p,q,那么"p和q是相连的"。
相连:我们假设相连是一种对等的关系,就意味着它有
自反性:p和p是相连的
对称性:如果p和q相连,那么q和p也是相连的
传递性:如果p和q是相连的,q和r是相连的,那么p和r而是相连的
问题:我们已知一些整数对(即所有点的相连关系),那么如何得知某两个点是否相连?
现实中的例子:
-
大型网络中的计算机
是否其中的两台已经相互连接,还是需要架设新的连接来进行通讯?
-
社交网络中的人
两个人之间是否有潜在的朋友关系?
-
电路中的触点
两个触点是否彼此连通?
问题的解决
编程背景
变量名的等价性:在某些编程环境中允许两个等价的变量名(指向同一个对象的多个引用)。在声明后,系统需要能判别两个变量名是否等价。(如FORTRAN语言)推动了如下我们要讲到的算法的发展。
数学思考
从数学上的抽象讲,在处理一个输入的整数对p,q时,我们判断它们是否已经属于同一个集合,如果是则忽略,如果不是,我们将p所属的集合和q所属的集合归并成一个集合。
* 术语
对象(一个整数):触点
整数对: 连接
等价类:分量或连通分量
那么我们可以用0到N-1个整数表示N个触点
union-find 算法 API
public class | UF | |
---|---|---|
UF(int N) | 用整数标识初始化N个触点 | |
void | union(int p,int q) | 在p和q中间添加一条连接 |
int | find(int p) | p所在分量的标识符(0到N-1) |
boolean | connected(int p,int q) | 如果p和q在同一个分量中则返回true |
int | count() | 连通分量的数量 |
从而:我们的任务转化为了实现此API即可。
实现此API:
1.定义一种数据结构表示已知的连接
API已经说明触点和分量都可以用int表示,所以我们可以使用id[]
2.基于此数据结构实现高效的union(),find(),connected()和count()方法
public class UF(){
public int id[];
public int count;
public void UF(int N){
id =new int[N];
count=N;
for(int i=0;i<N;i++){
id[i]=i;
}
}
public boolean connected(int p,int q){
return find(p)==find(q0);
}
public int count(){
return count;
}
public int find(int p)
public void union(int p,