11、二叉树：定义、性质与遍历算法详解

二叉树：定义、性质与遍历算法详解

1. 二叉树的定义

1.1 递归定义

二叉树是一个递归定义的数据结构，它要么是空集，要么是一个三元组 ( T = (x, L, R) )，其中 ( x ) 是一个节点，( L ) 和 ( R ) 是不相交的二叉树，且都不包含 ( x )。节点 ( x ) 被称为树 ( T ) 的根，子树 ( L ) 和 ( R ) 分别称为以 ( x ) 为根的左子树和右子树。需要注意的是，空的左子树和空的右子树是不同的。

1.2 非递归定义

二叉树也可以定义为一种有序树，其中每个内部节点的度为 2。在这个定义中，叶节点被视为虚拟节点，仅用于定义树的结构。在实际应用中，内部节点存储数据，叶节点可以是相同的空节点、单个空节点或空引用。

1.3 相关术语

二叉树的大小、路径、路径长度、节点深度、层级、高度、内部节点、祖先、后代、子树和超树等术语的定义与一般树相同。

2. 二叉树的计数

2.1 不同大小的二叉树数量

• 大小为 3 的二叉树 ：有 5 种不同的二叉树，其中 4 种高度为 2，1 种高度为 1。
• 大小为 4 的二叉树 ：有 14 种不同的二叉树，其中 10 种高度为 3，4 种高度为 2。
• 大小为 5 的二叉树 ：通过递归定义计算，共有 42 种不同的二叉树。具体计算方法是考虑左子树的大小分别为 4、3、2、1、0 的情况，然后将各种情况的数量相加