堆排序时间复杂度分析

堆排序是一种基于比较的、非稳定的排序算法，它的核心思想是利用堆这种数据结构来实现。堆可以看作是一个完全二叉树，满足“大顶堆”或“小顶堆”的性质，即每个节点的值都大于或小于其子节点的值。

堆排序主要包括两个步骤：建堆和调整堆。首先，将待排序序列构建成一个最大堆（最小堆也可以，这取决于实际需求），此时序列的最大元素位于堆顶；然后，将堆顶元素（当前最大值）与最后一个元素交换，并减小堆的大小，接着对剩余元素重新调整堆使其保持堆的性质。这个过程重复直至整个序列有序。

时间复杂度分析如下：

1. **建堆阶段**：对于 n 个元素的堆，建堆的时间复杂度是 O(n)，因为需要从最后一个非叶子节点开始向上调整，总共需要调整 n/2 次。

2. **调整堆阶段**：每次调整都会将堆顶元素放到正确的位置，这是一个下沉操作，对于剩余 n-1 个元素需要重复此过程。由于每次调整只需要比较和交换操作，所以调整堆的时间复杂度是 O(logn)。整个排序过程中，调整堆的操作会重复 logn 次（因为每次都将堆的大小缩小一半）。

因此，堆排序的总时间复杂度是 O(n + logn)，其中 n 表示输入数组的长度。值得注意的是，平均和最坏情况下的时间复杂度都是 O(nlogn)，这是一种相对高效的排序算法，尤其是在处理大数据量时。