2024年数据结构 堆的向上调整和向下调整算法【奇妙的堆排序】(2)，大数据开发开发面试准备

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上大数据知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

需要这份系统化资料的朋友，可以戳这里获取

1、堆的初始化

• 首先的话就是堆的初始化，这一块代码很简单
• 当然你也可以在初始化这一块就把堆的数据存放空间给开出来，这个的话我是放在Push的时候直接去进行realloc

/\*初始化堆\*/
void HeapInit(Hp\* hp)
{
	assert(hp);
	hp->a = NULL;
	hp->size = hp->capacity = 0;
}

---

2、堆的销毁

• 有了初始化，那一定得销毁，就是变回初始化时的样子。而且要将开出来存放数据的空间释放

/\*销毁堆\*/
void HeapDestroy(Hp\* hp)
{
	assert(hp);
	free(hp->a);
	hp->a = NULL;
	hp->size = hp->capacity = 0;
}

---

3、堆的插入【⭐】

• 构建了一个基本的堆，接下去就要往这个空间中放入数据。可以看到，对于数组，我都会去写一段扩容逻辑，之前在初始化的时候没有开出来的空间一并在这里开出，如果看不懂的话可以去看看我的顺序表这一章节，有详细说明
• 可以看到，除了有这个扩容逻辑之外，在底部还有一个【向上调整算法】，我们在插入新的元素后始终要保持原先的堆是一个【大堆】或者【小堆】，所以要去进行一个向上调整，这里的【hp->size - 1】值得就是当前新入的结点，我在顺序表章节有讲到过，size始终是位于末梢元素的下一个位置，因此-1的话就可以访问到末梢元素了，也就是形参中的孩子结点

/\*堆的插入\*/
void HeapPush(Hp\* hp, HpDataType x)
{
	assert(hp);
	//扩容逻辑
	if (hp->size == hp->capacity)
	{
		int newCapacity = hp->capacity == 0 ? 4 : hp->capacity \* 2;
		HpDataType\* tmp = (HpDataType\*)realloc(hp->a, newCapacity \* sizeof(HpDataType));
		if (tmp == NULL)
		{
			perror("fail realloc");
			exit(-1);
		}
		hp->a = tmp;
		hp->capacity = newCapacity;
	}
	hp->a[hp->size] = x;
	hp->size++;

	Adjust\_UP(hp, hp->size - 1);
}

---

4、堆的删除【⭐】

• 有插入，那一定要有删除，这一块我会重点分析✍
• 首先可以来看下代码，可以看到很显目的一句，就是交换【a[0]】和【a[hp->size - 1]】，这其实值的就是堆顶的结点和堆顶的末梢结点，为什么先要交换它们呢，我们来分析一下

/\*堆的删除\*/
void HeapPop(Hp\* hp)
{
	assert(hp);
	assert(hp->size > 0);
	//首先交换堆顶和树的最后一个结点 —— 易于删除数据，保护堆的结构不被破坏
	swap(&hp->a[0], &hp->a[hp->size - 1]);
	hp->size--;		//去除最后一个数据

	Adjust\_Down(hp->a, hp->size, 0);
}

改写族谱，关系紊乱😵

• 若是我们什么都不做，直接去删除一下这个堆顶的数据，后面的结点就需要前移，此时的原本的孩子结点就会变成父亲，父亲呢可能又会变成孩子。这其实也就乱了，是吧，原本呢【49】和【34】说我们要做一辈子的好兄弟，但是呢当它们的爸爸没了之后，【49】就想要当上爸爸。原本的【27】是【34】的远方亲戚，但是呢现在却成了兄弟，所以心疼【34】3秒钟🦌🦌🦌
• 所以说直接去删除这个堆顶的数据一定不行，会对整个堆造成一定的影响，那我们该怎么办呢❓
  
• 此时就像代码中写的一样，我们可以先去交换一下堆顶和堆底末梢的数据，然后将交换下来的数删除，这样既可以删除这个堆顶的数据，也不会影响整棵树的结构，整体算法图如下

• 通过这组算法图我们可以看出，堆顶数据不符合，但是其左右子树均符合大堆或者是小堆的时候，此时我们就可以去进行一个【向下调整算法】，这个过程就是我上面分析过的，一直调整到其孩子结点为n的时候就表明其孩子不存在了，就无需再向下进行调整
• 可以看到，在Pop完数据进行向下调整后，依旧是保持一个大堆

---

5、取堆顶的数据

• 这块很简单，因为堆顶的数据就是数组的首元素，因此直接return【hp->a[0]】即可

/\*取堆顶数据\*/
HpDataType HeapTop(Hp\* hp)
{
	assert(hp);
	assert(hp->size > 0);
	return hp->a[0];
}

---

• 上面说到过，结构体中的【size】是指向当前堆底末梢数据的后一个位置，也就相当于【n】，因此求数据个数直接return【hp->size】即可

6、堆的数据个数

/\*返回堆的大小\*/
size_t HeapSize(Hp\* hp)
{
	assert(hp);
	return hp->size;
}

---