堆排序
- 基本思想:严格来讲,堆有不同的种类,我们主要用的还是二叉堆,而二叉堆有最大堆和最小堆之分。最大(最小)堆是一棵每一个节点的键值都不小于(大于)其孩子(如果存在)的键值的树。大顶堆是一棵完全二叉树,同时也是一棵最大树。小顶堆是一棵完全完全二叉树,同时也是一棵最小树。
- 大堆
- 小堆
堆的相关操作
以最小顶堆为例:
① 向下调整:从根开始,选取当前结点 p 的较小的儿子结点;如果其值比 p 的值大,则调整停止。否则 p 和其儿子,继续调整。
② 向上调整:比较当前结点p和父节点,如果父节点的值比p小,则停止调整;否则交换父亲和p,继续向上调整。
③ 建立顶堆:从最后一个非终端结点开始向下调整。
④ 删除堆顶:分为三步:1.直接删除根,2.用最后一个元素代替根,3.将堆向下调整。
⑤ 插入一个元素:分为两步:1.将元素添加到末尾,2.从末尾向上调整。
- 既然我们已经知道对的基本操作了,了解堆的基本特性,那么现在假如给你一个无序序列,那么我们该如何利用堆的特性去排序呢?
1、根据数组序列建堆,建大堆排升序,建小堆排降序
2、交换最大的数和无序区间的最后一个数,然后不断的向下调整,
3、递归进行,直到有序 - 具体实现
#include<iostream>
using namespace std;
/*
// 堆排序
// 时间复杂度 数据不敏感 O(n * log(n))
// 空间复杂度 O(1)
// 稳定性: 不稳定
*/
//打印数组内容
void print(int array[], int size) {
for (int i = 0; i < size; i++) {
cout << array[i] << " ";
}
cout << endl;
}
//交换函数
void swap(int array[], int i, int j) {
int tmp = array[i];
array[i] = array[j];
array[j] = tmp;
}
//向下调整
void Heapify(int array[], int size, int index) {
/*
1. 判断是不是叶子
2. 找到最大的孩子
1) 没有右孩子
2) 右孩子
1) 左孩子大
2) 右孩子大
3. 最大的孩子和根比较,如果根比较大,退出
4. 交换并且继续调整
*/
int left = 2 * index + 1;
int right = 2 * index + 2;
if (left >= size) { return; }
int max = left;
if (right < size && array[right] > array[left]) {
max = right;
}
if (array[index] >= array[max]) {
return;
}
swap(array, max, index);
Heapify(array, size, max);
}
//建堆
void CreateHeap(int array[], int size) {
// 从最后一个非叶子结点,一直到 0,不断的向下调整
for (int i = (size - 2) / 2; i >= 0; i--) {
Heapify(array, size, i);
}
}
void HeapSort(int array[], int size) {
// 建大堆
CreateHeap(array, size);
// 一次处理一个数
// 无序 [0, size - 1 - i]
// 有序 [size - i, size - 1]
for (int i = 0; i < size; i++) {
// 交换最大的数和无序区间的最后一个数
swap(array, 0, size - 1 - i);
// 堆的性质被破坏了
// 只有根的地方
// 要调整的是剩余无序部分的长度 size - 1 - i
Heapify(array, size - 1 - i, 0);
}
}
int main(void) {
int array[] = { 12,2,34,10,8,2,54,70,100,86,34,6 };
int size = sizeof(array) / sizeof(int);
cout << "排序前:";
print(array, size);
cout << "排序后:";
HeapSort(array, size);
print(array, size);
system("pause");
return 0;
}
总的来说,我觉得堆排序写起来还是比较复杂的,堆排序经常应用于求top(K)问题,效率比较高。
- 堆排序总结
1、 堆排序
2、 时间复杂度 数据不敏感 O(n * log(n))
3、 空间复杂度 O(1)
4、 稳定性: 不稳定