《Thinking In Algorithm》11.堆结构之二叉堆

堆的变体：

• 二叉堆

• 二项堆

• 斐波那契堆

之前有篇博客（操作系统中堆和栈的区别）讲的是操作系统中的堆，顺带提了下数据结构中的堆。觉得比较简单就没详细讲解，不过这几天看排序算法看到堆排序时，感觉对堆都不怎么熟悉，有些细节问题没注意到。所以说不要小看任何一个知识点。而且经过细看才发现堆其实有很多精妙之处，怪不得很多算法都靠它来实现，如堆排序，Dijkstra算法。

而且堆有许多变体，如二叉堆，二项堆，斐波那契堆。这些我在之后的博客中会一次讲到。

首先我们来简单介绍下最原始的堆。

堆的定义：a heap is a specialized tree-based data structure that satisfies the heap property: If A is a parent node of B then the key of node A is ordered with respect to the key of node B with the same ordering applying across the heap. 

1. 什么是二叉堆？

----------------------------------------------------

一句话概括：二叉堆就是一种满足堆的两个特性的一颗完全二叉树。也叫优先队列

那么是满足哪两个呢？

1. 树是一颗完全二叉树。（除了最后一层可能不饱和，其他都饱和，且最后一层节点是从左往右排满）
2. 父节点要小于等于或者大于等于子节点（根据堆的定义来确定是大于等于还是小于等于）

父节点比子节点大的称为最大堆：

Example of a complete binary max heap

父节点比子节点小的为最小堆：