树
树的概念与结构
树是⼀种⾮线性的数据结构,它是由 n(n>=0) 个有限结点组成⼀个具有层次关系的集合。把它叫做树是因为它看起来像⼀棵倒挂的树,也就是说它是根朝上,⽽叶朝下的。
PS
- 有⼀个特殊的结点,称为根结点,根结点没有前驱结点。
- 除根结点外,其余结点被分成 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; // 结点中的数据域};
假设我们有下图这样的二叉树,A是根节点,指向它左边的第一个孩子节点B,B在指向它右边的兄弟节点。这一层结束后,开始第三层,B再指向它的孩子节点D,D再指向它的兄弟节点E,F,E再指向它的左孩子H,H在指向它的兄弟节点I,C没有左孩子所以直接指向右孩子。
树形结构实际运⽤场景
⽂件系统是计算机存储和管理⽂件的⼀种⽅式,它利⽤树形结构来组织和管理⽂件和⽂件夹。在⽂件系统中,树结构被⼴泛应⽤,它通过⽗结点和⼦结点之间的关系来表⽰不同层级的⽂件和⽂件夹之间的关联。
二叉树
概念与结构
在树形结构中,我们最常⽤的就是⼆叉树,⼀棵⼆叉树是结点的⼀个有限集合,该集合由⼀个根结点加上两棵别称为左⼦树和右⼦树的⼆叉树组成或者为空。
从上图可以看出⼆叉树具备以下特点:
- ⼆叉树不存在度⼤于 2 的结点
- ⼆叉树的⼦树有左右之分,次序不能颠倒,因此⼆叉树是有序树
注意:对于任意的⼆叉树都是由以下⼏种情况复合⽽成的
特殊的⼆叉树
满⼆叉树
⼀个⼆叉树,如果每⼀个层的结点数都达到最⼤值,则这个⼆叉树就是满⼆叉树。也就是说,如果⼀个⼆叉树的层数为 K
,且结点总数是
2
k
− 1
,则它就是满⼆叉树。
完全⼆叉树
完全⼆叉树是效率很⾼的数据结构,完全⼆叉树是由满⼆叉树⽽引出来的。对于深度为
K
的,有
n
个结点的⼆叉树,当且仅当其每⼀个结点都与深度为K的满⼆叉树中编号从 1
⾄
n
的结点⼀⼀对应时称之为完全⼆叉树。要注意的是满⼆叉树是⼀种特殊的完全二叉树。
二叉树的性质
根据满⼆叉树的特点可知:
- 若规定根结点的层数为 1 ,则⼀棵⾮空⼆叉树的第i层上最多有 2 i−1 个结点
- 若规定根结点的层数为 1 ,则深度为 h 的⼆叉树的最⼤结点数是 2 h − 1
- 若规定根结点的层数为 1 ,具有 n 个结点的满⼆叉树的深度 h = log2 (n + 1) ( log 以2为底, n+1 为对数)
⼆叉树存储结构
⼆叉树⼀般可以使⽤两种结构存储,⼀种顺序结构,⼀种链式结构。
二叉树的顺序结构
顺序结构存储就是使⽤数组来存储,⼀般使⽤数组只适合表⽰完全⼆叉树,因为不是完全⼆叉树会有空间的浪费,完全⼆叉树更适合使⽤顺序结构存储。
现实中我们通常把堆(⼀种⼆叉树)使⽤顺序结构的数组来存储,需要注意的是这⾥的堆和操作系统虚拟进程地址空间中的堆是两回事,⼀个是数据结构,⼀个是操作系统中管理内存的⼀块区域分段。
二叉树的链式结构
⼆叉树的链式存储结构是指,⽤链表来表⽰⼀棵⼆叉树,即⽤链来指⽰元素的逻辑关系。 通常的⽅法是链表中每个结点由三个域组成,数据域和左右指针域,左右指针分别⽤来给出该结点左孩⼦和右孩⼦所在的链结点的存储地址 。链式结构⼜分为⼆叉链和三叉链,当前我们使用的一般都是⼆叉链。
实现顺序结构二叉树
⼀般堆使⽤顺序结构的数组来存储数据,堆是⼀种特殊的⼆叉树,具有⼆叉树的特性的同时,还具备其他的特性。
大堆和小堆
如果有⼀个关键码的集合
K
= {
k
0
,
k
1
,
k
2
, ...
,
k
n
−1
}
,把它的所有元素按完全⼆叉树的顺序存储⽅式存储,在⼀个⼀维数组中,并满⾜: K
i
<=
K
2∗
i
+1
(
K
i
>=
K
2∗
i
+1
且
K
i
<=
K
2∗
i
+2
),i = 0、
1
、
2...
,则称为⼩堆(或⼤堆)。将根结点最⼤的堆叫做最⼤堆或⼤根堆,根结点最⼩的堆叫做最⼩堆或⼩根堆。
堆具有以下性质
- 堆中某个结点的值总是不⼤于或不⼩于其⽗结点的值;
- 堆总是⼀棵完全⼆叉树。
⼆叉树性质
对于具有
n
个结点的完全⼆叉树,如果按照从上⾄下从左⾄右的数组顺序对所有结点从 0 开始编号,则对于序号为
i
的结点有:
- 若 i>0 , i 位置结点的双亲序号: (i-1)/2 ; i=0 , i 为根结点编号,⽆双亲结点
- 若 2i+1<n ,左孩⼦序号: 2i+1 , 2i+1>=n 否则⽆左孩⼦
- 若 2i+2<n ,右孩⼦序号: 2i+2 , 2i+2>=n 否则⽆右孩⼦
堆的实现
和往常一样,我们先创建Heap项目,在其中创建三个文件分别是头文件 Heap.h, 源文件Heap.c, test.c
堆的结构
这里我们实现的是二叉树的顺序结构,所以定义一个数组。这个数组的空间大小一直在变化所以我么定义一个capacity记录数组的容量大小。数组中并不一定所有数据都是有效的,所以我们再定义一个size用来记录数组中有效数据的个数。
代码:
//堆的结构
typedef int HPDataType;
typedef struct Heap {
HPDataType* arr;
int size;
int capacity;
}HP;
堆的初始化
把上述的三个元素,初始化为空。
代码:
//初始化
void HPInit(HP* php) {
assert(php);
php->arr = NULL;
php->size = php->capacity = 0;
}
堆的销毁
销毁的是数组里面动态申请的空间,free完成后,不要忘记把arr置为空!size和capacity也要置为0。
代码:
//销毁堆
void HPDesTroy(HP* php) {
if (php->arr) {
free(php->arr);
}
php->arr = NULL;
php->size = php->capacity = 0;
}
插入数据
想要插入数据需要先判断空间大小是否足够如果有效的数据个数和空间大小刚好一样说明没有位置了,想要继续插入数据就需要增容。在默认的时候开capacity是零,如果capacity等于零,那我就直接给他四,如果不等于零,我就让他二倍增容。
假设我想要建立一个小堆,我往数组中插入2 和 1,那么此时他就不是小堆。
那么这个时候我要怎么办呢?
我们就要调整堆,使其变成一个小堆。把 1 向上调整,让其与 2 交换位置。那么这种调整的方法我们称为
向上调整算法。
向上调整算法
假设现在我们要把10插入到数组中。直接插入数组中,他在最末尾的位置。那么此时我们应该怎么调整呢?
我们把10(孩子)直接和它的父节点比较,谁小谁往上放,10 就和 28 交换位置。再继续和它的父节点比较10 < 18,继续向上调整,直到找到比10小的父亲节点或孩子节点遍历到下表为 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 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("realloc fail\n");
exit(1);
}
php->arr = tmp;
php->capacity = newCapacity;
}
php->arr[php->size] = x;
//向上调整
ADjustUP(php->arr, php->size);
++php->size;
}
删除堆顶数据
假设我们有一个上图的一个小堆,我想删除堆顶数据10,如果我直接删除 10 ,那么这个堆就会变成下图
这个堆中的所有父子关系都会发生改变。那我们应该怎么办呢?
我们可以将堆顶和最后一个数据交换,让10 与 70 交换,然后把最后一个数据(10)删除,再让 70 回到它原有的位置。这样就不会破坏堆的结构。
删除堆顶后,该堆是下图的状态。当前堆不在是小堆,那我们再把它变成小堆不就行了。
我们让 70 (父节点)与它左右孩子中小的那一个交换,如此循环,直到该节点没有下一个节点或它比他的孩子小,循环停止。那么这种方法我们称为
向下调整算法
向下调整算法代码:
//向下调整
void AdjustDown(HPDataType* arr,int parent,int n) {
int child = parent * 2 + 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 = parent * 2 + 1;
}
else {
break;
}
}
}
删除堆顶数据代码:
//删除堆顶数据
void HPPop(HP* php) {
assert(!HPEmpty(php));
Swap(&php->arr[0], &php->arr[php->size - 1]);
--php->size;
//向下调整
AdjustDown(php->arr, 0, php->size);
}
获取堆顶数据
首先需要判断堆为不为空,堆不为空才能取到堆顶数据。堆顶的下标不就是0吗,所以我们直接return数组下标为0的位置就可以了
代码:
//获取堆顶数据
HPDataType HPTop(HP* php)
{
assert(!HPEmpty(php));
return php->arr[0];
}
测试结果
判空
堆中有效数据个数为0 的时候 数组就是空的。
代码:
// 判空
bool HPEmpty(HP* php) {
assert(php);
return php->size == 0;
}
求size
直接返回size就是堆中的有效数据个数
代码:
//求size
int HPSize(HP* php) {
assert(php);
return php->size;
}
全部代码:
Heap.h
#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 HPDesTroy(HP* php);
//插入数据
void HPPush(HP* php, HPDataType x);
//删除堆顶数据
void HPPop(HP* php);
// 判空
bool HPEmpty(HP* php);
//求size
int HPSize(HP* php);
Heap.c
#include"Heap.h"
//初始化
void HPInit(HP* php) {
assert(php);
php->arr = NULL;
php->size = php->capacity = 0;
}
//销毁堆
void HPDesTroy(HP* php) {
if (php->arr) {
free(php->arr);
}
php->arr = NULL;
php->size = php->capacity = 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 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("realloc fail\n");
exit(1);
}
php->arr = tmp;
php->capacity = newCapacity;
}
php->arr[php->size] = x;
//向上调整
ADjustUP(php->arr, php->size);
++php->size;
}// 判空
bool HPEmpty(HP* php) {
assert(php);
return php->size == 0;
}
//求size
int HPSize(HP* php) {
assert(php);
return php->size;
}
//向下调整
void AdjustDown(HPDataType* arr,int parent,int n) {
int child = parent * 2 + 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 = parent * 2 + 1;
}
else {
break;
}
}
}
//删除堆顶数据
void HPPop(HP* php) {
assert(!HPEmpty(php));
Swap(&php->arr[0], &php->arr[php->size - 1]);
--php->size;
//向下调整
AdjustDown(php->arr, 0, php->size);
}
test.c
#include"Heap.h"
void test() {
HP hp;
HPInit(&hp);
HPPush(&hp, 1);
HPPush(&hp, 2);
HPPush(&hp, 3);
HPPush(&hp, 4);
HPPop(&hp);
HPPop(&hp);
HPPop(&hp);
HPPop(&hp);
HPDesTroy(&hp);
}
int main() {
test();
return 0;
}
祝大家生活愉快。