排序算法5——图解堆排序及其实现

排序算法1——图解冒泡排序及其实现（三种方法，基于模板及函数指针）
排序算法2——图解简单选择排序及其实现
排序算法3——图解直接插入排序以及折半（二分）插入排序及其实现
排序算法4——图解希尔排序及其实现
排序算法5——图解堆排序及其实现
排序算法6——图解归并排序及其递归与非递归实现
排序算法7——图解快速排序（两种主元选择方法）以及CUTOFF时间测试
排序算法8——图解表排序
排序算法9——图解桶排序及其实现
排序算法10——图解基数排序（次位优先法LSD和主位优先法MSD）
排序算法——比较与总结

---

堆的概念和性质

堆，是一种特殊的二叉树，每个子结点的值总是小于（或者大于）它的父结点，相应的分为最大堆和最小堆

堆，是一个完全二叉树，一般情况下堆排序都是用数组的方式实现

这里可以看到，若以0开始编号
大顶堆：arr[i] >= arr[2i+1] && arr[i] >= arr[2i+2]
小顶堆：arr[i] <= arr[2i+1] && arr[i] <= arr[2i+2]

下面的性质是最重要的：
若以0开始编号，对编号为 i 的结点，其左孩子为2i+1，右孩子为2i+2，二者相差为1
第一个非叶子结点编号为(int)(length/2)-1
最后一个结点的编号为length-1

堆排序的基本思想

利用最大堆（对应升序）或者最小堆（对应降序）输出堆顶元素，即最大值（或最小值），
然后将剩下元素重新生成最大堆（或者最小堆），继续输出堆顶元素，重复此过程直到全部元素都已输出即可得到有序序列

空间复杂度为O（N）的方法

额外开辟一个辅助的数组空间，将堆顶元素逐一放入辅助数组里，最后再把辅助数组的内容赋值回原始的数组

空间复杂度为O（1）的方法

这个方法的时间复杂度与前一种相同，都是O（NlogN），但是不需要额外的辅助数组，所以空间复杂度为O（1