原创不易，转载请注明出处。欢迎点赞收藏~

堆排序（Heap Sort）是一种基于二叉堆数据结构的排序算法。它将待排序的元素构建成一个最大堆（或最小堆），然后逐步将堆顶元素与堆的最后一个元素交换位置，并重新调整堆，使得剩余未排序部分继续满足堆的性质。通过不断重复这个过程，最终将得到一个有序的序列。

具体步骤如下：
1. 构建初始堆：首先将待排序序列看作是完全二叉树，从最后一个非叶子节点开始，逐个向上调整节点，使得以每个节点为根的子树都满足堆的性质。
2. 排序：将堆顶元素与待排序序列的最后一个元素交换位置，然后将剩下的 n-1 个元素重新调整为堆。重复这个过程，直到堆中只剩下一个元素，即完成排序。

堆排序的关键操作是堆的调整，有两种方式可以实现：
1. 自顶向下调整（Down-Heapify）：从根节点开始，不断将根节点与其左右子节点中较大（或较小）的交换，直到满足堆的性质。
2. 自底向上调整（Up-Heapify）：从最后一个非叶子节点开始往上逐个调整，将每个节点与其左右子节点中较大（或较小）的交换，直到满足堆的性质。

堆排序的时间复杂度为O(nlogn)，其中n是待排序元素的个数。堆的构建过程需要O(n)的时间，每次调整堆的操作需要O(logn)的时间，共需要进行n-1次调整。所以总体时间复杂度是O(nlogn)。

堆排序的空间复杂度为O(1)，它是一种原地排序算法，不需要额外的存储空间。

堆排序具有以下特点：

稳定性：堆排序是一种不稳定的排序算法，即相同元素的相对位置可能会发生改变。
适应性：堆排序适用于大规模数据的排序，因为它的时间复杂度不会随数据规模增大而增加，且不需要额外的存储空间。
不适应性：堆排序不适用于小规模数据的排序，因为它的常数因子较大，且堆的构建过程需要较多的比较和交换操作。

需要注意的是，堆排序对于相同元素的排序可能会打乱它们的原始相对顺序，这是由于堆本身的性质所决定的。如果要保持相同元素的相对顺序不变，可以采用稳定的排序算法来代替堆排序。

以下是一个使用C语言实现堆排序的示例代码：

#include <stdio.h>// 交换两个元素的值
void swap(int *a, int *b)
{int temp = *a;*a = *b;*b = temp;
}// 调整最大堆，使根节点为最大值
void max_heapify(int arr[], int n, int i)
{int largest = i;       // 初始化最大值为根节点int left = 2 * i + 1;  // 左子节点索引int right = 2 * i + 2; // 右子节点索引// 如果左子节点大于根节点，更新最大值为左子节点if (left < n && arr[left] > arr[largest])largest = left;// 如果右子节点大于当前最大值，更新最大值为右子节点if (right < n && arr[right] > arr[largest])largest = right;// 如果最大值不是根节点，则交换根节点和最大值if (largest != i){swap(&arr[i], &arr[largest]);// 递归调整交换后的子树max_heapify(arr, n, largest);}
}// 堆排序函数
void heap_sort(int arr[], int n)
{// 构建最大堆（初始状态）for (int i = n / 2 - 1; i >= 0; i--)max_heapify(arr, n, i);// 逐个将堆顶元素移至末尾，并重新调整堆for (int i = n - 1; i > 0; i--){// 将堆顶元素（最大值）与当前未排序部分的最后一个元素交换swap(&arr[0], &arr[i]);// 对剩余元素进行调整，使其满足最大堆性质max_heapify(arr, i, 0);}
}int main()
{int arr[] = {12, 11, 13, 5, 6, 7};int n = sizeof(arr) / sizeof(arr[0]);printf("排序前的数组：\n");for (int i = 0; i < n; i++){printf("%d ", arr[i]);}heap_sort(arr, n);printf("\n排序后的数组: \n");for (int i = 0; i < n; i++){printf("%d ", arr[i]);}putchar('\n');return 0;
}

这个示例中实现了堆排序算法。代码首先定义了两个辅助函数：swap用于交换两个元素的值，max_heapify用于调整最大堆。

max_heapify函数接收一个数组、堆的大小n和要调整的节点索引i作为参数。该函数首先将最大值初始化为当前节点（根节点），然后比较左子节点和右子节点的值，更新最大值。如果最大值不是根节点，则将其与根节点交换，并递归调用max_heapify来保持堆的性质。

heap_sort函数首先构建最大堆（通过循环调用max_heapify），然后逐个将堆顶元素（最大值）移动到未排序部分的末尾，并重新调整堆。在每次迭代中，通过swap操作将最大值放在数组的末尾，并对剩余元素进行调整，使其满足最大堆的性质。

最后，main函数创建一个包含一些无序元素的数组，并调用heap_sort函数对数组进行排序。排序后，打印出排序后的数组。

请注意，这只是一个简单的堆排序示例，实际应用中可能需要考虑更多的边界情况和错误处理。

运行如上代码，你可以看到以下输出：