背景

对于一个无向图，我们希望判断两个节点之间是否是连通的，或者说，从点p到点q，是否存在一条路径。想要在大规模的图中快速判断两点是否连通，显然并不容易。

应用的场景

这里的节点可以代表很多具体的应用：

1. 数字图片中的像素

2. 在网络中的计算机

3. 在社交网络上的用户

4. 芯片上的晶体管

5. 集合中的元素

6. 程序的变量名

并查集API

并查集是一种树型的数据结构，用于处理一些不相交的集合的合并和查询问题。我们的并查集提高一下几个接口。

UF(int N): 并查集的构造函数

void union(int p, int q): 将两个节点连接的函数

boolean connected(int p, int q): 判断两个节点是否连接

int find(int p)与int count()这两个函数的作用后续会讲到。

Quick-Find

这种方式思路十分简单和清晰，维护一个id数组，其中相连接的元素有一样的值，代码如下：

public class QuickFindUF
{
     private int[] id;
     public QuickFindUF(int N)
     {
         id = new int[N];
         for (int i = 0; i < N; i++)
         id[i] = i;
     }
     public boolean connected(int p, int q)
     { return id[p] == id[q]; }
     public void union(int p, int q)
     {
     int pid = id[p];
     int qid = id[q];
     for (int i = 0; i < id.length; i++)
         if (id[i] == pid) id[i] = qid;
 }
}

这种方式的缺点很明显，在进行union操作的时候需要改变很多值，复杂度为O(n)，效率不够高。

QuickUnion(Lazy Approach)

id数组中的值对应的是节点的父节点的值。

代码如下：

public class QuickUnionUF
{
     private int[] id;
     public QuickUnionUF(int N)
     {
         id = new int[N];
         for (int i = 0; i < N; i++) id[i] = i;
     }
     private int root(int i)
     {
         while (i != id[i]) i = id[i];
         return i;
     }
     public boolean connected(int p, int q)
     {
         return root(p) == root(q);
     }
     public void union(int p, int q)
     {
         int i = root(p);
         int j = root(q);
         id[i] = j;
     }
}

同样，这种方法效率也不高，因为没有对建树的方式加以规定，很可能出现深度特别大的树。