【每日算法】堆排序&优先队列

堆排序（heapsort）的运行时间为O(n logn)，是一种原地排序算法，是不稳定的排序算法。

堆

基本介绍

先直观感受一下，下面就是一个堆：

20 17 8 7 16 3

什么？？上面不就一个数组吗……？！

没错，（二叉）堆数据结构是一种数组对象。

不过，让我们用另外一种方式来看这个数组：

对于表示堆的数组arr[0…n-1]，我们以arr[0]为根，给定某个节点下标i，令其父节点和左右后代节点的下标为：

parent(i) = (i-1)/2;

left(i) = 2*i+1;

right(i) = 2*i+2;

（具体实现时，可用移位来实现乘以2和除以2）

于是，它可以看作一棵完全二叉树：

可是，这也只是一棵完全二叉树，有啥特别之处呢？

特点就是：除根节点以外的每个节点i，都有arr[ parent(i) ] >= arr[i]。

堆分为最大堆和最小堆，上面就是最大堆，最小堆的特点则是：除根节点以外的每个节点i，都有arr[ parent(i) ] <= arr[i]。

堆排序一般使用最大堆，最大堆中的最大元素位于根节点。

因为具有n个元素的堆是基于一颗完全二叉树的，所以其高度为O(log n)。

保持堆的性质

在清楚什么是最大堆之后，我们来谈一谈如何保持堆的性质，也就是说，如果堆中有节点不满足堆的性质，我们如何进行调整。

首先，我们假定以节点i的左右儿子为根的两棵二叉树都是最大堆，而以节点i为根的二叉树可能不是最大堆，则调整的过程如下：

1. 从元素arr[i], arr[left(i)], arr[right(i)]中找出最大的元素，将下标存在largest中；
2. 如果arr[i]是最大的，说明以节点i为根的二叉树是最大堆，无须调整，程序结束；否则，交换arr[i]和arr[largest]，于是arr[i], arr[left(i)], arr[right(i)]三者满足了最大堆的性质，但是交换后，下标为largest的节点存放arr[i]的值，以该节点为根的子树又可能违反最大堆的性质，因此需要对该子树递归调用本调整过程。

基于以上思想，我们用代码实现如下：