普通的二叉树是不适合用数组来存储的,因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结构存储。现实中我们通常把堆(一种二叉树)使用顺序结构的数组来存储,需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两回事,一个是数据结构,一个是操作系统中管理内存的一块区域分段。
如果有一个关键码的集合K = { , , ,…, },把它的所有元素按完全二叉树的顺序存储方式存储
在一个一维数组中,并满足: <= 且 <= ( >= 且 >= ) i = 0,1,2…,则称为小堆(或大堆)。将根节点最大的堆叫做最大堆或大根堆,根节点最小的堆叫做最小堆或小根堆。
堆的性质:
堆中某个节点的值总是不大于或不小于其父节点的值;
堆总是一棵完全二叉树。
typedef int HPDataType;
typedef struct Heap
{
HPDataType* a;
int size;
int capacity;
}HP;
void HeapPrint(HP* php);
void HeapInit(HP* php);
void HeapDestroy(HP* php);
void AdjustUp(HPDataType* a, int size);
void HeapPush(HP* php, HPDataType x);
void AdjustDown(HPDataType* a, int size, int parent);
void HeapPop(HP* php);
HPDataType HeapTop(HP* php);
int HeapSize(HP* php);
bool HeapEmpty(HP* php);
void Swap(HPDataType* x, HPDataType* y);
void AdjustUp(HPDataType* a, int child)
{
int parent = (child - 1) / 2;
while (child > 0)
{
if (a[child] < a[parent])
{
Swap(&a[child], &a[parent]);
child = parent;
parent = (child - 1) / 2;
}
else
{
break;
}
}
}
void HeapPush(HP* php, HPDataType x)
{
assert(php);
// 扩容判断
if (php->size == php->capacity)
{
int newCapacity = php->capacity == 0 ? 4 : php->capacity * 2;
HPDataType* tmp = (HPDataType*)realloc(php->a, sizeof(HPDataType) * newCapacity);
if (tmp == NULL)
{
printf("realloc fail");
exit(-1);
}
php->a = tmp;
php->capacity = newCapacity;
}
// 插入数据
php->a[php->size] = x;
php->size++;
// 向上调整
AdjustUp(php->a, php->size - 1);
}
void AdjustDown(HPDataType* a, int size, int parent)
{
int child = parent * 2 + 1;
while (child < size)
{
// 选出两个child小的那个
if (child + 1 < size && a[child] > a[child + 1])
{
child++;
}
if (a[parent] > a[child])
{
Swap(&a[parent], &a[child]);
parent = child;
child = parent * 2 + 1;
}
else
{
break;
}
}
}
void HeapPop(HP* php)
{
assert(php);
assert(!HeapEmpty(php));
// 根节点和最后一个节点交换,向下调整
Swap(&php->a[0], &php->a[php->size - 1]);
php->size--;
AdjustDown(php->a, php->size, 0);
}
void HeapPrint(HP* php)
{
assert(php);
for (int i = 0; i < php->size; i++)
{
printf("%d ", php->a[i]);
}
printf("\n");
}
void HeapInit(HP* php)
{
assert(php);
php->a = NULL;
php->capacity = php->size = 0;
}
void HeapDestroy(HP* php)
{
assert(php);
free(php->a);
php->a = NULL;
php->capacity = php->size = 0;
}
void Swap(HPDataType* x, HPDataType* y)
{
HPDataType tmp = *x;
*x = *y;
*y = tmp;
}
HPDataType HeapTop(HP* php)
{
assert(php);
assert(!HeapEmpty);
return php->a[0];
}
int HeapSize(HP* php)
{
assert(php);
return php->size;
}
bool HeapEmpty(HP* php)
{
assert(php);
return php->size == 0;
}
堆排序就是利用堆的思想来排序,将一个数组建造成堆有向上调整算法和向下调整算法。
我们分别来算一下两种算法的时间复杂度
向下调整算法的时间复杂度更优,按照堆删除的思想,每次取出堆中根节点的数据与最后一个叶子节点交换,然后再对最后一个节点前面的数据重新建堆的思路来排序。
如果是升序建小堆的话,每一次选出最小的数后,后面的数就要重新进行建堆,此时时间复杂度就是O(n)了,但是建大堆的话,每一次选出最大的数并将其与最后一个数交换,只需要根节点开始向下调整一次就再次建好一个大堆了,此时建好一次大堆的时间复杂度为log(n),建n次,最终时间复杂度就是O(n*log(n))了。
所以是升序建大堆,降序建小堆
堆排序的函数如下
void HeapSort(int* a, int n)
{
// 降序--建小堆
for (int i = n - 1 - 1 / 2; i >= 0; i--)
{
AdjustDown(a, n, i);
}
int end = n - 1;
while (end > 0)
{
Swap(&a[0], &a[end]);
AdjustDown(a, end, 0);
end--;
}
}
void HeapSortTest()
{
int a[] = { 27,15,19,18,28,34,65,49,25,37 };
HeapSort(a, sizeof(a) / sizeof(a[0]));
}
我这里写的是降序,但其实只要把向下调整算法中的交换逻辑反过来,变成建大堆,那么这个函数就变成升序函数了
TOP-K问题:即求数据结合中前K个最大的元素或者最小的元素,一般情况下数据量都比较大。
比如:专业前10名、世界500强、富豪榜、游戏中前100的活跃玩家等。
对于Top-K问题,能想到的最简单直接的方式就是排序,但是:如果数据量非常大,排序就不太可取了(可能数据都不能一下子全部加载到内存中)。最佳的方式就是用堆来解决,基本思路如下:
1. 用数据集合中前K个元素来建堆
前k个最大的元素,则建小堆
前k个最小的元素,则建大堆
2. 用剩余的N-K个元素依次与堆顶元素来比较,不满足则替换堆顶元素
将剩余N-K个元素依次与堆顶元素比完之后,堆中剩余的K个元素就是所求的前K个最小或者最大的元素。
我这里求的是前k个最大的元素
先获取n个数据,并设置好k个最大数
void TestTopk()
{
int n = 10000;
int* a = (int*)malloc(sizeof(int) * n);
srand(time(0));
for (int i = 0; i < n; ++i)
{
a[i] = rand() % 1000000;
}
a[5] = 1000000 + 1;
a[1231] = 1000000 + 2;
a[531] = 1000000 + 3;
a[5121] = 1000000 + 4;
a[115] = 1000000 + 5;
a[2335] = 1000000 + 6;
a[9999] = 1000000 + 7;
a[76] = 1000000 + 8;
a[423] = 1000000 + 9;
a[3144] = 1000000 + 10;
PrintTopK(a, n, 10);
}
再调用TopK函数
void PrintTopK(HPDataType* a, int n, int k)
{
// 将前k个数据建堆
HPDataType* tmp = (HPDataType*)malloc(sizeof(HPDataType) * k);
if (tmp == NULL)
{
printf("malloc fail");
exit(-1);
}
for (int i = 0; i < k; i++)
{
tmp[i] = a[i];
}
for (int end = (k - 1 - 1) / 2; end >= 0; end--)
{
AdjustDown(tmp, k, end);
}
// 将剩余的n-k个元素与堆顶的数进行比较,满足条件则替换
for (int i = k; i < n; i++)
{
if (a[i] > tmp[0])
{
tmp[0] = a[i];
AdjustDown(tmp, k, 0);
}
}
for (int i = 0; i < k; i++)
{
printf("%d ", tmp[i]);
}
}
至于这里为什么另开一个空间来建堆,则是因为有时候不一定是从数组中读取数据,可能是从文件中读取。