算法导论学习之堆+堆排序+堆构成优先队列

注：堆分为最大堆和最小堆两种，下面我们讨论的堆都是指的最大堆，最小堆的性质与其是类似的。

堆数据结构是一种数组对象，可以被视为一棵完全二叉树(这棵二叉树除最后一层外，其余每层都是填满的)；我们用一个数组来存储一个堆，表示堆的数组有两个属性：length[A]表示的是数组中的元素个数，headsize[A]表示堆中元素个数(也就是说数组中的元素不一定都是堆中的元素)。
下面不加证明的给出一些堆的性质：
对于任何一个节点,其父节点为i/2(i>1)；左儿子:2*i,右儿子：2*i+1;
对于最大堆每个节点满足：A[parent[i]]>=A[i]
含n个元素堆的高度为lgn
含n个元素堆的叶子节点的编号为:n/2+1,n/2+2,……,n。

一.堆的调整函数—保持堆的性质
考虑这样一种情况，如果对于节点i，其左右子树都是一个合法的大根堆，但是节点i不满足堆的性质，那么我们可以通过调整使得以i为根节点的树满足堆的性质。那么具体的调整过程是怎样的呢？我们令largest表示A[i],A[i*2],A[2*i+1]中最大的那个，如果largest不是i那么我们就交换A[i]和A[largest]并且递归的进入到以largest为根节点的子树中继续进行调整。具体的代码实现如下：

void MaxHeadfly(int *a,int i,int HeadSize)
{  ///堆调整函数：调整以i为根的子树,使得其符合大根堆的特性(在其左右子树都是合法的大根堆的情况下)
  ///最大堆调整函数是堆排序中最重要的函数，是后面几个函数的重要组成部分；
 ///其主要思想是：先是调整根节点然后递归的调整受影响的左(右)子树，直到叶子节点

        int l=2*i,r=2*i+1; ///取出节点i的左右儿子节点的编号
        int largest;  ///记录最大值的节点编号
        if(a[i]<a[l]&&l<=HeadSize)
            largest=l;
        else
            largest=i;
       if(a[largest]<a[r]&&r<=HeadSize)
            largest=r;
        if(largest!=i)
        {
  ///递归调整受影响的子树
                swp(a[i],a[largest]);
                MaxHeadfly(a,largest,HeadSize);
        }
}

二.堆的建立
堆的建立其实就是一个不断调用调整函数的过程。我们知道堆的叶子节点可以看成只含有一个元素合法的大根堆，这样如果我们从第一个非叶子节点开始依次调用调整函数，就可以保证被调整的节点的左右子树都是合法的大根堆，进而可以保证调整得到的树也是合法的大根堆。具体的代码实现如下：

void BuildMaxHead(int *a,int n)
{ ///最大堆建立函数：通过对数组元素有序的进行调整，使得数组成为一个大根堆
  ///由完全二叉树的性质：含n个元素的堆，其叶子节点编号为n/2+1,n/2+2。。。n;
  ///对于叶子节点可以看成合法的单个元素的大根堆，由MaxHeadfly函数的性质可以知道
  ///如果节点i不满足大根堆的性质，但是其左右子树都是合法的大根堆，那么调用MaxHeadfly