STL 简单 binary heap 的实现

         我用VS2013写的程序（github ），queue版本的代码位于cghSTL/version/cghSTL-0.3.6.rar

         所谓binary heap就是一种完全二叉树，也就是说，整颗binary tree除了对底层的叶节点外，是填满的，而最底层的叶节点由左至右不能有空隙。

         完全二叉树内没有任何节点漏洞，这带来一个极大的好处：我们可以利用vector来存储所有节点。我们把vector的0号元素保留，那么当完全二叉树的某个节点位于vector的i处时，其左子树必然位于2i处，右子树必然位于2i + 1处，其父节点必然位于i / 2处。通过这么简单的规则，vector就能轻易实现完全二叉树。

         我们需要的工具很简单：一个array和一组heap算法（用来添加、删除元素，将某组数组排列成binary heap）。

         根据元素排列规则，heap分为max-heap和min-heap，前者每个节点的值大于等于子节点，后者每个节点的值小于等于子节点。我们接下来构建的是max-heap。

Binary heap的实现需要以下几个文件：

1.      globalConstruct.h，构造和析构函数文件，位于cghSTL/allocator/cghAllocator/

2.      cghAlloc.h，空间配置器文件，位于cghSTL/allocator/cghAllocator/

3.      cghHeap.h，cghHeap的实现，位于cghSTL/sequence containers/cghHeap/

4.      test_cghHeap.cpp，测试代码，位于cghSTL/test/

 

介绍两个核心算法：

      1.push_heap算法

         新加入的元素一定要放在最下层作为叶节点，并填补在从左至右的第一个空格处。为满足max-heap的条件（每个节点的值大于等于其子节点的值），我们要执行上溯（percolate up）程序：将新加入的节点拿来与其父节点比较，如果值比父节点大，就父子对换位置，一直上溯，直到不需要对换或直到跟节点为止。

2.pop_heap算法

         Pop操作取走根节点（max-heap中根节点值最大）。为了满足每个节点的值都大于子节点，我们需要执行下溯（percolate down）程序：割舍最下层最右边的叶节点，并将其值重新安插到max-heap中