数据结构之树——详细理解二叉堆，完全二叉树，和O（N）构造二叉堆的方法

complete binary tree 完全二叉树

1） 第0层到第h - 1层是满的

2） 最后一层是从左边开始排的。 as far left as possible

优先队列的实现：二叉堆

二叉堆

二叉堆是 1）完全二叉树 2）每一个节点都有一个对应的值（key）3）如果u是一个中间节点，则u比所有它的儿子节点都小。也就是说， 2）表示树T有n个节点，3）表示u的值是以u为根的子树中的最小值。

一个序列对应的二叉堆不是唯一的。但这个堆的根是这个堆的最小值。

插入：O（log N）shift up 操作

1） 首先把新加入的节点设为u，放在叶子层的最右边，如果叶子层满了就放到下一层。

2） 然后去比较u的值和它的父亲fa的值，如果u的值小于fa的值，就交换节点u 和节点fa

3） 重复步骤2），直到不能交换为止，此时的这个序列又对应了一个符合条件的二叉堆。

删除最小值：O（log N）shift down操作

1）输出最小值，把最小值节点和叶子层最右边的节点u交换。

2）比较u的值和u的左右两个孩子中最小值的值，如果孩子中有更小的值就交换。

3）重复步骤2），直到不能交换为止。

注意到这其中都涉及一个问题，如何找到叶子层最右边的节点？

注意到其实这里有一个隐形条件：给定二叉堆的节点总数n。

于是一切变得简单了起来。

1） 把n写成一个01串的二进制形式。

2）从最高位开始（最左边是最高位），跳过第一个1，然后遇到0往左走，遇到1往右走。走完这个01串就走到了叶子层最右边的节点。

整个过程事件复杂度是O（log N）

空间复杂度：O （N）

对于完全二叉树来说，设一个节点为u，则它的左儿子为2u，右儿子为2u+1，这样空间利用是最小的。

问：给定一个没有顺序的数组，然后排成一个二叉堆的结构所需要的时间复杂度最小是多少？

O（N），如果对每个元素执行add操作，则时间复杂度是O（NlogN）。

更优解：依次从最后一个非叶子节点到根节点挨个做shift down 操作。相当于每次保证从当前层往下的节点都是满足条件的。这样的话来考虑每一层，倒数第一层（叶子层）有n/2个节点，倒数第k层有n/2^k 个节点，每一层的节点最多被下放到最后一层，也就是k次，因此总共的时间就是
$$n(\frac{k}{2^k}+\frac{k-1}{2^{k-1}}+...+\frac{1}{2})$$

计算发现也就是O（N）