【玩转二叉树②】堆的C语言实现（动图演绎）

一、堆的基本介绍

①基本概念:
 所有元素按完全二叉树的顺序存储方式存储在一个一维数组中。也就是说在物理结构上是以数组的形式存储，而在逻辑结构上是以二叉树的方式使用

②分类：

• 父节点的元素值都小于子节点元素值 → 小根堆
• 父结点的元素值都大于子节点元素值 → 大根堆
  

③性质：
 堆是一种完全二叉树，具有完全二叉树的性质

二、堆的C语言实现

①堆的结构体定义

②堆的初始化

③堆的销毁

④堆元素的插入

1.如何插入？
【答】我们首先将新来的元素插入到数组的末尾。但是这只是物理结构上的插入，我们还要再逻辑结构上保证它是一个堆。即父节点都大于（或者小于）子字节的逻辑条件。因此插入元素之后我们还需要一个 “上浮” 操作。来看看用代码实现上述过程（我们来实现大根堆，小根堆变个符号即可）：

 
2.插入函数的实现：

 
3.上浮过程图解：

【关键点分析】
与父节点比较交换来维持堆的逻辑结构
 
4.上浮函数实现：

【关键点剖析】

1. 父节点与孩子结点的下标关系详情参见前一篇博客 树的基本知识和重要性质
2. 上浮停止有两种情况：
   ①孩子结点小于父节点，此时满足堆的逻辑结构，break;
   ②一直交换到根节点，表现为child == 0
    

5.上浮操作时间复杂符分析：
 最坏的情况是从底上浮到根节点，交换的次数就是树的深度即O(logn)

⑤堆元素的删除

1.如何删除？
【答】可以直接把数组往前移一位来覆盖堆顶的元素吗？不可以!
 且不说它O(n)的时间复杂度，虽然从物理结构上讲堆顶的元素删除了，但是却破坏了堆的逻辑结构，父节点与子节点的下标关系被破坏。
 正确的做法是将数组末尾的元素与堆顶的元素进行交换，这样只要对堆顶的一个元素进行“下沉” 操作即可在删除堆顶元素的基础上又不破坏逻辑结构

 
2.删除函数的实现：

3.下沉过程图解：

【关键点分析】

1. 将数组末尾元素和堆顶的元素进行交换
2. 对堆顶的元素进行“下沉”操作

4.下沉函数实现：

【关键点剖析】

1. 因为要创建大根堆，所以在父节点需要与左右孩子结点的较大值进行比较。当然右孩子有可能不存在，所以首先要进行范围判断
2. 下沉停止的两种情况：
   ①父节点比两个子节点都大，则符合堆的逻辑结构，交换停止
   ②child结点超出数组范围，说明没有孩子结点了。交换停止

5.下沉复杂度分析
同上分析，算法的时间复杂度为O(logn)

三、初步实现堆排序

有了上面的函数接口我们可以初步实现堆排序：

【关键点分析】

1. 首先将数组中的每个元素压入堆中
2. 将堆顶的元素（即最大值）弹出，再将堆顶元素删除，由此通过大根堆实现降序

【问题反思】

1. 需要O(n)的额外空间复杂度
2. 如果每次堆排序都要写这么多接口谁顶的住呢?
    

在下一期中我们会给出堆排序的优化版