堆

堆

堆是线性数据结构，相当于一维数组，有唯一后继。通常是一个可以被看做一棵树的数组对象。

• 性质：

  • 堆中某个节点的值总是不大于或不小于其父节点的值；
  • 堆总是一棵完全二叉树。

将根节点最大的堆叫做最大堆或大根堆，根节点最小的堆叫做最小堆或小根堆。常见的堆有二叉堆、斐波那契堆等。

• 建立初始堆(来自https://jingyan.baidu.com/article/5225f26b057d5de6fa0908f3.html)

  给定一个整形数组a[]={16,7,3,20,17,8}，对其进行堆排序。

  1、首先根据该数组元素构建一个完全二叉树，得到
  

  2、然后需要构造初始堆，则从最后一个非叶节点开始调整建堆，自右向左，自下向上，调整过程如下：
  
  3、20和16交换后导致16不满足堆的性质，因此需重新调整
  

  4、这样就得到了初始堆。

• 堆排序

  堆排序建立在初始堆的基础上

  • 算法步骤如下：

    1、当前节点为最右未曾经过排序的叶子节点

    2、将该节点与根节点进行会换，即当前节点成为根节点，当前节点自底向上、自右向左移向下一个未曾经过排序的节点

    3、从根节点开始向下调整

    4、重复2、3，直到当前节点指向根节点。

    图解推荐链接：https://blog.csdn.net/u011068702/article/details/52767187

    从算法步骤可知，如果想排序结果为升序，则初始堆为大根堆，否则为小根堆

  • 排序后的数组中，根据二叉树的规律，若k为偶数，则第k个元素父节点为k/2，若k为奇数，则第k个元素父节点为（k-1）/2，在程序中，由于整形相除，商只保留整数部分，因此第k个元素父节点为k/2。

  • 如何判定某个序列是否为堆序列

  根据初始堆的定义，我们可以将序列按2^0,21,2^2,…,2n的个数对序列进行分段，对于每一段中的每个元素不大于(不小于)前一段的任意元素，不小于(不大于)后一段的任意元素。

• 堆插入

  由于堆是线性数据结构，相当于一维数组，而有序堆则是一维有序数组，那么，堆的插入相当于直接在该数组上实现插入排序。

• 堆删除

  堆删除只能删除堆顶元素，删除后将最后的叶子节点移动到根节点位置，自根节点开始自上向下调整。