C语言初识树和二叉树（二叉树的一些基本概念和性质）

Indifferent-

已于 2023-08-04 12:29:50 修改

阅读量134

点赞数 1

分类专栏：数据结构与算法文章标签：数据结构

于 2023-04-21 09:53:50 首次发布

本文链接：https://blog.csdn.net/m0_73070900/article/details/130227686

版权

数据结构与算法专栏收录该内容

23 篇文章 9 订阅

订阅专栏

目录

前言

一、树的定义

二、树的基本术语

三、二叉树的定义

四、二叉树的性质

总结

前言

树结构是一类重要的非线性数据结构。直观来看，树是以分支关系定义的层次结构。树结构在客观世界中广泛存在，如人类社会的族谱和各种社会组织机构都可用树来形象表示。树在计算机领域中也得到广泛应用，尤以二叉树最为常用。如在操作系统中，用树来表示文件目录的组织结构；在编译系统中，用树来表示源程序的语法结构；在数据库系统中，树结构也是信息的重要组织形式之一。

一、树的定义

树（True）是n（n≥0）个结点的有限集，它或为空树（n=0），或为非空树。对于非空树T:

有且仅有一个称之为根的结点；
除根结点以外的其余结点可分为m（m>0）个互不相交的有限集 $T_{1}$ ， $T_{2}$ ，…， $T_{m}$ ，其中每一个集合本身又是一棵树，并且称为根的子树（SubTree）。

例如（a）所示的是只有一个根节点的树，（b）所示的是有11个结点的树，其中A是根。

二、树的基本术语

（下面术语均上图（b）为例来说明。）

结点：树中的一个独立单元。包含一个数据元素及若干指向其子树的分支，如上图
（b）中的A、B、C、D等。
结点的度：结点拥有的子树数称为结点的度。例如，A的度为3，C的度为1，F的度为0。
树的度：树的度是树内各结点度的最大值。（b）所示的树的度为3。
叶子：度为0的结点称为叶子或终端结点。结点E、F、G、K、I、J都是树的叶子。
非终端结点：度不为0的结点称为非终端结点或分支结点。除根结点之外，非终端结点也称为内部结点。
双亲和孩子：结点的子树的根称为该结点的孩子，相应地，该结点称为孩子的双亲。
例如，B的双亲为A，B的孩子有B和F。
兄弟：同一个双亲的孩子之间互称兄弟。例如，H、I和J互为兄弟。
祖先：从根到该结点所经分支上的所有结点。例如，K的祖先为A、D和H。
子孙：以某结点为根的子树中的任一结点都称为该结点的子孙。如D的子孙为H、I、J和K。
层次：结点的层次从根开始定义，根为第一层，根的孩子为第二层。树中任一结点的层次等于其双亲结点的层次加1。
堂兄弟：双亲在同一层的结点互为堂兄弟。例如，结点G与E、F、H、I、J互为堂兄弟。
树的深度：树中结点的最大层次称为树的深度或高度。（b）所示的树的深度为4。
有序树和无序树：如果将树中结点的各子树看成从左至右是有次序的（不能互换），则称该树为有序树，否则称为无序树。在有序树中最左边的子树的根称为第一个孩子，最右边的称为最后一个孩子。
森林：m（m≥O）棵互不相交的树的集合。对树中每个结点而言，其子树的集合即为森林。

三、二叉树的定义

二叉树（Binary Tree）是n（n≥0）个结点所构成的集合，它或为空树（n=0），或为非空
树。对于非空树T:

有且仅有一个称之为根的结点；
除根结点以外的其余结点分为两个互不相交的子集 $T_{1}$ 和 $T_{2}$ ，分别称为T的左子树和右子
树，且 $T_{1}$ 和 $T_{2}$ 本身又都是二叉树。

也就是一个非空二叉树只有一个根节点，一个非空或空的左子树和右子树。

二叉树与树一样具有递归性质，二叉树与树的区别主要有以下两点：

二叉树每个结点至多只有两棵子树（二叉树中不存在度大于2的结点）;
二叉树的子树有左右之分，其次序不能任意颠倒。

二叉树的5种基本形态：

四、二叉树的性质

先了解两种特殊形态的二叉树，满二叉树和完全二叉树。

满二叉树：深度为k且含有 $2^{k}-1$ 个结点的二叉树。每一层上的结点数都是最大结点数。

也就是最后一层结点左右子树均为空以外，上层结点左右子树均不为空，跟字面意思一样,每层结点满的ovo。

完全二叉树：深度为k的、有n个结点的二叉树，当且仅当其每一个结点都与深度为k的满二叉树中编号从1至n的结点——对应时，称之为完全二叉树。

完全二叉树与满二叉树的区别在于完全二叉树最后一层左边是连续的结点而右边可以是连续的空结点，一定是从左到最右边（编号是从左往右的）连续的空结点，其他结点和满二叉树是一样的，空结点数也可以为0，所以满二叉树是一种特殊类型的完全二叉树。

二叉树具有下列重要特性：

1.在二叉树的第i层上至多有 $2^{i-1}$ $\left ( i\geqslant 1 \right )$ 个结点。

证明：

结点最多的情况就是二叉树为满二叉树，非空二叉树结点数最少的情况每层一个结点

第1层一个

第2层两个

第3层四个

第4层八个

······

可以看出满二叉树每层结点数成等比数列，首项为1，公比为2，那么通项公式为 $a_{n}=a_{1}\cdot q^{n-1}=1\times 2^{n-1}=2^{n-1}$ ，也就是每层结点数的计算公式。

2.深度为k的二叉树至多有 $2^{k}-1\left ( k\geq 1 \right )$ 个结点。

证明：

考虑结点数最大情况，求二叉树结点和，由性质1知就是对等比数列求和，

$S_{n}=\frac{a_{1}\cdot \left ( 1-q^{n} \right )}{1-q}=\frac{1\times \left ( 1-2^{n} \right )}{1-2}=2^{n}-1$

3.对任何一棵二叉树T，如果其终端结点（度为0的结点，也就是叶子结点）数为 $n_{0}$ ，度为2的结点数为 $n_{2}$ ，则 $n_{0}=n_{2}+1$ 。

证明：

设 $n_{1}$ 为二叉树T中度为1的结点数，由二叉树特点知总结点数为：

（1） $n=n_{0}+n_{1}+n_{2}$

再看二叉树分支数。除了根结点外，其余结点都有一个分支进入，设B为分支总数，则 $n=B+1$ 。 $n_{0}$ 不射出分支， $n_{1}$ 射出一条分支， $n_{2}$ 射出两条分支，所以有 $B=n_{1}+2\cdot n_{2}$ ，

于是得：（2） $n=n_{1}+2\cdot n_{2}+1$

由（1）、（2）式得：

$n_{0}=n_{2}+1$

4.具有n个结点的完全二叉树的深度为 $\left \lfloor log _{2} n\right \rfloor+1$ 。

证明：

设深度为k，n取最大时，完全二叉树为满二叉树，n取最小时，最下面一层只有一个结点，根据性质2有：

$2^{k-1}-1< n\leqslant 2^{k}-1$ 或 $2^{k-1}< n\leqslant 2^{k}$

取对数得： $k-1< log_{2}n\leqslant k$ ，因为k为整数，所以 $k=\left \lfloor log_{2}n \right \rfloor+1$ 。

5.如果对一棵有n个结点的完全二叉树（其深度为 $\left \lfloor log _{2} n\right \rfloor+1$ ）的结点按层序编号（从第一层到第 $\left \lfloor log _{2} n\right \rfloor+1$ 层，每层从左到右），则对任一结点 $i\left ( 1\leqslant i\leqslant n \right )$ ，以下结论成立：