【算法导论之三】大根堆堆排序

1. 堆的概念（默认为二叉堆）

    堆数据结构是一种数组对象，它可以被视为一棵完全二叉树。树中每个结点与数组中存放该结点的那个元素对应。树的每一层都是填满的，最后一层可能除外（最后一层从一个节点的左子树开始填）。

    二叉堆有两种：最大堆（大根堆）和最小堆（小根堆）。在这两种堆中，结点内的数值都要满足堆特性，其细节视堆的种类而定。在最大堆中，最大堆特性是指除了根以外的每个结点i，有：A[ PARENT(i) ] >= A[ i ]，即二叉树中的某个结点的值大于它的左右子树中结点的值。与之相反，小根堆特性是指除了根以外的每个节点，有：A[ PARENT(i) ] <= A[i]，即二叉树中的某个节点的值小于它左右子树中结点的值。 

2. 堆排序的优点

    堆排序像meger-sort（归并排序）而不像insertion-sort（插入排序），堆排序的运行时间为O(nlgn)；像insertion-sort（插入排序）而不像meger-sort（归并排序），它是一种原地排序（即：数组中只有常数个元素存储在输入数组以外）算法。

3. 堆排序关键子程序及思想分析

    1> max_heapify

         max_heapify是对最大堆进行操作的重要子程序。实际上它就是用来调整堆成为大根堆的子程序，它的作用范围仅为结点 i 以及它的左