堆排序

堆

堆是一种数据结构，具有两个特点：

（1）完全二叉树

（2）父节点的值  >  子节点的值

完全二叉树

完全二叉树是由满二叉树而引出来的。

对于深度为K的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。

普通的完全二叉树，如果父、子节点的值大小没有顺序，那么可以通过 heapify 操作（交换父、子节点的值，保证每个父节点都大于子节点的值）将其转换成堆结构，从 h - 1 层（倒数第二层）开始进行转换。

如果所有的父节点都大于子节点则成为大顶堆，如果所有的父节点值都小于子节点则成为小顶堆。

我们对堆中的结点按层进行编号，将这种逻辑结构映射到数组中就是下面这个样子：

该数组从逻辑上讲就是一个堆结构，我们用简单的公式来描述一下堆的定义就是：

大顶堆：arr[i] >= arr[2i+1] && arr[i] >= arr[2i+2]  

小顶堆：arr[i] <= arr[2i+1] && arr[i] <= arr[2i+2]

 

heapify

将无序数列转换成堆结构

build_heap 使整个无序数列变成大顶堆结构。

交换首、尾元素，此时将可能破坏堆结构；

再次heapify整个树；再次交换首、尾元素，循环执行。

参考：

https://www.bilibili.com/video/BV1Eb41147dK?from=search&seid=12516447733129337878

https://www.cnblogs.com/chengxiao/p/6129630.html