堆维护

堆排序中，指的是最大堆排序，而最小堆是用于优先队列的。
最大堆排序：可以把堆看做是完全二叉树，不过其父节点的值大于自己点。一般使用数组来实现堆排序。堆维护就是通过算法使数组始终满足堆的条件。代码如下：

void Insert::MaxHeapIFY(int A[],int local,int total)//堆维护
{
    int total=14;//临时测试用的数组长度值
    int left_child=(local+1)*2-1;//因为是从0开始计数，所以计算公式有2i变为此公式
    //此处可以让A[0]为一个无穷大的值，这样就可以满足left = 2i,right = 2i+1。
    int right_child=(local+1)*2;
    int largest=local;
    if(left_child<total && A[local] < A[left_child])
    {
        largest=left_child;
    }   
    if(right_child<total && A[largest] < A[right_child])
    {
        largest=right_child;
    }
    if(largest!=local)
    {
        int temp=A[local];
        A[local]=A[largest];
        A[largest]=temp;
        MaxHeapIFY(A,largest);
    }
}

其原理是：对于任意给定的一个节点，使他和其两个子节点相比较，把元素值大的放到父节点位置，如果调换了顺序，则要继续递归，看把原来父节点调换为子节点以后，该子节点是否满足堆的性质，如果不满足，就递归，知道满足以后，退出递归。其运行时间为：
T(n)<=T(2n/3)+O(1);
根据主方法可知，其时间复杂度为O（lgn）;
备注：int total=sizeof(A)/sizeof(int);求不出元素的值，只能在主函数中得到。所以调用数组到函数中时，要将其长度一同传进去。