优先队列(堆) - C语言实现（摘自数据结构与算法分析 C语言描述）

一、概述

　　优先队列（堆）是允许至少下列两种操作的数据结构：Insert（插入），它的工作显而易见的，以及DeleteMin（删除最小者），它的工作是找出、返回和删除优先队列中最小的元素。

　　如同大多数数据结构那样，有时可能要添加一些操作，但这些添加的操作属于扩展的操作，而不属于图1所描述的基本模型。

图1 优先队列的基本模型

　　使操作被快速执行的性质是堆序（heap order）性，由于我们想要快速地找到最小元因此最小元应该在根上。应用这个逻辑我们得到堆序性质。在一个堆中，对于每一个节点X，X的父亲中的关键字小于（或等于）X中的关键字（这种堆叫做最小堆），根节点除外（它没有父亲）。图2中左边的树是一个堆，但是，右边的树则不是（虚线表示堆序性质被破坏）。

图2 两棵完全二叉树（只有左边的树是堆）

　　无论从概念上还是实际上考虑，执行这两种所要求的操作都是容易的，只需始终保持堆序性质。

二、实现