【数据结构】拆分详解 - 堆

本文详细介绍了堆的定义、接口实现,包括创建、销毁、插入、删除等操作,以及向上调整和向下调整两种建堆算法。此外,文章还讨论了堆在堆排序和解决TOP-K问题中的应用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >


前言

文章细分了各个知识点,可在目录中快速跳转
手机端用户在查看代码块时建议点击代码右上角放大查看,每一段代码均有完整注释。

本文介绍堆的定义及接口实现。如果对顺序表和二叉树还不熟悉的可以参考【数据结构】拆分详解 - 顺序表树与二叉树


一、堆的介绍

  1. 定义:堆是二叉树的顺序存储结构。

    • 底层物理空间是一个顺序表(数组),但逻辑结构上是一颗完全二叉树。

    • 普通的二叉树是不适合用数组来存储的,因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结构存储。

    在这里插入图片描述

    • 需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两个不同的概念,一个是数据结构,一个是操作系统中管理内存的一块区域分段。
  2. 分类

    • 大堆:任意一个父亲 >= 孩子(堆顶最大)
    • 小堆: 任意一个父亲 <= 孩子(堆顶最小)

    在这里插入图片描述

  3. 性质

    1. 堆中某个节点的值总是不大于或不小于其父节点的值
    2. 堆总是一棵完全二叉树

二、堆的接口实现

0.声明

typedef int HPDataType;  //注释1

typedef struct Heap
{
	HPDataType* a;
	int size;
	int capacity;

}HP; 

1. 初始化

void HeapInit(HP* php)
{
	php->a = NULL;
	php->size = 0;
	php->capacity = 0;
}

2. 销毁

void HeapDestory(HP* php)
{
	free(php->a);
	php->a = NULL;
	php->size = 0;
	php->capacity = 0;
}

3. 插入

  • 思路

    1. 尾插(检查扩容)
    2. 向上调整
    3. 更新
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)
		{
			perror("realloc fail");
			exit(-1);
		}
		//注意tmp只有在需要扩容时才会创建,赋值a应该放在分支内,否则会在不需要扩容时出问题
		php->a = tmp;
		php->capacity = newcapacity;
	}

	php->a[php->size] = x;
	php->size++;

	AdjustUp(php->a, php->size - 1);
}

4. 删除(堆顶)

  • 目的性:之前我们所学的顺序表和链表没有很强的目的性,只是选择容易实现的方式进行接口实现,但我们应当认识到数据结构发明出来是有目的的,如堆可以进行堆排序,TopK问题(选出最大/最小的前K个数),如删除接口的实现,我们知道顺序表的尾删比较简单,时间复杂度低,但在堆中直接尾删会破坏子数的堆性质,使得结构混乱。堆的目的是为了对数据进行选择排序,子树不再为堆,后续排序也就无从谈起了。后续我们会讲解堆的应用,读者会更好的认识到这一点。

  • 思路

    1. 交换头尾
    2. 尾删
    3. 向下调整
void HeapPop(HP* php)
{
	assert(php);
	assert(php->size > 0);

	swap(&php->a[0], &php->a[php->size - 1]);
	php->size--;

	AdjustDown(php->a, php->size, 0);
}

5. 获取堆顶元素值

HPDataType HeapTop(HP* php)
{
	assert(php);
	assert(php->size > 0);

	return php->a[0];
}

6. 获取有效元素个数

int HeapSize(HP* php)
{
	assert(php);

	return php->size;
}

7. 判断是否为空

bool HeapEmpty(HP* php)
{
	assert(php);

	return php->size == 0;
}

三、建堆

1. 向下调整算法

  1. 单趟调整

    从某节点开始向下调整: 父亲找孩子,比较孩子与父亲的值大小,不符合堆的定义就进行调整(互换)

    1. 利用父亲与孩子的下标关系,找到当前父亲对应的孩子,比较调整

    2. 调整完继续向下找孩子的孩子,不断调整,直到超出堆的范围,或者符合堆的定义(父亲 >= 孩子 或 父亲 <= 孩子,本文以小堆为例,则为父亲 <= 孩子时停止)

    3. 注意:只有左右子树均为堆时,单趟走完才为堆,否则应该使用多趟

      在这里插入图片描述

  2. 多趟建堆

    从下往上。从倒数第一个非叶子节点所在层次开始向上,将所有节点都访问一次进行向下调整,直到访问到根节点。

//单趟
void AdjustDown(HPDataType* a, int size, int parent)
{
	//不知道父亲的左右孩子谁小,故假设法假设左孩子较小,若假设错误则调整为右孩子
	int child = parent * 2 + 1;
	while (child < size)
	{
		//如右孩子较小则假设错误,就修正为右孩子,注意判断是否越界
		if (child+1 < size && a[child] > a[child + 1])
		{
			child++;
		}
		if (a[child] < a[parent])
		{
			swap(&a[parent], &a[child]);
			parent = child;
			child = child * 2 + 1;
		}
		else
		{
			break;
		}
	}
}
//多趟
//建小堆
for(int i = (n-1-1)/2 ; i >= 0; i--) //parent,child都是下标,
									  //n-1为最后一个节点的下标
{
	AdjustDown(&a, n, (n - 1 - 1) / 2);
}

2. 向上调整算法

  1. 单趟调整

    从某节点开始向上调整: 孩子找父亲,比较父亲与孩子的值大小,不符合堆的定义就进行调整(互换)

    1. 利用孩子与父亲的下标关系,找到当前孩子对应的父亲,比较调整
    2. 调整完继续向上找父亲的父亲,不断调整,直到超出堆的范围,或者符合堆的定义(父亲 >= 孩子 或 父亲 <= 孩子,本文以小堆为例,则为父亲 <= 孩子时停止)
    3. 注意:只有左右子树均为堆时,单趟走完才为堆,否则应该使用多趟
  2. 多趟建堆

    从上往下。从第二个节点所在层次开始向下,将所有节点都访问一次进行向上调整,直到访问到根节点。

//单趟
void AdjustUp(HPDataType* a, int child)
{
	int parent = (child - 1) / 2;  //完全二叉树数组实现性质:双亲与孩子的下标关系

	while (child > 0) //child==0 则下次找父亲就超出堆范围了,此时停止
	{
		if (a[parent] > a[child])
		{
			swap(&a[parent], &a[child]);
			child = parent;
			parent = (parent - 1) / 2;
		}
		else
		{
			break;
		}
	}
}
//多趟
for(int i = 1 ; i <= n; i++)
{
	AdjustUP(&a, 1); //从第二个节点开始
}

3. 时间复杂度分析

  • 向下调整

在这里插入图片描述

公式:【每层调整次数 = 节点数 * (倒数的层数-1)】(即向下调整的次数)
求和 :等差 * 等比 -> 错位相减
运算在这里插入图片描述
因此:建堆的时间复杂度为O(N)。

  • 向上调整

公式:【每层调整次数 = 节点数 * (层数-1)(即向上调整的次数)】
求和:等差 * 等比 => 错位相减
运算在这里插入图片描述
因此:建堆的时间复杂度为O(N*logN)。

四、堆的应用

1. 堆排序

思路:

  1. 建大堆(升序建大堆,降序建小堆,本文以升序为例)

    向下调整建堆,根位置即选出的最大数

  2. 排序:交换头尾,尾删,向下调整

    • 把大数移到尾部,调整堆,将排好的大数“删出”堆
    • 注意尾删和向下顺序不能对调(排好的大数不能参与调整)
void HeapSort(int* a, int n) //传n为了计算堆尾下标
{
	// 1.建大堆
	for (int i = (n-1-1)/2 ; i >= 0; i++)
	{
		AdjustDown(a, n, (n - 1 - 1) / 2);
	}
	// 2.排序
	int end = n - 1; //end标识堆尾元素下标
	while (end > 0)
	{
		swap(&a[0], &a[end]);
		AdjustDown(a, end, 0); //1.此处end作为向下调整的参数size,标识需要调整的元素个数(除去尾部排好的元素)
		end--;  //“尾删出”堆    //2.由于交换了头尾,需要从根(0)开始向下调整
	}
}

2. TOP-K问题

TOP-K问题:即求数据组合中前K个最大的元素或者最小的元素,一般情况下数据量都比较大。比如:专业前10名、世界500强、富豪榜、游戏中前100的活跃玩家等。
对于Top-K问题,能想到的最简单直接的方式就是排序,但是:如果数据量非常大,排序就不太可取了(可能数据都不能一下子全部加载到内存中)。

最佳的方式就是用堆来解决,基本思路如下

  1. 用数据集合中前K个元素来建堆

    • 前k个最大的元素,则建小堆
    • 前k个最小的元素,则建大堆
  2. 用剩余的N-K个元素依次与堆顶元素来比较,不满足则替换堆顶元素

    将剩余N-K个元素依次与堆顶元素比完之后,堆中剩余的K个元素就是所求的前K个最小或者最大的元素。

测试函数:随机数初始化数组,修改几个极大值,如果目标函数能找出这几个极大值,说明函数正确实现

void TestTopk()
{
	int n = 10000;
	int* a = (int*)malloc(sizeof(int) * n);
	srand(time(0));
	for (size_t 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);
}

实现:

void PrintTopK(int* a, int n, int k)
{
	// 1. 建堆--用a中前k个元素建堆
	for (int i = (k-1-1)/2; i >= 0; i--)
	{
		AdjustDown(a, k, i); 
	}
	// 2. 将剩余n-k个元素依次与堆顶元素交换,不满则则替换
	for (int j = k; j < n; ++j)
	{
		if (a[j] > a[0])
		{
			if (a[j] > 1000000)
			{
				int xx = a[j];
			}

			a[0] = a[j];
			AdjustDown(a, k, 0);
		}
	}

	for (int z = 0; z < k; ++z)
	{
		printf("%d ", a[z]);
	}
}

在这里插入图片描述


总结

本文介绍了堆的常用接口,建堆算法,堆排序等常见使用场景,并对其进行了模拟实现,以便读者了解其底层逻辑,有利于更好地使用。
尽管文章修正了多次,但由于水平有限,难免有不足甚至错误之处,敬请各位读者来评论区批评指正。

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值