堆排序和归并排序一样，时间复杂度为，而且可以实现原址排序：任何时候都只需要常数个额外的元素空间存储临时数据。

1. 堆及其相关操作

    (二叉)堆是一个数组，可以看成一个近似的完全二叉树。树上的每个节点对应数组中一个元素。除了最底层之外，该树是完全充满的，而且是从左到右填充。

堆排序