1、堆   一棵完全二叉树

     大顶堆：所有非叶子节点元素均不小于其左右子树根节点的值

     小顶堆：所有非叶子节点元素均不大于其左右子树根节点的值

2、 初始化堆

    ①一组无序元素R[0, 1, ..., n - 1]， 先按照顺序将该组无序元素构造为一棵完全二叉树

    ②从该二叉树的第一个非叶子结点开始调整，然后调整前一个结点（一定是非叶子结点），依次直到调整完根节点

    ③上一步一遍完成后，再来一遍，直到该完全二叉树符合一个堆的定义为止

    测试数据：R[] = {16, 7, 3, 20, 17, 8}， 本组测试数据中，最后一个非叶子结点为值为3的点

3、调整堆

     第二步完成后，二叉树符合一个堆的定义，如下图

    步骤：

    将符合堆定义的上图中最后一个元素 与 堆顶元素互换， 此时集合 { R[n - 1] }有序， 剩下的无序序列为{ R[0, ..., n - 2] }

    互换后，如果堆顶元素不符合堆的定义，则对齐进行调整：此父结点 与 左右子树根节点中 大的那个 互换， 再调整其他不符合堆定义的元素

    当{ R[0, ..., n - 2] }中元素都符合堆定义的时候，将最后一个元素(即 R[n - 2])与堆顶元素互换， 此时 集合{ R[n - 2], R[n - 1] }有序，

    重复上述过程

具体如下

    ①将二叉树的最后一个结点(图中值为3的点) 与 堆顶元素 互换位置， 此时 集合 {20}有序

  ② 堆顶元素3不符合堆定义，调整

③此时元素3 不符合堆定义， 调整

④二叉树满足堆的定义后，将无序序列中最后一个元素(这里应该是值为3的元素)  与 堆顶元素 互换

⑤此时的有序序列为 {17, 20}， 此时堆顶元素3不满足堆定义，调整

⑥此时 元素3 不满足堆定义，调整

⑦此时除有序序列{17, 20}以外，其余元素满足堆定义， 将无序序列中最后一个结点(这里是值为3的元素) 与 堆顶元素 互换

⑧此时 有序序列为{16, 17, 20}， 堆顶元素3不满足堆定义， 调整

⑨此时除有序序列{16, 17, 20}以外，剩余无序序列满足堆定义， 将无序序列中最后一个元素（值为3的元素）  与  堆顶元素 互换

⑩此时有序序列为 {8, 16,17, 20}， 堆顶元素3不满足堆定义， 调整

⑾此时除有序序列{8, 16, 17, 20}以外， 剩余元素满足堆定义， 将无序序列中最后一个元素（值为3的元素） 与 堆顶 互换

⑿此时有序序列为{7, 8, 16, 17, 20}， 无序序列中只剩一个元素， 调整完毕，如下

完毕。

  参考文献：http://www.cnblogs.com/dolphin0520/archive/2011/10/06/2199741.html  感谢作者