什么是最小堆
最小堆从逻辑上可以理解为一个完全二叉树(如图a所示),最小堆的性质很简单,即除了根节点以外,所有的节点都要小于其左右子节点,而从物理存储上看,它是由数组的形式来存储的(如图b所示)。
最小堆可以应用于最小优先队列的构建以及堆排序算法的实现,后面我会继续更新最小优先队列的实现。
注意:数组下标是从1开始的。
要如何通过数组来体现二叉树的性质呢?我们通过观察可以发现运用数组的下标运算可以很容易找到父子节点之间的联系:
节点A[i]的父节点下标为i/2(取下界)
节点A[i]的左子节点下标为2i
节点A[i]的右子节点下标为2i+1
通过这样的联系我们就可以通过数组来构建二叉树,并利用二叉树的性质来构建最小堆。
构建最小堆
要实现最小堆,我们的思路是:自底向上,逐步调整二叉堆。即每次选中一个A[i]节点,然后将以A[i]节点作为根结点的最大子树调整为最小堆。因此我们需要实现以下两个函数:
MIN_HEAPIFY(A,i) #用于维护最小堆的性质
BUILD-MIN-HEAP(A)#用于建堆
MIN_HEAPITY的实现
MIN_HEAPITY的输入是数组A和下标i,其具体功能是将以A[i]作为根结点的子树调整为最小堆,其实现方法是利用递归。
递归过程:先从A[i]的左右子节点中选出最小的,记住其下标j,再将A[i]与A[j]交换数值。然后再次调用MIN_HEAPITY函数,以A数组和下标j作为输入,继续将以A[j]为根结点的最大子树调整为最小堆。
代码如下:
void MIN_HEAPITY(node A[n],int i){
//维护堆的性质</