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 以及它的左