优先队列ADT--二叉堆实现

        模型

        优先队列是允许至少下列两种操作的数据结构：Insert、DeleteMin（它的工作是找出、返回和删除优先队列中最小的元素）。Insert等价于Enqueue，DeleteMin则是队列中Dequeue的等价操作。如图大多数数据结构那样，有时可能要添加一些操作，但这些添加的操作属于扩展操作，而不属于基本模型。

        简单的实现

        一种是可以用简单链表实现，还有一种是使用二叉查找树，它对这两种操作的平均运行时间都是。记住我们删除的唯一元素是最小元。反复除去左子树中的节点似乎损害树的平衡，使得右子树加重。然而右子树是随机的。在最坏的情形（即DeleteMin将左子树删空的情形）下，右子树拥有的元素最多也就是它应具有的两倍。这只是在期望的深度上加了一个小常数。通过使用平衡树，可以把界变成最坏情形的界，这将防止坏的插入序列。使用查找树可能有些过分，因为它支持许许多多并不需要的操作。

        二叉堆

        我们常用二叉堆（binary heap）来实现优先队列，这里我们把二叉堆只叫作堆，如同二叉查找树一样，堆也有两个性质，结构性和堆序性

        结构性：堆是一棵被完全填满的二叉树，底层可能例外，底层上的元素从左到右填入。这样的树称为完全二叉树（complete binary tree）。因为完全二叉树很有规律，所以它可以用一个数组表示而不需要指针。位置i上的元素，其左儿子在2i上，右儿子在2i+1上，它的父亲在i/2上。数组将多声明一个位置0，后面将叙述原因。

        堆序性：最小元在根上，如果将任意子树也视为一个堆，那么任意节点就应该小于它的所有后裔。

        基本堆操作

        操作的时候要保证上述两个性质，策略是插入用上滤（percolate up），删除用下滤（percolate down）。

        类型声明：

#define MinPQSize (10)
#define MinData (INT_MIN)
typedef int ElementType;
typedef struct HeapStruct* PriorityQueue;

struct HeapStruct
{
	int capacity;
	int size;
	ElementType* elements;
};

        插入：

如果上滤到根，位置0处元素h->elements[0]是MinData最小数据，所以一定能让其停止循环，而且避免了每次循环都要进行的一次判断（是否上滤到根）。

void Insert(PriorityQueue h, ElementType x)
{
	if (h == NULL)
		return;

	int i;
	if (IsFull(h))
	{
		printf("Priority queue is full");
		return;
	}
	h->elements[++h->size] = x;

	for (i = h->size; h->elements[i / 2] > x; i /= 2)
		h->elements[i] = h->elements[i / 2];
	h->elements[i] = x;
}

         删除最小元（并返回）：

下滤的时候注意，不要假设节点总有两个儿子，如果N为偶数，就有一个节点只有一个儿子，18行中进行了这一项测试。如果child == h->size 说明就没有下一个节点了，因为是 2*i 赋值给child，child是左儿子的位置，而这个位置大小等于size的话说明堆满了，没有下一个节点。

ElementType DeleteMin(PriorityQueue h)
{
	if (h == NULL)
		return MinData;

	if (IsEmpty(h))
	{
		printf("Priority queue is empty");
		return h->elements[0];
	}
	int i, child;
	ElementType minElement, lastElement;
	minElement = h->elements[1];
	lastElement = h->elements[h->size--];
	for (i = 1; 2 * i < h->size; i = child)
	{
		child = 2 * i;
		if (child != h->size && h->elements[child + 1] < h->elements[child])
			child++;

		if (h->elements[child] < lastElement)
			h->elements[i] = h->elements[child];
		else
			break;
	}
	h->elements[i] = lastElement;
	return minElement;
}

        判断堆满或为空：

int IsFull(PriorityQueue h)
{
	return h->capacity == h->size;
}
int IsEmpty(PriorityQueue h)
{
	return h->size == 0;
}

        返回最小元与销毁：

ElementType FindMin(PriorityQueue h)
{
	if (h == NULL)
		return MinData;
	
	if (IsEmpty(h))
	{
		printf("Priority queue is empyt");
		return h->elements[0];
	}
	else
		return h->elements[1];
}
void Destroy(PriorityQueue h)
{
	if (h == NULL)
		return;
	else
	{
		free(h->elements);
		free(h);
	}
}