二叉堆

堆结构定义

       堆是一种树型结构，对于堆结构来说，堆的每一个节点的元素都要大于（或小于）其所有子节点的元素，满足这一条件的树被称为堆。若每个节点元素大于其所有子节点的元素，则这个堆被称为大根堆（最大堆），反之若每个节点元素小于其所有子节点的元素，则被称为小根堆（最小堆）。

       二叉堆是每个节点最多只有两个子节点的堆，它可以被看成一个近似地完全二叉树，可以用数组表示。二叉堆除了最底层外，该树是完全充满的，而且是从左向右填充。如图所示，左边是一个大根堆的树型表示，右边是数组表示。

 

       在数组实现二叉堆中，我们用长度为N+1的数组来表示一个大小为N的二叉堆，数组的第一个元素（即下标为0的元素）不会被使用，堆元素存放在数组下标为1~N的地方。在一个二叉堆中，位置k的节点的父节点的位置为[k/2]，而它的两个子节点的位置则分别为2k和2k+1。
       大根堆通常在堆排序中被使用，小根堆则通常用于构造优先队列。维护一个堆结构需要建堆和堆有序化两个基本步骤。

 

堆有序化（HEAPIFY）

 

       堆有序化是维护一个堆