动态连通性问题——算法

    本文主要解决动态连通问题，在一群散列的点中快速判断两个点是否存在连通关系，并且能够将任意两个点相连。综合比较QuickFind、QuickUnion、加权QuickUnion、压缩路径的加权QuickUnion逐步提升优化。

概念

    触点：每个单独的不与任何点相连的点叫做触点

    连通分量：简称分量，不存在连接关系的触点和连通在一起的触点的集合都是连通分量

    等价关系：处于同一连通分量的触点为等价关系，即他们是连通的

基础类

    既然要解决连通和判断是否连通问题，那么先定义触点类和连通类

    触点父类，可自行继承扩展

public interface ILinkPoint {
    /** 关系，具有相同关系和触点属于同一个连通分量 */
    public int getRelation();
    public void setRelation(int relation);
    /** 实际应用中每个触点应该有个id来唯一表示此触点 */
    public long getId();

}

    连同算法的父类，find方法的意义在于查找触点的根节点，具有相同根节点的触点在同一个分量内

/**
 * 连通方法父类
 * 为了不重复定义count变量，所以这里用抽象类，也可以定义为借口
 */
public abstract class AbstractUnionFind {
    /** 连接分量的个数 */
    protected int count;

    /** 构造方法 */
    public AbstractUnionFind(List<ILinkPoint> points){
        this.count = points.size();
    }

    /** 查找连同分量的根节点 */
    public abstract ILinkPoint find(int point);

    /** 连接两个触点 */
    public abstract void union(int p1, int  p2);

    /** 判断两个触点是否相连 */
    public abstract boolean connected(int p1, int  p2);

    /** 连通分量的个数 */
    public int getCount() {
        return count;
    }
}

 

那么问题就变成了如何实现AbstractUnionFind 的find、union、connected方法，并且效率较高

QuickFind

    首先我们用一个数组结构存储散列的触点，ILinkPoint[]，初始状态下为将ILinkPoint的relation设置为数组下标，这样每个触点的relation都不相等，也就是说每个连通分量的触点个数都是1

    QuickFind直译快速查找，在find方法的实现中，以复杂度为1的代价获取到触点的根节点，先看下面的实现

public class QuickFind extends AbstractUnionFind {
    private ILinkPoint[] elements;

    public QuickFind(List<ILinkPoint> points){
        super(points);

        elements = new ILinkPoint[points.size()];

        for(int i=0; i<points.size(