堆排序

堆排序是一种时间复杂度为$O(n log_2n)$的排序算法，是基于堆这种数据结构实现的。因此，我们需要先了解什么叫堆，然后才能够更清楚地知道堆排序。

堆的相关知识

1. 堆的定义

以下堆的定义摘自《数据结构-C语言描述》（第三版）西安电子科技大学出版社。

一个大小为n的堆（heap）是一颗包含n个节点的完全二叉树，该树中每个节点的关键字值大于等于双亲节点的关键字值。完全二叉树的根称为堆顶，它的关键字值是最小的，这样定义的堆称为最小堆（MinHeap）。我们可以用类似的方式定义最大堆（MaxHeap）。

由于堆是一个完全二叉树，因此，当它采用顺序方式存储时，存在以下关系：（最小堆）$k_i≤k_{2i}$且 ki≤k