- 树和二叉树的定义
树(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)左子树为空的二叉树