普通的二叉树是不适合用数组来存储的,因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结 构存储。现实中我们通常把堆(一种二叉树)使用顺序结构的数组来存储,需要注意的是这里的堆和操作系统 虚拟进程地址空间中的堆是两回事,一个是数据结构,一个是操作系统中管理内存的一块区域分段。
堆的概念及结构
如果有一个关键码的集合K = {k0,k1, k2,…,kn-1},把它的所有元素按完全二叉树的顺序存储方式存储 在一个一维数组中,并满足:Ki <= K2i+1 且 Ki<= K2i+2 (Ki >= K2i+1 且 Ki >= K2i+2) i = 0,1,2…,则称为 小堆(或大堆)。将根节点最大的堆叫做最大堆或大根堆,根节点最小的堆叫做最小堆或小根堆。
堆的性质:
堆中某个节点的值总是不大于或不小于其父节点的值; 堆总是一棵完全二叉树。
下面是有关堆的实现代码
首先时头文件部分
#include<stdio.h>
#include<stdlib.h>
#include<malloc.h>
#include<assert.h>
typedef int DataType;
typedef struct Heap
{
DataType* array;
int capacity;
int size;
}Heap;
// 创建堆
void CreatHeap(Heap* hp, int* array, int size);
// 向堆中插入值为data的元素
void InsertHeap(Heap* hp, DataType data);
// 删除堆顶元素
void EraseHeap(Heap* hp);
// 获取堆中有效元素个数
int SizeHeap(Heap* hp);
// 检测堆是否为空
int EmptyHeap(Heap* hp);
// 获取堆顶元素
DataType TopHeap(Heap* hp);
// 销毁堆
void DestroyHeap(Heap* hp);
函数部分
#include"Heap.h"
void Swap(int* arr1, int* arr2)
{
int temp = *arr1;
*arr1 = *arr2;
*arr2 = temp;
}
//向下调整
void AdjustDown(Heap *hp, int parent)
{
//结点i的左孩子为:2*i+1
int child = (parent << 1) + 1;
while (child < hp->size)
{
//先保证有右孩子,然后获取左后孩子的最小值
if (child + 1 < hp->size && hp->array[child] > hp->array[child + 1])
{
child = child + 1;
}
//左后孩子的最小值和双亲比较,若双亲大,则与左右孩子的最小值交换
if (hp->array[parent] > hp->array[child])
{
//交换
Swap(&hp->array[child], &hp->array[parent]);
parent = child;
child = (parent << 1) + 1;
}
else
{
return;
}
}
}
// 创建堆
void CreatHeap(Heap* hp, int* array, int size)
{
int lastnode = size / 2 - 1;
for (lastnode; lastnode >= 0; lastnode--)
{
AdjustDown(hp, lastnode);
}
}
// 向堆中插入值为data的元素
void InsertHeap(Heap* hp, DataType data)
{
assert(hp);
hp->array[hp->size++] = data;
int lastnode = (hp->size) / 2 - 1;
AdjustDown(hp, lastnode);
}
// 删除堆顶元素
void EraseHeap(Heap* hp)
{
assert(hp);
swap(&hp->array[0], &hp->array[hp->size - 1]);
hp->size--;
AdjustDown(hp, 0);
}
// 获取堆中有效元素个数
int SizeHeap(Heap* hp)
{
assert(hp);
int i = 0;
int count = 0;
while (i<hp->size)
{
if (hp->array[i])
{
count++;
i++;
}
else
i++;
}
return count;
}
// 检测堆是否为空
int EmptyHeap(Heap* hp)
{
assert(hp);
if (hp->size == 0)
{
return 1;
}
else
return 0;
}
// 获取堆顶元素
DataType TopHeap(Heap* hp)
{
assert(hp);
return hp->array[0];
}
// 销毁堆
void DestroyHeap(Heap* hp)
{
assert(hp);
free(hp->array);
hp->array = NULL;
hp->size = 0;
hp->capacity = 0;
}