优先队列（堆）

（堆）二叉堆

• 定义 : 堆是一棵被完全填满的二叉树，有可能的例外是在底层，底层上的元素从左到右填入。
• 堆序性质 : 任意节点应该小于它的所有后裔。
• 时间复杂度 : 查找最小值的时间为常数O(1)
• 完全二叉树的数组实现 : 对于任一位置i上的元素，其左儿子在位置2i上，右儿子在左儿子后的单元(2i+1)中，它的父亲在位置i/2向下取整上。只是最大的堆大小要事先估计。
• 基本操作 : insert(插入，采用上滤操作),deleteMin(删除最小元，根节点，采用下滤操作)
• 区分 ： 最小堆（根元素为最小值），最大堆（根元素为最大值）

堆的推广

• d-堆 : 是二叉堆的简单推广，它就像一个二叉堆，只是所有的节点都有d个儿子。
• 左式堆 : 左式堆不是理想平衡的，而实际上趋向于非常不平衡。解决堆的merge问题，相同的还有斜堆和二项队列。
  * 零路径长null path length：从X到一个不具有两个儿子的节点的最短路径的长
  * 对于堆中的每一个节点X，左儿子的零路径长至少与右儿子的零路径长相等。

标准库中的优先队列

• PriorityQueue : 操作add(insert),element(findMin),remove(deleteMin)