堆（Heap）是一种特殊的树形数据结构，通常被实现为一个完全二叉树，以数组的形式存储。堆主要用于实现优先队列，它有两种基本形式：最大堆（Max Heap）和最小堆（Min Heap）。
特点
- 完全二叉树：堆在逻辑上是一个完全二叉树，这意味着除了最后一层外，每一层的节点都是满的，并且最后一层的节点都靠左排列。
- 数组存储：虽然堆在逻辑上表现为树状结构，但实际上是以数组形式存储的，这使得堆在内存中占用连续的空间，便于快速访问和高效利用内存。
- 排序性质：
- 最大堆：在最大堆中，对于任意节点 i，其值大于或等于其子节点的值。根节点的值是堆中所有节点的最大值。
- 最小堆：在最小堆中，对于任意节点 i，其值小于或等于其子节点的值。根节点的值是堆中所有节点的最小值。
基本操作
- 插入：将新元素加入堆中，通常从最后一个位置开始，然后向上调整（称为上浮或气泡上浮）以维持堆的性质。
- 删除：删除堆顶元素（最大堆中最大值或最小堆中最小值），然后将最后一个元素移动到堆顶，接着向下调整（称为下沉或气泡下沉）以重新满足堆的性质。
- 堆化：将一个无序数组转换为堆的过程。这通常通过自底向上地应用下沉操作完成，时间复杂度为O(n)。
应用
- 优先队列：堆是实现优先队列的常用数据结构，因为它支持高效的插入和删除最大（或最小）元素的操作。
- 堆排序：一种基于堆数据结构的排序算法，可以将一个数组转换为有序序列，时间复杂度为O(n log n)。
- 算法优化：在各种算法中，如Dijkstra最短路径算法、Prim最小生成树算法等，堆被用于优化关键步骤的性能。
堆的这些特性和操作使其成为解决涉及优先级问题的有效工具，特别是在需要频繁地查找、插入和删除最大或最小元素的场景中。在实际编程中，许多语言的库中都提供了堆的实现，比如C++ STL中的priority_queue，Python中的heapq模块等。