数据结构---二叉堆

二叉堆(也成为堆)是一棵被完全填满的二叉树，有可能的例外实在底层，底层上的元素从左到右填入。这样的树称为完全二叉树。它可以用一个数组表示而不需要使用链。

对于数组中任一位置i上的元素，其左儿子在位置2i上，右儿子在左儿子后的单元(2i+1)中，它的父亲则在位置[i/2]上所以遍历该树所需要的操作极其简单。

堆序性质：任意节点小于它的所有后裔，也就是说最小元总可以在根处找到(即最小堆)

insert操作

为了将一个元素X插入到堆中：

1. 我们在下一个可用位置创造一个空穴。如果X可以放在该空穴中而并不破坏堆的序，那么插入完成，否则 2.
2. 把空穴的父节点上的元素移入该空穴，这样空穴就朝着根的方向上冒一步。继续该过程直到X能被放入空穴中为止。

这种策略一般叫做上滤

public void insert(AnyType x){
    if(currentSize == array.length - 1)
        //如果堆的大小不够了就重新分配大小
        enlargeArray(array.length * 2 + 1);

    int hole = ++currentSize;
    //判断条件for循环中
    for(array[0] = x; x.compareTo(array[hole / 2]) < 0; hole /= 2)
        array[hole] = array[hole / 2];
    array[hole] = x;
}

deleteMin

找出最小元是容易的，困难之处是删除它。

1. 在最小堆中删除最小元后就会在根节点建立一个空穴。由于现在堆少了一个元素，因此堆中最后一个元素X必须移动到该堆的某个地方
2. 将空穴的两个儿子中较小者移入空穴，这样就把空穴向下推了一层。重复该步骤直到X可以被放入空穴中。
3. 将X置入沿着从根开始包含最小儿子的一条路径上的一个正确的位置

这种操作叫做下滤

public AnyType deleteMin(){
    if(isEmpty()){
        throw new UnderflowException();
    }
    AnyType minItem = findMin();
    array[1] = array[currentSize--];
    percolateDown(1);

    return minItem;
}

//下滤
private void percolateDown(int hole){
    int child;
    AnyType tmp = array[hole];

    for(; hole * 2 <=currentSize; hole = child){
        child = hold * 2;
        //(child != currentSize)保证有两个子节点
        //同时判断哪一个子节点可以上移
        if(child != currentSize && 
                array[child + 1].compareTo(array[child]) < 0)
            child++;
        //对复合条件的子节点进行上移
        if(array[child].compareTo(tmp) < 0)
            array[hole] = array[child];
        else
            break;
    }
    array[hole] = tmp;
}

buildHeap

有时二叉堆是由一些项的初始集合构而得。这种构造方法以N项作为输入，并把它们放到一个堆中。

public BinaryHeap(AnyType[] items){
    currentSize = items.length;
    array = (AnyType[]) new Comparable[(currentSize + 2) * 11 / 10];
    int i = 1;
    for(AnyType item : items)
        array[i++] = item;
    buildHeap();
}

private void buildHeap(){
    for(int i = currentSize / 2; i > 0; i--)
        percolateDown(i);
}