union-find（并查集）算法

背景:

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,