堆

堆

堆通常是一个可以被看做一棵树的数组对象。堆总是满足下列性质：
堆中某个节点的值总是不大于或不小于其父节点的值；
堆总是一棵完全二叉树。
将根节点最大的堆叫做最大堆或大根堆，根节点最小的堆叫做最小堆或小根堆。常见的堆有二叉堆、斐波那契堆等。
堆的定义如下：n个元素的序列{k1,k2,ki,…,kn}当且仅当满足下关系时，称之为堆。
(ki <= k2i,ki <= k2i+1)或者(ki >= k2i,ki >= k2i+1), (i = 1,2,3,4…n/2)
若将和此次序列对应的一维数组（即以一维数组作此序列的存储结构）看成是一个完全二叉树，则堆的含义表明，完全二叉树中所有非终端结点的值均不大于（或不小于）其左、右孩子结点的值。由此，若序列{k1,k2,…,kn}是堆，则堆顶元素（或完全二叉树的根）必为序列中n个元素的最小值（或最大值）。

堆的一般操作进行一次的时间复杂度在O(1)~O(logn)之间
　　

1、堆的插入

void push(int value)
{   
    Heap[size] = value;    //一开始元素接在堆的最后面  
    int current = size;      //表示当前遍历到的节点  
    int father = (current-1) / 2;    //表示当前遍历到的堆中元素父亲节点的下标  
    while(current > 0 && Heap[current] < Heap[father]){  
        swap(Heap[current],Heap[father]);       //表示此时节点"上溢",当前节点与其父节点对换.  
        current = father;  
        father = (current-1) / 2;     //继续向上遍历  
    }  
    ++size;  
}  

2、堆的删除

void pop(){  
    Heap[0] = Heap[--size];     /*首先将最后一个元素替换堆顶元素,这样的话堆顶元素则被删除 
                                 *然后再是size减一表示堆中元素数目减一 
                                 */  
    int current = 0;            //当前遍历到的节点的下标  
    int lchild = current*2 + 1,rchild = current*2 + 2;  //当前遍历到的节点的左孩子和右孩子节点的下标  
    while(lchild < size && min(Heap[lchild],Heap[rchild]) < Heap[current]){  
        if(Heap[lchild] < Heap[rchild]){  
            swap(Heap[lchild],Heap[current]);  
            current = lchild;       //"下溢"的过程  
        }  
        else{  
            swap(Heap[rchild],Heap[current]);  
            current = rchild;  
        }  
        lchild = current*2 + 1;  
        rchild = current*2 + 2;  
    }  

}  

3、堆排序

typedef SqList HeapType;        //堆采用顺序表存储表示；

void HeapAdjust (HeapType &H, int s, int m)
{
    rc = H.r[s];
    for( j = 2 *s; j<= m; j*= 2){
        if( j < m && LT(H.r[j].key, H.t[j + 1].key) )
            ++j;
        if( !LT(rc.key, H.r[j].key) )
        break;
        H.r[s] = H.r[j];
        s = j;
    }
    h.r[s] = rc;
}

void HeapSprt (HeapType &H)
{
    for ( i = H.length / 2; i > 0; - - i)
        HeapAdjust ( H, i, H.length);
    for ( i = H.length; i > 1; - - i){
        H.r[ i + 1] = H.r[ i ];
        H.r[ i ] = H.r[1];
        H.r[1] = H.r[ i + 1];
    }
}