数据结构之二叉树（详细版）-Toy模板网

这篇具有很好参考价值的文章主要介绍了数据结构之二叉树（详细版）。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

二叉树作为数据结构的一种，尤为重要，下面是对二叉树的详细讲解。想要了解二叉树，首先要了解二叉树的基本概念，以及创建二叉树的结构，再深层点，遍历二叉树的前序中序和后续，其次是层序，后面将会讲解如何计算二叉树的高和叶结点等等。

1.树的概念及结构

1.树的概念

树是一种非线性的数据结构，它是由n（n>=0）个有限结点组成一个具有层次关系的集合。把它叫做树是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。

有一个特殊的结点，称为根结点，根节点没有前驱结点

除根节点外，其余结点被分成M(M>0)个互不相交的集合T1、T2、……、Tm，其中每一个集合Ti(1<= i <= m)又是一棵结构与树类似的子树。每棵子树的根结点有且只有一个前驱，可以有0个或多个后继因此，树是递归定义的。

创建二叉树的代码数据结构,数据结构

注意：树形结构中，子树之间不能有交集，否则就不是树形结构

创建二叉树的代码数据结构,数据结构

2.树的相关概念

差不多了解了二叉树的结构之外，我们还可以再了解下树的相关专业语术，请看下图

创建二叉树的代码数据结构,数据结构

（以下红色字体的内容很重要的哦~~）

节点的度：一个节点含有的子树的个数称为该节点的度；如上图：A的为6
叶节点或终端节点：度为0的节点称为叶节点；如上图：B、C、H、I...等节点为叶节点
非终端节点或分支节点：度不为0的节点；如上图：D、E、F、G...等节点为分支节点
双亲节点或父节点：若一个节点含有子节点，则这个节点称为其子节点的父节点；如上图：A是B的父节点孩子节点或子节点：一个节点含有的子树的根节点称为该节点的子节点；如上图：B是A的孩子节点
兄弟节点：具有相同父节点的节点互称为兄弟节点；如上图：B、C是兄弟节点
树的度：一棵树中，最大的节点的度称为树的度；如上图：树的度为6
节点的层次：从根开始定义起，根为第1层，根的子节点为第2层，以此类推；
树的高度或深度：树中节点的最大层次；如上图：树的高度为4
堂兄弟节点：双亲在同一层的节点互为堂兄弟；如上图：H、I互为兄弟节点
节点的祖先：从根到该节点所经分支上的所有节点；如上图：A是所有节点的祖先
子孙：以某节点为根的子树中任一节点都称为该节点的子孙。如上图：所有节点都是A的子孙
森林：由m（m>0）棵互不相交的树的集合称为森林；

3.树的表示

树结构相对线性表就比较复杂了，要存储表示起来就比较麻烦了，既然保存值域，也要保存结点和结点之间的关系。

实际中树有很多种表示方式如：双亲表示法，孩子表示法、孩子双亲表示法以及孩子兄弟表示法等。我们这里就简单的了解其中最常用的孩子兄弟表示法。

typedef int DataType;
struct Node
{
     struct Node* _firstChild1; // 第一个孩子结点
     struct Node* _pNextBrother; // 指向其下一个兄弟结点
     DataType _data; // 结点中的数据域
};

创建二叉树的代码数据结构,数据结构

2.二叉树概念及结构

2.1概念

         一棵二叉树是结点的一个有限集合，该集合:
        1. 或者为空
        2. 由一个根节点加上两棵别称为左子树和右子树的二叉树组成

创建二叉树的代码数据结构,数据结构

从上图可以看出：
1. 二叉树不存在度大于2的结点
2. 二叉树的子树有左右之分，次序不能颠倒，因此二叉树是有序树

注意：对于任意的二叉树都是由以下几种情况复合而成的：

创建二叉树的代码数据结构,数据结构

2.2现实中的二叉树

创建二叉树的代码数据结构,数据结构

2.3 特殊的二叉树

1. 满二叉树：一个二叉树，如果每一个层的结点数都达到最大值，则这个二叉树就是满二叉树。也就是说，如果一个二叉树的层数为K，且结点总数是，则它就是满二叉树。
2. 完全二叉树：完全二叉树是效率很高的数据结构，完全二叉树是由满二叉树而引出来的。对于深度为K的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。 要注意的是满二叉树是一种特殊的完全二叉树。

创建二叉树的代码数据结构,数据结构

2.4 二叉树的存储结构

二叉树一般可以使用两种结构存储，一种顺序结构，一种链式结构。

1. 顺序存储
顺序结构存储就是使用数组来存储，一般使用数组只适合表示完全二叉树，因为不是完全二叉树会有空间的浪费。而现实中使用中只有堆才会使用数组来存储，关于堆我们后面的章节会专门讲解。二叉树顺序存储在物理上是一个数组，在逻辑上是一颗二叉树。

创建二叉树的代码数据结构,数据结构

2. 链式存储
二叉树的链式存储结构是指，用链表来表示一棵二叉树，即用链来指示元素的逻辑关系。通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来给出该结点左孩子和右孩子所在的链结点的存储地址 。链式结构又分为二叉链和三叉链，当前我们学习中一般都是二叉链，后面课程学到高阶数据结构如红黑树等会用到三叉链。

创建二叉树的代码数据结构,数据结构

typedef int BTDataType;
// 二叉链
struct BinaryTreeNode
{
     struct BinTreeNode* _pLeft; // 指向当前节点左孩子
     struct BinTreeNode* _pRight; // 指向当前节点右孩子
     BTDataType _data; // 当前节点值域
}
// 三叉链
struct BinaryTreeNode
{
     struct BinTreeNode* _pParent; // 指向当前节点的双亲
     struct BinTreeNode* _pLeft; // 指向当前节点左孩子
     struct BinTreeNode* _pRight; // 指向当前节点右孩子
     BTDataType _data; // 当前节点值域
}；

3.二叉树的顺序结构及实现

3.1 二叉树的顺序结构

普通的二叉树是不适合用数组来存储的，因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结构存储。现实中我们通常把堆(一种二叉树)使用顺序结构的数组来存储，需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两回事，一个是数据结构，一个是操作系统中管理内存的一块区域分段。

创建二叉树的代码数据结构,数据结构

3.2 堆的概念及结构

如果有一个关键码的集合K = { ，，，…， }，把它的所有元素按完全二叉树的顺序存储方式存储在一个一维数组中，并满足： <= 且 <= ( >= 且 >= ) i = 0，1，2…，则称为小堆(或大堆)。将根节点最大的堆叫做最大堆或大根堆，根节点最小的堆叫做最小堆或小根堆。

堆的性质：
堆中某个节点的值总是不大于或不小于其父节点的值；
堆总是一棵完全二叉树。

创建二叉树的代码数据结构,数据结构

3.3 堆的实现

3.2.1 堆向下调整算法

现在我们给出一个数组，逻辑上看做一颗完全二叉树。我们通过从根节点开始的向下调整算法可以把它调整成一个小堆。向下调整算法有一个前提：左右子树必须是一个堆，才能调整。

创建二叉树的代码数据结构,数据结构

以下是大堆的代码示例：

//向下调整
void BAdjustDown(HpdataType* a, int n, int parent)
{
	int child = parent * 2 + 1;
	while (child < n)
	{
		//建小堆:if(...&& a[child]>a[child+1])
		//建大堆:if(...&& a[child]<a[child+1])

		if (child + 1 < n && a[child + 1] > a[child])
		{
			++child;
		}

		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] > a[parent])
		{
			Swap(&a[child], &a[parent]);
			// 继续往下调整
			parent = child;
			child = parent * 2 + 1;
		}
		else
		{
			break;
		}
	}
}

以下是小堆的代码示例：

//向下调整
void LAdjustDown(HpdataType* a, int n, int parent)
{
	int child = parent * 2 + 1;
	while (child < n)
	{
		//建小堆:if(...&& a[child]>a[child+1])
		//建大堆:if(...&& a[child]<a[child+1])
		
		if (child + 1 < n && a[child + 1] < a[child])
		{
			++child;
		}

		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] < a[parent])
		{
			Swap(&a[child], &a[parent]);
			// 继续往下调整
			parent = child;
			child = parent * 2 + 1;
		}
		else
		{
			break;
		}
	}
}

3.2.2堆的创建

下面我们给出一个数组，这个数组逻辑上可以看做一颗完全二叉树，但是还不是一个堆，现在我们通过算法，把它构建成一个堆。根节点左右子树不是堆，我们怎么调整呢？这里我们从倒数的第一个非叶子节点的子树开始调整，一直调整到根节点的树，就可以调整成堆。

创建二叉树的代码数据结构,数据结构

3.2.3 建堆时间复杂度

因为堆是完全二叉树，而满二叉树也是完全二叉树，此处为了简化使用满二叉树来证明(时间复杂度本来看的就是近似值，多几个节点不影响最终结果)：

创建二叉树的代码数据结构,数据结构

因此：建堆的时间复杂度为O(N)。

3.2.4 堆的插入

先插入一个10到数组的尾上，再进行向上调整算法，直到满足堆。

创建二叉树的代码数据结构,数据结构

堆的创建需要用到向上调整！

以下的代码分别是大堆和小堆的创建方式

大堆：

//大堆
//向上调整
void BAdjustUp(HpdataType* a, int child)
{
	int parent = (child - 1) / 2;
	while (child > 0)
	{
		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] > a[parent])
		{
			Swap(&a[child], &a[parent]);
			child = parent;
			parent = (parent - 1) / 2;
		}
		else
		{
			break;
		}
	}
}

//大堆的初始化
void BHeapInitArray(Hp* php, int* a, int n)
{
	assert(php);
	assert(a);

	php->a = (HpdataType*)malloc(sizeof(HpdataType) * n);
	if (php->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	php->size = n;
	php->capacity = n;

	memcpy(php->a, a, sizeof(HpdataType) * n);

	// 建堆
	for (int i = 1; i < n; i++)
	{
		BAdjustUp(php->a, i);
	}
}

小堆：

//小堆
//向上调整
void LAdjustUp(HpdataType* a, int child)
{
	int parent = (child - 1) / 2;
	while (child > 0)
	{
		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] < a[parent])
		{
			Swap(&a[child], &a[parent]);
			child = parent;
			parent = (parent - 1) / 2;
		}
		else
		{
			break;
		}
	}
}

//小堆的初始化
void LHeapInitArray(Hp* php, int* a, int n)
{
	assert(php);
	assert(a);

	php->a = (HpdataType*)malloc(sizeof(HpdataType) * n);
	if (php->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	php->size = n;
	php->capacity = n;

	memcpy(php->a, a, sizeof(HpdataType) * n);

	// 建堆
	for (int i = 1; i < n; i++)
	{
		LAdjustUp(php->a, i);
	}
}

是不是漏了什么呢？堆都创建完成了，当然要进行插入数据的啦~~

以下的代码分别是大堆和小堆的插入：

//大堆的插入
void BHpPush(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);
		}

		php->a = tmp;
		php->capacity = newCapacity;
	}

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

	BAdjustUp(php->a, php->size - 1);
}
//小堆的插入
void LHpPush(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);
		}

		php->a = tmp;
		php->capacity = newCapacity;
	}

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

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

3.2.5 堆的删除

删除堆是删除堆顶的数据，将堆顶的数据根最后一个数据一换，然后删除数组最后一个数据，再进行向下调整算法。

创建二叉树的代码数据结构,数据结构

以下是代码的实现：

大堆的删除：

//大堆的删
void BHpPop(Hp* php)
{
	assert(php);
	assert(php->size > 0);

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

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

小堆的删除：

//小堆的删
void LHpPop(Hp* php)
{
	assert(php);
	assert(php->size > 0);

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

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

3.4 堆的应用

3.4.1 堆排序

        堆排序即利用堆的思想来进行排序，总共分为两个步骤：
        1. 建堆
                升序：建大堆
                降序：建小堆
        2. 利用堆删除思想来进行排序。建堆和堆删除中都用到了向下调整，因此掌握了向下调整，就可以完成堆排序。

创建二叉树的代码数据结构,数据结构

以下是代码示例：

//大堆的向下调整
void BigAdjustDown(int* a, int n,int parent)
{

	int child = parent * 2 + 1;
	
	while (child < n)
	{
		if (child + 1 < n && 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 HeapSort(int* a, int n)
{

	for (int i = (n - 2) / 2; i >= 0; i--)
	{
		BigAdjustDown(a, n, i);
	}

	int end = n - 1;
	while (end > 0)
	{
		Swap(&a[0], &a[end]);
		BigAdjustDown(a, end, 0);
		end--;
	}
}

3.4.2 TOP-K问题

TOP-K问题：即求数据结合中前K个最大的元素或者最小的元素，一般情况下数据量都比较大。比如：专业前10名、世界500强、富豪榜、游戏中前100的活跃玩家等。

对于Top-K问题，能想到的最简单直接的方式就是排序，但是：如果数据量非常大，排序就不太可取了(可能数据都不能一下子全部加载到内存中)。最佳的方式就是用堆来解决，基本思路如下：
1. 用数据集合中前K个元素来建堆
前k个最大的元素，则建小堆
前k个最小的元素，则建大堆
2. 用剩余的N-K个元素依次与堆顶元素来比较，不满足则替换堆顶元素。将剩余N-K个元素依次与堆顶元素比完之后，堆中剩余的K个元素就是所求的前K个最小或者最大的元素。

4.完整代码实现

Heap.h：

#pragma once

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include<stdbool.h>
#include <time.h>
#include <string.h>

typedef int HpdataType;

typedef struct Heap
{
	HpdataType* a;
	int size;
	int capacity;
}Hp;

//初始化
void HpInit(Hp* php);

//销毁
void HpDestory(Hp* php);

//打印
void HpPrint(Hp* php);

//插入
void HpPush(Hp* php, HpdataType x);

//删顶
void HpPop(Hp* php);

//获取顶部
HpdataType HpTop(Hp* php);

//大堆
//向上调整
void BAdjustUp(HpdataType* a, int child);
//向下调整
void BAdjustDown(HpdataType* a, int n, int parent);

//小堆
//向上调整
void LAdjustUp(HpdataType* a, int child);
//向下调整
void LAdjustDown(HpdataType* a, int n,int parent);

//是否为空
bool HpEmpty(Hp* php);

//交换数据
void Swap(HpdataType* p1, HpdataType* p2);

Heap.c：

#include"Heap.h"

void HpInit(Hp* php)
{
	assert(php);

	php->a = NULL;
	php->size = 0;
	php->capacity = 0;
}

//大堆的初始化
void BHeapInitArray(Hp* php, int* a, int n)
{
	assert(php);
	assert(a);

	php->a = (HpdataType*)malloc(sizeof(HpdataType) * n);
	if (php->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	php->size = n;
	php->capacity = n;

	memcpy(php->a, a, sizeof(HpdataType) * n);

	// 建堆
	for (int i = 1; i < n; i++)
	{
		BAdjustUp(php->a, i);
	}
}
//小堆的初始化
void LHeapInitArray(Hp* php, int* a, int n)
{
	assert(php);
	assert(a);

	php->a = (HpdataType*)malloc(sizeof(HpdataType) * n);
	if (php->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	php->size = n;
	php->capacity = n;

	memcpy(php->a, a, sizeof(HpdataType) * n);

	// 建堆
	for (int i = 1; i < n; i++)
	{
		LAdjustUp(php->a, i);
	}
}

void HpDestory(Hp* php)
{
	assert(php);

	free(php->a);
	php->a = NULL;
	php->size = php->capacity = 0;
}

void Swap(HpdataType* p1, HpdataType* p2)
{
	HpdataType tmp = *p1;
	*p1 = *p2;
	*p2 = tmp;
}

//小堆
//向上调整
void LAdjustUp(HpdataType* a, int child)
{
	int parent = (child - 1) / 2;
	while (child > 0)
	{
		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] < a[parent])
		{
			Swap(&a[child], &a[parent]);
			child = parent;
			parent = (parent - 1) / 2;
		}
		else
		{
			break;
		}
	}
}
//向下调整
void LAdjustDown(HpdataType* a, int n, int parent)
{
	int child = parent * 2 + 1;
	while (child < n)
	{
		//建小堆:if(...&& a[child]>a[child+1])
		//建大堆:if(...&& a[child]<a[child+1])
		
		if (child + 1 < n && a[child + 1] < a[child])
		{
			++child;
		}

		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] < a[parent])
		{
			Swap(&a[child], &a[parent]);
			// 继续往下调整
			parent = child;
			child = parent * 2 + 1;
		}
		else
		{
			break;
		}
	}
}

//大堆
//向上调整
void BAdjustUp(HpdataType* a, int child)
{
	int parent = (child - 1) / 2;
	while (child > 0)
	{
		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] > a[parent])
		{
			Swap(&a[child], &a[parent]);
			child = parent;
			parent = (parent - 1) / 2;
		}
		else
		{
			break;
		}
	}
}
//向下调整
void BAdjustDown(HpdataType* a, int n, int parent)
{
	int child = parent * 2 + 1;
	while (child < n)
	{
		//建小堆:if(...&& a[child]>a[child+1])
		//建大堆:if(...&& a[child]<a[child+1])

		if (child + 1 < n && a[child + 1] > a[child])
		{
			++child;
		}

		//建小堆：a[child] < a[parent]
		//建大堆：a[child] > a[parent]
		if (a[child] > a[parent])
		{
			Swap(&a[child], &a[parent]);
			// 继续往下调整
			parent = child;
			child = parent * 2 + 1;
		}
		else
		{
			break;
		}
	}
}

//大堆的插入
void BHpPush(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);
		}

		php->a = tmp;
		php->capacity = newCapacity;
	}

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

	BAdjustUp(php->a, php->size - 1);
}
//小堆的插入
void LHpPush(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);
		}

		php->a = tmp;
		php->capacity = newCapacity;
	}

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

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

void HpPrint(Hp* php)
{
	assert(php);

	for (size_t i = 0; i < php->size; i++)
	{
		printf("%d ", php->a[i]);
	}
	printf("\n");
}

//大堆的删
void BHpPop(Hp* php)
{
	assert(php);
	assert(php->size > 0);

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

	BAdjustDown(php->a, php->size, 0);
}
//小堆的删
void LHpPop(Hp* php)
{
	assert(php);
	assert(php->size > 0);

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

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

HpdataType HpTop(Hp* php)
{
	assert(php);
	assert(php->size > 0);

	return php->a[0];
}

bool HpEmpty(Hp* php)
{
	assert(php);

	return php->size == 0;
}

感谢大家坚持到底读下去，祝大家在称为大佬之路通畅无阻！文章来源地址https://www.toymoban.com/news/detail-773366.html

到了这里，关于数据结构之二叉树（详细版）的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！