数据结构 —— 二叉树

本是古典何须时尚 2021-12-08 15:57 330阅读 0赞

### 文章目录 ###

*  前言
 *  一、 概念
 *   *  1.1 结点
     *  1.2 树结点
 *  二、 树
 *   *  2.1 树的定义
     *  2.2 结点的度
     *  2.3 结点关系（孩子结点、双亲结点、兄弟结点）
     *  2.4 结点层次
     *  2.5 树的深度
     *  2.6 树的种类
 *  三、二叉树
 *   *  3.1 定义
     *  3.2 二叉树特点
     *  3.3 二叉树性质
     *  3.4 斜树
     *  3.5 满二叉树
     *  3.6 完全二叉树
     *  3.7 二叉树的存储结构
     *   *  3.7.1 顺序存储
         *  3.7.2 链式存储
     *  3.8 二叉树遍历
     *   *  3.8.1 定义
         *  3.8.2 前序遍历
         *  3.8.3 中序遍历
         *  3.8.4 后序遍历
         *  3.8.5 层次遍历
 *  四、面试题
 *   *  1）已知前序遍历序列和中序遍历序列，确定一棵二叉树。
     *  2）已知后序遍历序列和中序遍历序列，确定一棵二叉树。
     *  3）相同的树

# 前言 #

**树**是数据结构中的重中之重，尤其以各类二叉树为学习的难点。一直以来，对于树的掌握都是模棱两可的状态，现在希望通过写一个关于二叉树的专题系列。在学习与总结的同时更加深入的了解掌握二叉树。本系列文章将着重介绍一般 二叉树、完全二叉树、满二叉树、线索二叉树、霍夫曼树、二叉排序树、平衡二叉树、红黑树、B树。希望各位读者能够关注专题，并给出相应意见，通过系列的学习做到心中有“树”。

# 一、 概念 #

## 1.1 结点 ##

**结点** 是数据结构中的基础，是 构成复杂数据结构的基本组成单位。

public class TreeNode { 
    	Object val;
    	TreeNode left;   //左节点
    	TreeNode right;  //右节点
    
    	TreeNode(int x) { 
    		val = x;
    	}
    }

## 1.2 树结点 ##

本文章中提及的结点专指树的结点。

例如：结点A在图中表示为：

![img][]

# 二、 树 #

## 2.1 树的定义 ##

**树（Tree）** 是n（n>=0)个结点的有限集。n=0时称为 **空树**。

在任意一颗非空树中：

1）有且仅有一个特定的称为根（Root）的结点；  
2）当n>1时，其余结点可分为m(m>0)个互不相交的有限集T1、T2、…、Tn，其中每一个集合本身又是一棵树，并且称为根的子树。

此外，树的定义还需要强调以下两点：  
1）n>0时，根结点是唯一的，不可能存在多个根结点，数据结构中的树只能有一个根结点。  
2）m>0时，子树的个数没有限制，但它们一定是互不相交的。

示例树：  
图2.1为一棵普通的树：

![img][img 1]

图2.1 普通树

由树的定义可以看出，树的定义使用了**递归的方式**。递归在树的学习过程中起着重要作用。

## 2.2 结点的度 ##

结点拥有的子树的个数称为 结点的**度**。

图2.2中标注了图2.1所示树的各个结点的度。

![img][img 2]

图2.2 结点的度示意图

> 什么是树的度：  
> 在树的所有节点中，**度** 最大的值，就是树的度。

## 2.3 结点关系（孩子结点、双亲结点、兄弟结点） ##

结点子树的根结点为该结点的 **孩子结点**。相应该结点称为孩子结点的**双亲结点**。  
图2.2中，A为B的双亲结点，B为A的孩子结点。

同一个双亲结点的孩子结点之间互称**兄弟结点**。  
图2.2中，结点B与结点C互为兄弟结点。

## 2.4 结点层次 ##

从根开始定义起，根为第一层，根的孩子为第二层，以此类推。  
图2.3表示了图2.1所示树的层次关系

![img][img 3]

图2.3 层示意图

## 2.5 树的深度 ##

树中结点的最大层次数称为 **树的深度或高度**。图2.3所示树的深度为4。

## 2.6 树的种类 ##

![在这里插入图片描述][20190716162941395.png]

# 三、二叉树 #

## 3.1 定义 ##

**二叉树** 是结点的有限集合，这个集合或者为空，或者由一个根结点和两颗互不相交的分别称为左子树和右子树的二叉树组成 。

图3.1展示了一棵普通二叉树：

![img][img 4]

图3.1 二叉树

## 3.2 二叉树特点 ##

由二叉树定义以及图示分析得出二叉树有以下特点：  
1）每个结点最多有两颗子树，所以二叉树中不存在度大于2的结点。  
2）左子树和右子树是有顺序的，次序不能任意颠倒。  
3）即使树中某结点只有一棵子树，也要区分它是左子树还是右子树。

## 3.3 二叉树性质 ##

1）在二叉树的第i层上最多有2i-1 个节点 。（i>=1）  
2）二叉树中如果深度为k，那么最多有2k-1个节点。(k>=1）  
3）n0=n2+1， n0表示度数为0的节点数，n2表示度数为2的节点数。  
4）在完全二叉树中，具有n个节点的完全二叉树的深度为\[log2n\]+1，其中\[log2n\]是向下取整。  
5）若对含 n 个结点的完全二叉树从上到下且从左至右进行 1 至 n 的编号，则对完全二叉树中任意一个编号为 i 的结点有如下特性：

> (1) 若 i=1，则该结点是二叉树的根，无双亲, 否则，编号为 \[i/2\] 的结点为其双亲结点;  
> (2) 若 2i>n，则该结点无左孩子， 否则，编号为 2i 的结点为其左孩子结点；  
> (3) 若 2i+1>n，则该结点无右孩子结点， 否则，编号为2i+1 的结点为其右孩子结点。

## 3.4 斜树 ##

**斜树**：所有的结点都只有左子树的二叉树叫左斜树。所有结点都是只有右子树的二叉树叫右斜树。这两者统称为斜树。

![img][img 5]

图3.2 左斜树

![img][img 6]

图3.3 右斜树

## 3.5 满二叉树 ##

**满二叉树**：在一棵二叉树中。如果所有分支结点都存在左子树和右子树，并且所有叶子都在同一层上，这样的二叉树称为满二叉树。

满二叉树的特点有：  
1）叶子只能出现在最下一层。出现在其它层就不可能达成平衡。  
2）非叶子结点的度一定是2。  
3）在同样深度的二叉树中，满二叉树的结点个数最多，叶子数最多。

![img][img 7]

图3.4 满二叉树

## 3.6 完全二叉树 ##

**完全二叉树**：若设二叉树的深度为h，除第 h 层外，其它各层 (1～h-1) 的结点数都达到最大个数，第 h 层所有的结点都连续集中在最左边，这就是完全二叉树。(**国内的定义**)

图3.5展示一棵完全二叉树 。

![img][img 8]

图3.5 完全二叉树

特点：

1）叶子结点只能出现在最下层和次下层。

2）最下层的叶子结点集中在树的左部。

3）倒数第二层若存在叶子结点，一定在左部连续位置。

4）如果结点度为1，则该结点只有左孩子，即没有右子树。

5）同样结点数目的二叉树，完全二叉树深度最小。

注：满二叉树一定是完全二叉树，但反过来不一定成立。

## 3.7 二叉树的存储结构 ##

### 3.7.1 顺序存储 ###

二叉树的顺序存储结构就是使用一维数组存储二叉树中的结点，并且结点的存储位置，就是数组的下标索引。

![img][img 9]

图3.6

图3.6所示的一棵完全二叉树采用顺序存储方式，如图3.7表示：

![img][img 10]

图3.7 顺序存储

由图3.7可以看出，当二叉树为完全二叉树时，结点数刚好填满数组。  
那么当二叉树不为完全二叉树时，采用顺序存储形式如何呢？例如：对于图3.8描述的二叉树：

![img][img 11]

图3.8.png

其中浅色结点表示结点不存在。那么图3.8所示的二叉树7的顺序存储结构如图3.9所示：

![img][img 12]

图3.9

其中，∧表示数组中此位置没有存储结点。此时可以发现，顺序存储结构中已经出现了空间浪费的情况。  
那么对于图3.3所示的右斜树极端情况对应的顺序存储结构如图3.10所示：

![img][img 13]

图3.10

由图3.10可以看出，对于这种右斜树极端情况，采用顺序存储的方式是十分浪费空间的。因此，顺序存储一般适用于完全二叉树。

### 3.7.2 链式存储 ###

既然顺序存储不能满足二叉树的存储需求，那么考虑采用链式存储。由二叉树定义可知，二叉树的每个结点最多有两个孩子。因此，可以将结点数据结构定义为一个数据和两个指针域。表示方式如图3.11所示：

![img][img 14]

图3.11

定义结点代码：

typedef struct BiTNode{ 
        TElemType data;         //数据
        struct BiTNode *lchild; //左孩子指针
        struct BiTNode *rchild; //右孩子指针
    } BiTNode, *BiTree;

则图3.6 所示的二叉树可以采用图3.12表示。

![img][img 15]

图3.12

图3.12中采用一种链表结构存储二叉树，这种链表称为二叉链表。

## 3.8 二叉树遍历 ##

二叉树的遍历一个重点考查的知识点。

### 3.8.1 定义 ###

**二叉树的遍历** 是指从二叉树的根结点出发，按照某种次序依次访问二叉树中的所有结点，使得每个结点被访问一次，且仅被访问一次。

树的遍历分为两种：

*  深度优先（DFS）
    
     *  前序遍历
     *  中序遍历
     *  后序遍历
 *  广度优先（BFS）
    
     *  层次遍历

### 3.8.2 前序遍历 ###

**前序遍历** 通俗的说就是从二叉树的根结点出发，当第一次到达结点时就输出结点数据，按照先向左再向右的方向访问。

![在这里插入图片描述][20190716163137702.png]

图3.13-前序遍历

图3.13所示二叉树访问如下：

1.  从根结点出发，则第一次到达结点A，故输出A;
2.  继续向左访问，第一次访问结点B，故输出B；
3.  按照同样规则，输出D，输出H；
4.  当到达叶子结点H，返回到D，此时已经是第二次到达D，故不在输出D，进而向D右子树访问，D右子树不为空，则访问至I，第一次到达I，则输出I；
5.  I为叶子结点，则返回到D，D左右子树已经访问完毕，则返回到B，进而到B右子树，第一次到达E，故输出E；
6.  向E左子树，故输出J；
7.  按照同样的访问规则，继续输出C、F、G；

则3.13所示二叉树的前序遍历输出为：

ABDHIEJCFG

### 3.8.3 中序遍历 ###

**中序遍历** 就是从二叉树的根结点出发，当 **第二次** 到达结点时就输出结点数据，按照先向左在向右的方向访问。

图3.13所示二叉树中序访问如下：

1.  从根结点出发，则第一次到达结点A，不输出A，继续向左访问，第一次访问结点B，不输出B；继续到达D，H；
2.  到达H，H左子树为空，则返回到H，此时第二次访问H，故输出H；
3.  H右子树为空，则返回至D，此时第二次到达D，故输出D；
4.  由D返回至B，第二次到达B，故输出B；
5.  按照同样规则继续访问，输出J、E、A、F、C、G；

![在这里插入图片描述][20190716162539194.png]

图3.14-中序遍历

则3.14所示二叉树的中序遍历输出为：

HDIBJEAFCG

### 3.8.4 后序遍历 ###

**后序遍历**就是从二叉树的根结点出发，当 **第三次** 到达结点时就输出结点数据，按照先向左在向右的方向访问。

图3.13所示二叉树后序访问如下：

1.  从根结点出发，则第一次到达结点A，不输出A，继续向左访问，第一次访问结点B，不输出B；继续到达D，H；
2.  到达H，H左子树为空，则返回到H，此时第二次访问H，不输出H；
3.  H右子树为空，则返回至H，此时第三次到达H，故输出H；
4.  由H返回至D，第二次到达D，不输出D；
5.  继续访问至I，I左右子树均为空，故第三次访问I时，输出I；
6.  返回至D，此时第三次到达D，故输出D；
7.  按照同样规则继续访问，输出J、E、B、F、G、C，A；

![在这里插入图片描述][20190716162554289.png]

图3.15-后序遍历

则图3.15 所示二叉树的后序遍历输出为：

HIDJEBFGCA

虽然二叉树的遍历过程看似繁琐，但是由于二叉树是一种递归定义的结构，故采用递归方式遍历二叉树的代码十分简单。  
递归实现代码如下：

/*二叉树的前序遍历递归算法*/
    void PreOrderTraverse(BiTree T)
    { 
        if(T==NULL)
        return;
        printf("%c", T->data);  /*显示结点数据，可以更改为其他对结点操作*/
        PreOrderTraverse(T->lchild);    /*再先序遍历左子树*/
        PreOrderTraverse(T->rchild);    /*最后先序遍历右子树*/
    }
    
    
    /*二叉树的中序遍历递归算法*/
    void InOrderTraverse(BiTree T)
    { 
        if(T==NULL)
        return;
        InOrderTraverse(T->lchild); /*中序遍历左子树*/
        printf("%c", T->data);  /*显示结点数据，可以更改为其他对结点操作*/
        InOrderTraverse(T->rchild); /*最后中序遍历右子树*/
    }
    
    
    /*二叉树的后序遍历递归算法*/
    void PostOrderTraverse(BiTree T)
    { 
        if(T==NULL)
        return;
        PostOrderTraverse(T->lchild);   /*先后序遍历左子树*/
        PostOrderTraverse(T->rchild);   /*再后续遍历右子树*/
        printf("%c", T->data);  /*显示结点数据，可以更改为其他对结点操作*/
    }

### 3.8.5 层次遍历 ###

层次遍历就是 从二叉树的第一层（根结点）开始，从上至下逐层遍历，在同一层中从左至右依次遍历。

针对图3.13所示二叉树的层次遍历结果为：

ABCDEFGHIJ

示例2：

![在这里插入图片描述][20190716162642820.png]

# 四、面试题 #

对于二叉树的遍历有一类典型题型。

## 1）已知前序遍历序列和中序遍历序列，确定一棵二叉树。 ##

例题：若一棵二叉树的前序遍历为ABC DEF，中序遍历为CBA EDF，请画出这棵二叉树。

分析：前序遍历第一个输出结点为根结点，故A为根结点。早中序遍历中根结点处于左右子树结点中间，故结点A的左子树中结点有CB，右子树中结点有EDF。  
如图3.14所示：

![img][img 16]

图3.14

按照同样的分析方法，对A的左右子树进行划分，最后得出二叉树的形态如图3.15所示：

![img][img 17]

图3.15.png

## 2）已知后序遍历序列和中序遍历序列，确定一棵二叉树。 ##

后序遍历中最后访问的为根结点，因此可以按照上述同样的方法，找到根结点后分成两棵子树，进而继续找到子树的根结点，一步步确定二叉树的形态。  
**注**：已知前序遍历序列和后序遍历序列，不可以唯一确定一棵二叉树。

## 3）相同的树 ##

给定两个二叉树，编写一个函数来检验它们是否相同。

如果两个树在结构上相同，并且节点具有相同的值，则认为它们是相同的。

示例 1:

输入:       1         1
              / \       / \
             2   3     2   3
    
            [1,2,3],   [1,2,3]
    
    输出: true

示例 2:

输入:      1          1
              /           \
             2             2
    
            [1,2],     [1,null,2]
    
    输出: false

示例 3:

输入:       1         1
              / \       / \
             2   1     1   2
    
            [1,2,1],   [1,1,2]
    
    输出: false

代码：

package TreeNode;
    
    class TreeNode {
    	int val;
    	TreeNode left;
    	TreeNode right;
    
    	TreeNode(int x) {
    		val = x;
    	}
    }
    
    public class Solution {
    
    	public boolean isSameTree(TreeNode p, TreeNode q) {
    		 
    		if (p == null && q == null) {
    			return true;
    		}
    		if ((p != null && q == null) || (p == null && q != null)) {
    			return false;
    		}
    		
    		if (p.val == q.val) {
    			return isSameTree(p.left, q.left) || isSameTree(p.right, q.right);
    		}
    		
    		return false;
    	}
    
    }

链接：https://www.jianshu.com/p/bf73c8d50dc2

[img]: /images/20211208/61e65a7eb2824ffa89048874c7b32d31.png
[img 1]: /images/20211208/a4793c2545a74b7495083383d281a9f3.png
[img 2]: /images/20211208/b7aa65866fb1475ab9542da2a6855ef9.png
[img 3]: /images/20211208/a2d14dd94cb5462d88a8080f76d970af.png
[20190716162941395.png]: /images/20211208/acd32e92fb3449568afbf652d466545a.png
[img 4]: /images/20211208/6a7b79232a9247b1ac8b05d0e9b6961a.png
[img 5]: /images/20211208/666658a3b32c4e2caa8d8a6bb685bd4c.png
[img 6]: /images/20211208/fc2377d9001740b8965da635f837772e.png
[img 7]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LWM3YTU1N2RkYTRmZmM3ZGEucG5n
[img 8]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9pbWFnZXMyMDE3LmNuYmxvZ3MuY29tL2Jsb2cvMTEzODExNy8yMDE4MDEvMTEzODExNy0yMDE4MDEyNDA5NTYyMTg5Ny0yNzUxNTEzNzIucG5n
[img 9]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTMyOTMyNDI3Njk2OTYzMDMucG5n
[img 10]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LWU5MTY1ODBjMDYxYTExMzkucG5n
[img 11]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTkyZDhhOGQ2MWMyYWFjZTcucG5n
[img 12]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LWQ2Y2QwMjg1NmIzODZkNmQucG5n
[img 13]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTBhZGE0MmIwNGUwODYxYTgucG5n
[img 14]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTk1Y2QxOGU4Y2MyMDMxNmUucG5n
[img 15]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTczYWUyMDE1MDZhN2FkYzkucG5n
[20190716163137702.png]: https://img-blog.csdnimg.cn/20190716163137702.png
[20190716162539194.png]: https://img-blog.csdnimg.cn/20190716162539194.png
[20190716162554289.png]: https://img-blog.csdnimg.cn/20190716162554289.png
[20190716162642820.png]: https://img-blog.csdnimg.cn/20190716162642820.png
[img 16]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LThjOTRmNDM3ZjY2YjVkNDQucG5n
[img 17]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWQtaW1hZ2VzLmppYW5zaHUuaW8vdXBsb2FkX2ltYWdlcy83MDQzMTE4LTYzYjlhY2Q5ZGM2OTIwMWIucG5n