4.5 实现堆队列操作

堆队列是一棵二叉树，并且拥有如下特点：它的父节点的值小于或等于它的任何子节点的值。如果采用数组来实现，可以把它们的关系表示为：heap[k] <= heap[2*k+1]和heap[k] <= heap[2*k+2]，对于所有k值都成立，k值从0开始计算。作为比较，可以认为不存的元素是无穷大的。堆队列有一个比较重要的特性，就是它的最小值元素是根元素：heap[0]。