5.1 树和二叉树

• 树和二叉树的定义

树(Tree)：树是 n（n>=0） 个结点的有限集，它或为空树(n=0)，或为非空树；对于非空树 T ：

（1）有且只有一个称之为根的结点；

（2）除根节点以外的其余节点可分为 m (m>0) 个互不相交的有限集 T1，T2，……，Tm，其中每一个集合本身又是一棵树，并且称为根的子树（SubTree）。  

树的其它表示形式：嵌套集合，广义表，凹入表示法

树的基本术语：

1. 结点：树中的一个独立单元，包含一个数据元素及若干指向其指数的分支；

2. 结点的度：结点拥有的子树数称为结点的度；

3. 树的度：树的度是树内各结点度的最大值；

4. 叶子：度为0的结点称为叶子或终端结点；

5. 非终端结点：度不为0的结点称为非终端结点或分支结点；

6. 双亲和孩子：结点的子数的根称为该节点的孩子，相应地，该节点称为孩子的双亲；

7. 兄弟：同一个双亲的孩子之间互称兄弟；

8. 祖先：从根到该节点所经分支上的所有结点；

9. 子孙：以某节点为根的子树中的任一结点都称为该节点的子孙；

10. 层次：结点的层次从根开始定义起，根为第一层，根的孩子为第二层。根中任一结点的层次等于其双亲结点的层次加 1 ；

11. 堂兄弟：双亲在同一层的结点互为堂兄弟；

12. 树的深度：树中结点的最大层次称为树的高度或深度；

13. 有序树和无序树：如果将树中结点的各子树看成从左至右是有次序的（即不能互换），则称该树为有序树，否则称为无序树；在有序树中最左边的子树的根称为第一个孩子，最右边的称为最后一个孩子；

14. 森林：是 m （m>=0）棵互不相交的树的集合。对树中每个结点而言，其子树的集合即为森林。由此，也可以用森林和树相互递归的定义来描述树。

就逻辑结构而言，任何一棵树都是一个二元组 Tree = (root, F)，其中 root 是数据元素，称作树的根节点；F 是 m（m>0）棵树的森林，F = (T1, T2, ……, Tm)，其中 Ti = (ri, Fi) 称作根 root 的第 i 棵子树；当 m != 0 时，在树根和其子树森林之间存在下列关系：

RF = {<root, ri> | i = 1, 2, 4, m, m>0 }   这个定义将有助于得到森林和树与二叉树之间转换的递归定义。

二叉树：是 n （n>=0）个结点所构成的集合，它或为空树（n=0)；或为非空树；

对于非空树 T ：

1. 有且只有一个称之为根的结点；

2. 除根节点以外的其余节点分为两个互不相交的子集 T1 和 T2，分别为 T 的左子树和右子树，且 T1 和 T2 本身又都是二叉树。

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

1. 二叉树每个根节点至多只有两颗子树（即二叉树中不存在度大于2的结点）；

2. 二叉树的子树有左右之分，其次序不能任意颠倒。

二叉树的递归定义表明二叉树或为空，或是由一个根结点加上两颗分别称为左子树和右子树的、互不相交的二叉树组成。由于这两棵树也是二叉树，则由二叉树的定义，它们也可以是空树。由此，二叉树可以由5种基本形态：（1）空二叉树（2）仅有根结点的二叉树（3）右子树为空的二叉树（4）左、右子树均非空的二叉树（5）左子树为空的二叉树

含n个结点的不相似的二叉树有：