四: 优先队列(堆)
优先队列(priority queue)是一种特殊的队列,它至少允许Insert(插入)以及DeleteMin(删除最小值)两种操作。我们可以使用一个简单链表来实现,在表头以O(1)执行插入操作,遍历链表以O(N)的时间删除最小元,删除操作花费时间过长。另一种实现优先队列的方法是使用二叉查找树,对这两种操作的平均时间都是O(log N)。一下讨论二叉堆实现优先队列。
二叉堆
结构性质
堆是一棵完全填满的二叉树,底层可能没有填满,底层的元素从左到右填入,这样的树被称为完全二叉树(complete binary tree)。
因为完全二叉树很有规律,所以它可以用一个数组表示,而不需要指针,如下图所示。
对于数组中任一位置i 上的元素,其左儿子在位置 2i 上,右儿子在左儿子后的(2i + 1)中,他们的父节点则在位置[ i / 2 ] 上。因此不仅这里不需要指针,而且遍历操作也很简单。唯一的问题是最大的堆的大小需要实现估计。优先队列的声明:
#ifndef _BinHeap_h
#define _BinHeap_h
struct HeapStruct;
typedef struct HeapStruct *PriorityQueue;
typedef int ElementType;
PriorityQueue Initialize (int MaxElements);
void Destroy(PriorityQueue H);
void MakeEmpty(PriorityQueue H);
void Insert(ElementType x,PriorityQueue H);
ElementType DeleteMin(PriorityQueue H);
ElementType FindMin(PriorityQueue H);
int IsEmpty(PriorityQueue H);
int IsFull(PriorityQueue H);
#endif /* _BinHeap_h */
/* Place in implementation file */
struct HeapStruct
{
int Capacity;
int Size;
ElementType *Elements;
};