13、数据结构中的堆、优先队列与排序算法详解

数据结构中的堆、优先队列与排序算法详解

1. 堆与优先队列基础

1.1 堆的定义与性质

堆是一种完全二叉树，其元素的键满足堆属性：从根到叶的任何路径上的键都是递减（即非递增）的。例如，在一个堆中，从根到叶的路径上的键可能呈现 77 ≥ 66 ≥ 44 ≥ 22 这样的递减顺序。堆可以类比为家族后代树，因为堆属性意味着每个父节点都比其子节点“年长”（键值更大）。

堆的两个主要应用是实现优先队列和堆排序算法。

1.2 堆与数组的自然映射

每个完全二叉树都可以自然地映射到一个数组中。通过对树进行层序遍历，可以得到这种映射。在得到的数组中，索引为 i 的元素的父节点位于索引 i/2 处，其子节点分别位于索引 2i 和 2i + 1 处。

例如，对于一个堆，元素 60 位于索引 i = 5 处，其父亲元素 66 位于索引 i/2 = 2 处，其子元素 58 和 25 分别位于索引 2i = 10 和 2i + 1 = 11 处。

这种自然映射是双向对应的。要将数组元素映射回完全二叉树，只需从根节点开始，按层序遍历依次为树节点编号，从 1 开始，然后将数组中索引为 i 的元素复制到编号为 i 的树节点中。如果得到的树具有堆属性，则称该数组也具有堆属性。

1.3 堆的插入与删除操作

插入操作

元素插入到堆中时，会添加到最底层最右侧叶子节点的旁边。然后，通过将新元素沿树向上渗透，直到它不再比其父节点“年长”（即其键值不大于父节点），来恢复堆属性。在每次迭代中，子节点会与其父节点交换位置。

例如，将键值 75 插入到一个堆中