并查集的初级应用及进阶.docVIP

并查集的初级应用及进阶 并查集的初级应用及进阶 一、精华 精华提炼1： ?内容：并查集就是树的孩子表示法的应用。 ?解释：对于下图所示树，它的孩子表示法为： ??????? ??????????????????? ???????????? belg[5]=2, belg[6]=2, belg[7]=2; ???????????? belg[2]=1, belg[3]=1, belg[4]=1; ???????????? belg[1]=1(也可以=-1,只要能够识别它是根就可以) 精华提炼2： ?? 内容：并查集的孩子父亲表示法中，每个节点与其父亲节点可以添加一个关系属性(必须具有可传递性)。 ?? 解释：比如，节点表示一个人，关系属性为一个人的性别。我们先用上图来解释这个关系属性的应用，在后文具体展开。我们可以这样定义，如果节点i和其父节点j性别相同（belg[i]=j），则kind[i]=false, 反之，kind[i]=true，那么如果我们知道kind[5]=true，kind[2]=false，那么5和2的父节点1的关系为kind[5]^kind[2]=true，即他们性别不同。? ? 二、基础 基础1：集合表示 根据精华提炼1，我们把一颗树的节点集合看成以根节点命名的集合，那么上面的集合我们可以认为是集合1。 下图共有两个集合，分别为集合1，集合2。 ? ???????????? 基础2：元素关系 ??? 如何判断元素关系呢？其实，我们只需找出元素对应的集合名称，然后判断名称是否相同即可。寻找集合名称代码如下： ? int?Find(int?x){???while?(?belg[x]!=x?)???????x?=?belg[x];???return?x;} ? 例如：对于基础1中左图,有belg[5]=2，belg[2]=2。那么5属于集合2。 ??? 现在我们已经解决了元素关系问题。 基础3：集合合并 集合如何合并呢？基础2中，我们已经可以找到元素对应集合的名称（即根节点标号），如果元素u、v（u、v不在同一集合）对应的集合名称为_u、_v，那么语句belg[_u]=_v什么意思呢？想到了吧？就是把集合_u与集合_v合并，并且以_v命名。 ? 至此，通过基础部分我们知道了什么是并查集，通过精华提炼部分，我们知道了并查集的高级应用（精华提炼2）。 ? 三、优化 虽然我们已经知道了基础的并查集，但是大家有没有想过简单用上面介绍的集合合并可能造成集合（树）的退化。比如对只有一个元素的集合1到集合n进行下述操作：把集合1合并到集合2，把集合2合并到集合3，…… 把集合n-1合并到集合n，那么生成一个含有n各元素的集合n，它的结构如下： ? ? 那么，每次判断n所属集合都要n次操作，即复杂度为O(n)，这个耗费是不是必须的呢？其实不然。 优化1：路径压缩 对于上图退化的集合，它的表示是这样的：belg[n]=n-1， belg[n-1]=n-2， …… belg[2]=1， belg[1]=1； 既然上面元素都属于集合1，那么我们是不是可以这样做呢？belg[n]=1，belg[n-1]=1，……belg[2]=1，belg[1]=1；即把查找n所属集合时形成的路径上的点直接连到根节点上。可以的，因为这样操作只改变集合树的结构，并没有改变这个集合的元素。 关于路径压缩，可以在查找过程中实现，那么对于上述退化树，查找n第一次要n次操作，以后就只需一次操作。实现如下： 版本一：（递归） ? int?Find(int?x){??return?x==belg[x]?x:(belg[x]=Find(belg[x]));} ? 代码很短，递归次数多时，不建议使用。 版本二：（迭代） ? int?Find(int?x){????int?_b,?_x?=?x;????while?(?belg[_x]!=_x?)????????_x?=?belg[_x];??????????while?(?belg[x]!=x?)????{????????_b?=?belg[x];????????belg[x]?=?_x;????????x?=?_b;????}????return?_x;} ? ?????? 代码长点，但是少了递归过程，效率高点。 优化2：优化合并 ???? 合理的安排合并方式，可以防止退化，例如对于上述退化的例子，我们把元素少的集合合并到元素多的集合上。即集合2合并到集合1，集合3合并到集合1，……集合n合并到集合1，那么产生的树结构为： ? ? 不过这个优化代价也很大的，因为要对开一个整型数组来记录集合元素个数，然后，再集合i和集合j合并时，通过判断集合中元素个数来实现合并： ?