数据结构 —— 堆（摘自严蔚敏《数据结构》）

堆是一颗完全二叉树，并且是完全二叉树中所有非终端节点的值均不大于（或不小于）其左、右孩子节点的值。

堆的性质： 第一个元素总是最大或者最小    可以在对数时间内增加或者删除一个元素

若在输出堆顶元素之后，使得剩余的n-1个元素的序列又重新建成一个堆，则得到n个元素中的次小值。如此反复，边能得到一个有序序列，这个过程称之为堆排序。

实现堆排序需要解决两个问题：（1）如何由一个无序序列建成一个堆（2）如何在输出堆顶元素之后，调整剩余的元素为一个新的堆？

举例说明：