公司 备案 网站名称百度推广联盟

八，树与二叉树

树

概念与结构

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

• 有⼀个特殊的结点，称为根结点，根结点没有前驱结点。

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

树形结构中，⼦树之间不能有交集，否则就不是树形结构

⼦树是不相交的（如果存在相交就是图了）

除了根结点外，每个结点有且仅有⼀个⽗结点

⼀棵N个结点的树有N-1条边

树的相关术语

⽗结点/双亲结点：若⼀个结点含有⼦结点，则这个结点称为其⼦结点的⽗结点； 如上图：A是B的⽗结点

⼦结点/孩⼦结点：⼀个结点含有的⼦树的根结点称为该结点的⼦结点； 如上图：B是A的孩⼦结点

结点的度：⼀个结点有⼏个孩⼦，他的度就是多少；⽐如A的度为6，F的度为2，K的度为0

树的度：⼀棵树中，最⼤的结点的度称为树的度； 如上图：树的度为 6

叶⼦结点/终端结点：度为 0 的结点称为叶结点； 如上图： B、C、H、I… 等结点为叶结点

分⽀结点/⾮终端结点：度不为 0 的结点； 如上图： D、E、F、G… 等结点为分⽀结点

兄弟结点：具有相同⽗结点的结点互称为兄弟结点(亲兄弟)； 如上图： B、C 是兄弟结点

结点的层次：从根开始定义起，根为第 1 层，根的⼦结点为第 2 层，以此类推；

树的⾼度或深度：树中结点的最⼤层次； 如上图：树的⾼度为 4

结点的祖先：从根到该结点所经分⽀上的所有结点；如上图： A 是所有结点的祖先

路径：⼀条从树中任意节点出发，沿⽗节点-⼦节点连接，达到任意节点的序列；⽐如A到Q的路径为：A-E-J-Q；H到Q的路径H-D-A-E-J-Q

⼦孙：以某结点为根的⼦树中任⼀结点都称为该结点的⼦孙。如上图：所有结点都是A的⼦孙

森林：由 m（m>0） 棵互不相交的树的集合称为森林；

树的表示

树有很多种表⽰⽅式如：双亲表⽰法，孩⼦表⽰法、孩⼦双亲表⽰法以及孩⼦兄弟表⽰法等。我们这⾥就简单的了解其中最常⽤的孩⼦兄弟表⽰法

struct TreeNode 
{ struct TreeNode* child; // 左边开始的第⼀个孩⼦结点 struct TreeNode* brother; // 指向其右边的下⼀个兄弟结点 int data; // 结点中的数据域 
};

二叉树

概念与结构

在树形结构中，我们最常⽤的就是⼆叉树，⼀棵⼆叉树是结点的⼀个有限集合，该集合由⼀个根结点 加上两棵别称为左⼦树和右⼦树的⼆叉树组成或者为空。

⼆叉树具备以下特点：

1，⼆叉树不存在度⼤于 2 的结点

2，⼆叉树的⼦树有左右之分，次序不能颠倒，因此⼆叉树是有序树

注意：对于任意的⼆叉树都是由以下⼏种情况复合⽽成的

满⼆叉树

⼀个⼆叉树，如果每⼀个层的结点数都达到最⼤值，则这个⼆叉树就是满⼆叉树。也就是说，如果⼀个⼆叉树的层数为 K ，且结点总数是 2k − 1 ，则它就是满⼆叉树。

完全⼆叉树

完全⼆叉树是效率很⾼的数据结构，完全⼆叉树是由满⼆叉树⽽引出来的。对于深度为 K 的，有 n 个

结点的⼆叉树，当且仅当其每⼀个结点都与深度为K的满⼆叉树中编号从 1 ⾄ n 的结点⼀⼀对应时称之为完全⼆叉树。要注意的是满⼆叉树是⼀种特殊的完全⼆叉树。

⼆叉树性质

根据满⼆叉树的特点可知：

1）若规定根结点的层数为 1 ，则⼀棵⾮空⼆叉树的第i层上最多有 2i−1 个结点

2）若规定根结点的层数为 1 ，则深度为 h 的⼆叉树的最⼤结点数是 2h − 1

3）若规定根结点的层数为 1 ，具有 n 个结点的满⼆叉树的深度 h = log2 (n + 1) ( log

以2为底， n+1 为对数)

⼆叉树存储结构

顺序结构

链式结构

实现顺序结构的二叉树

⼀般堆使⽤顺序结构的数组来存储数据，堆是⼀种特殊的⼆叉树，具有⼆叉树的特性的同时，还具备其他的特性。

堆

小堆（小根堆）：堆顶是堆里最小的数据

大堆（小根堆）：堆顶是堆里最大的数据

堆的性质

堆中某个结点的值总是不⼤于或不⼩于其⽗结点的值；

堆总是⼀棵完全⼆叉树。

⼆叉树性质

对于具有 n 个结点的完全⼆叉树，如果按照从上⾄下从左⾄右的数组顺序对所有结点从

0开始编号，则对于序号为 i 的结点有：

1，若 i>0 ， i 位置结点的双亲序号： (i-1)/2 ； i=0 ， i 为根结点编号，⽆双亲结点

2，若 2i+1<n ，左孩⼦序号： 2i+1 ， 2i+1>=n 否则⽆左孩⼦

3，若 2i+2<n ，右孩⼦序号： 2i+2 ， 2i+2>=n 否则⽆右孩⼦

堆的实现

堆底层结构为数组

头文件Heap.h

#pragma once
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<stdbool.h>//堆的结构
typedef int HPDataType;
typedef struct Heap
{HPDataType* arr;int size;		//有效数据个数int capacity;	//空间大小
}HP;
//初始化
void HPInit(HP* php);
//销毁
void HPDestory(HP* php);
//打印
void HPPrint(HP* php);
//入堆
void HPPush(HP* php, HPDataType x);
//判断堆是否为空
bool HPEmpty(HP* php);
//向下调整
void AdjustDowm(HPDataType* arr, int parent, int n);
//出堆
void HPPop(HP* php);
//取堆顶元素
HPDataType* HPTop(HP* php);

实现Heap.c

#define _CRT_SECURE_NO_WARNINGS
#include"Heap.h"//初始化
void HPInit(HP* php)
{assert(php);php->arr = NULL;php->size = php->capacity = 0;
}//销毁
void HPDestory(HP* php)
{assert(php);if (php->arr)free(php->arr);php->arr = NULL;php->size = php->capacity = 0;
}//打印
void HPPrint(HP* php)
{assert(php);for (int i = 0; i < php->size; i++){printf("%d ", php->arr[i]);}printf("\n");
}//交换
void Swap(int* x, int* y)
{int tmp = *x;*x = *y;*y = tmp;
}//调整
void AdjustUp(HPDataType* arr,int child)
{int parent = (child - 1) / 2;while (child > 0){//控制小堆，大堆if (arr[child] > arr[parent]){Swap(&arr[child], &arr[parent]);child = parent;parent = (child - 1) / 2;}else{break;}}
}//入堆
void HPPush(HP* php, HPDataType x)
{assert(php);//判断空间if (php->size == php->capacity){int newcapacity = php->capacity == 0 ? 4 : 2 * php->capacity;HPDataType* tmp = (HPDataType*)realloc(php->arr,sizeof(HPDataType) * newcapacity);if (tmp == NULL){perror("HPPush()::realloc fail");exit(1);}php->arr = tmp;php->capacity = newcapacity;}//插入php->arr[php->size] = x;//调整，向上调整AdjustUp(php->arr,php->size - 1);++php->size;
}//判断堆是否为空
bool HPEmpty(HP* php)
{assert(php);return php->size == 0;
}//向下调整
void AdjustDowm(HPDataType* arr,int parent,int n)
{int child = 2 * parent + 1;while (child < n){//控制大堆，小堆//保证右孩子同样不越界if (child + 1 < n && arr[child] < arr[child + 1]){child++;}if (arr[child] > arr[parent]){Swap(&arr[child], &arr[parent]);parent = child;child = 2 * parent + 1;}else{break;}}}//出堆
//出的是堆顶元素
//1，堆顶元素与最后一个（size-1）元素交换
//2，调整，向下调整，假设成大堆，比较左右孩子，较大的与父结点比较。
void HPPop(HP* php)
{//首先堆不能为空assert(!HPEmpty(php));//先交换Swap(&php->arr[0], &php->arr[php->size - 1]);--php->size;//调整AdjustDowm(php->arr,0,php->size);
}//取堆顶元素
HPDataType* HPTop(HP* php)
{assert(!HPEmpty(php));return php->arr[0];
}

测试文件test.c

#define _CRT_SECURE_NO_WARNINGS
#include"Heap.h"void test()
{HP hp;HPInit(&hp);HPPush(&hp, 15);HPPush(&hp, 10);HPPush(&hp, 56);HPPush(&hp, 70);HPPush(&hp, 45);HPPrint(&hp);//HPPop(&hp);//HPPop(&hp);//HPPop(&hp);//HPPrint(&hp);while (!HPEmpty(&hp)){int top = HPTop(&hp);printf("%d ", top);HPPop(&hp);}HPDestory(&hp);
}int main()
{test();return 0;
}

堆排序

//交换
void Swap(int* x, int* y)
{int tmp = *x;*x = *y;*y = tmp;
}//向上调整
void AdjustUp(HPDataType* arr,int child)
{int parent = (child - 1) / 2;while (child > 0){//控制小堆<，大堆>if (arr[child] > arr[parent]){Swap(&arr[child], &arr[parent]);child = parent;parent = (child - 1) / 2;}else{break;}}
}//向下调整
void AdjustDowm(int* arr,int parent,int n)
{int child = 2 * parent + 1;while (child < n){//控制大堆<，小堆>//保证右孩子同样不越界if (child + 1 < n && arr[child] > arr[child + 1]){child++;}//大堆>，小堆<if (arr[child] < arr[parent]){Swap(&arr[child], &arr[parent]);parent = child;child = 2 * parent + 1;}else{break;}}}//堆排序(借助堆的思想实现)
void HPSort2(int* arr, int n)
{建堆,向下调整,升序大堆，降序小堆//assert(arr);//for (int i = (n - 1 - 1) / 2; i >= 0; i--)//{//	AdjustDowm(arr, i, n);//}建堆,向上调整assert(arr);for (int i = 0; i < n; i++){AdjustUp(arr, i);}//堆排序int end = n - 1;while (end > 0){Swap(&arr[0],&arr[end]);AdjustDowm(arr, 0, end);end--;}
}int main()
{test();int arr[] = { 2,3,5,1,9,7,5,8,6,0 };int n = sizeof(arr) / sizeof(arr[0]);for (int i = 0; i < n; i++){printf("%d ", arr[i]);}printf("\n");HPSort2(&arr, n);for (int i = 0; i < n; i++){printf("%d ", arr[i]);}printf("\n");return 0;
}

我们可以发现建堆时，使用向上（向下）调整算法都可以，那么哪种更好一点呢？

从时间复杂度来进行比较，向上调整算法建堆的时间复杂度为O(n ∗ log2 n) ，向下调整算法建堆的时间复杂度为O(n)，所以一般使用向下调整算法建堆

下面是分析过程：

向上调整算法建堆时间复杂度

向下调整算法建堆时间复杂度

TOP-K问题

n >> k