二叉堆

二叉堆的定义

二叉堆是一种完全二叉树(complete binary tree)，满足条件：
所有非叶子节点至多拥有两个儿子结点
两个结点的左子树和右子树都是一个二叉堆（最大堆或者最小堆）
当父结点的键值总是大于或等于任何一个子结点的键值时为最大堆（max-heap）； 当父结点的键值总是小于或等于任何一个子结点的键值时为最小堆（max-heap）。一般将二叉堆简称为堆（heap）。

heap的存储

因为完全二叉树整棵树内没有任何结点漏洞，这带来一个好处：可以利用数组来存储所有结点，知道某个结点的索引，必然知道其父结点、左右子结点的索引位置。这种通过数组表述树的方式，称为隐式表达法（引述自 侯杰—《STL源码剖析》 4.7节）。

对于idx结点处的父结点下标为（idx-1）/2，它的左右子结点下标分别为2*idx +1和 2*idx+2。这样一个array和一组heap算法（用来插入元素、删除元素、取极值、将某一整组数据排列成一个heap）

heap的操作（插入、删除、堆排序、初始化堆）

heap插入

每次插入都是将新数据放在数组最后。可以发现从这个新数据的父结点到根结点必然为一个有序的数列。那新的元素是否合适现有的位置呢？为满足min-heap（每个结点的键值都小于或者等于其子结点的键值），需要执行一个所谓precolate up（上溯）过程：将新结点拿来与其父结点比较࿰