二叉堆数据结是一种简单的数据对象,它可以视为一棵完全二叉树,树中每个节点和数组存放在该节点值的元素相对应。
二叉堆有两种,最大堆和最小堆。最大堆,除了根结点的每个结点,其值最多和其父结点的值一样大。这样堆中的最大元素就存放在根结点中。
最小堆则相反,然而最小堆一般用在构造优先队列上。
堆可以被看成一棵树,节点在堆中的高度定义为从本结点到叶子的最长简单下降路径边的数目,定义堆的高度为树根的高度。
假设堆的存储地址是从下标为1处开始存储
MIN-HEAPIFY(A,i)
l<-LEFT(i)
r<-RIGHT(i)
if l<=heap-size[A] and A[l]<A[i]
then smallest<-l
else smallest<-i
if r<=heap-size[A] and A[r]<A[smallest]
then smallest<-r
if smallest!=i
then exchange A[i]<->A[smallest]
MIN-HEAPIFY(a,smallest)
用迭代的方法来实现MAX-HEAPIFY
MAX-HEAPIFY(A,i)
flag<-0
do
l<-LEFT(i)
r<-RIGHT(i)
if l>heap-size[A]
then break
if A[l]>A[i]
then largest<-l
else largest<-i
if r>heap-size[A] and largest!=i
then exchange(i,largest)
break
if A[r]>A[largest]
then largest<-r
if largest!=i
then exchange(i,largest)
i<-largest
flag<-1
else
flag<-0
while flag
建堆
BUILD-MAX_HEAP(A)
heap-size[A]<-length[A]
for i<-floor(length[A]/2) down-to 1
do MAX-HEAPIFY(A,i)
我们使用如下循环不变式
for循环的每一次迭代开始时,结点i+1,i+2,i+3等都是一个最大堆的根。
并且堆的叶子结点都是最大堆。
我们可以在线性时间内,将一个无序数组构建成一个最大堆。