chapter06树和二叉树.ppt
《chapter06树和二叉树.ppt》由会员分享,可在线阅读,更多相关《chapter06树和二叉树.ppt(64页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、6.1 树树6.1.1 树的定义树的定义(1)定义)定义 树树(Tree):是):是n(n0)个结点的有限集。)个结点的有限集。 定义一:(递归定义):定义一:(递归定义): 在任意一棵非空树中,有且仅有一个特定的称为根(在任意一棵非空树中,有且仅有一个特定的称为根(root) 的结点;的结点; 当当n1时,其余结点可分为时,其余结点可分为m(m0)个互不相交的有限集)个互不相交的有限集 T1, T2, , Tm,其中每一个集合本身又是一棵树。并且,其中每一个集合本身又是一棵树。并且 T1, T2, , Tm,称为根的子树(,称为根的子树(SubTree)。)。 定义二:(形式定义)定义二:(
2、形式定义)任何一棵树是一个二元组任何一棵树是一个二元组Tree = (root, F)。 其中:其中:root是数据元素,称做树的根结点;是数据元素,称做树的根结点;F是是m(m0)棵树的森林,)棵树的森林, F(T1, T2, , Tm),其中),其中Ti = (ri, Fi)称做根称做根root的第的第i棵子树;当棵子树;当m0 时,在树根和其子树森林之间存在下列关系:时,在树根和其子树森林之间存在下列关系: RF = | i = 1, 2, ,m; m 0(2)表示形式)表示形式 该树有该树有13个结点。其中,个结点。其中,A是树根,其余结点分成是树根,其余结点分成3个互不相交的子集:个
3、互不相交的子集:T1=B, E, F, K, L,T2=C, G,T3=D, H, I, J, M; T1、T2和和T3都是都是A的子树,的子树,其本身也是一棵树。其本身也是一棵树。层次层次A 1B C D 2E F G H I J 3K L M 4 图图6.1一般的树一般的树该树又可表示为如下三种形式:该树又可表示为如下三种形式:(a) 嵌套集合表示嵌套集合表示 (c) 凹入表示法凹入表示法 (A(B(E(K, L), F), C(G), D(H(M), I, J) (b) 广义表表示广义表表示 ABCDEFGHIJKLMABCDEFGHIJKLM图图6.2树的其他树的其他3种表示法种表示法
4、 (3)树的抽象数据类型定义)树的抽象数据类型定义 ADT Tree数据对象数据对象D:D是具有相同特性的数据元素的集合。是具有相同特性的数据元素的集合。数据关系数据关系R:若:若D为空集,则称为空树;为空集,则称为空树; 若若D仅含一个数据元素,则仅含一个数据元素,则R为空集,否则为空集,否则R=H,H是如下二元关系:是如下二元关系: (1)在)在D中存在唯一的称为根的数据元素中存在唯一的称为根的数据元素root,它在关系,它在关系H下无前驱;下无前驱; (2)若)若Droot,则存在,则存在Droot的一个划分的一个划分D1,D2,Dm(m0), 对任意对任意jk(1j,km)有有DjDk
5、,且对任意的,且对任意的i(1im),唯,唯 一存在数据元素一存在数据元素xiDi,有,有H; (3)对应于)对应于Droot的划分,的划分,H, , 有唯一有唯一 的一个划分的一个划分H1, H2, , Hm(m0),对任意,对任意jk (1j,km)有有 HjHk,且对任意,且对任意i(1im),Hi是是Di上的二元关系,上的二元关系, (Di, Hi)是一棵符合本定义的树,称为根是一棵符合本定义的树,称为根root的子树。的子树。基本操作:基本操作: InitTree (&T); 操作结果:构造空树操作结果:构造空树T。 DestroyTree (&T);初始条件:树初始条件:树T存在。
6、存在。操作结果:销毁树操作结果:销毁树T。 CreateTree (&T, definition);初始条件:初始条件:definition给出树给出树T的定义。的定义。操作结果:按操作结果:按definition构造树构造树T。 ClearTree (&T);初始条件:树初始条件:树T存在。存在。操作结果:将树操作结果:将树T清为空树。清为空树。 TreeEmpty(T);初始条件:树初始条件:树T存在。存在。操作结果:若操作结果:若T为空树,则返回为空树,则返回TRUE,否则返回,否则返回FALSE。 TreeDepth(T);初始条件:树初始条件:树T存在。存在。操作结果:返回操作结果:
7、返回T的深度。的深度。 Root(T);初始条件:树初始条件:树T存在。存在。操作结果:返回操作结果:返回T的根。的根。 Value(T, cur_e);初始条件:树初始条件:树T存在,存在,cur_e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回cur_e的值。的值。 Assign(T, cur_e, value);初始条件:树初始条件:树T存在,存在,cur_e是是T中某个结点。中某个结点。操作结果:结点操作结果:结点cur_e赋值为赋值为value。 Parent(T, cur_e);初始条件:树初始条件:树T存在,存在,cur_e是是T中某个结点。中某个结点。操作结果:若操
8、作结果:若cur_e是是T的非根结点,则返回它的双亲,否则函数值为的非根结点,则返回它的双亲,否则函数值为“空空”。 LeftChild(T, cur_e);初始条件:树初始条件:树T存在,存在,cur_e是是T中某个结点。中某个结点。操作结果:若操作结果:若cur_e是是T的非叶子结点,则返回它的最左孩子,否则返回的非叶子结点,则返回它的最左孩子,否则返回“空空”。 RightSibling(T, cur_e);初始条件:树初始条件:树T存在,存在,cur_e是是T中某个结点。中某个结点。操作结果:若操作结果:若cur_e有右兄弟,则返回它的右兄弟,否则函数值为有右兄弟,则返回它的右兄弟,否
9、则函数值为“空空”。 InsertChild(&T, &P, i, c);初始条件:树初始条件:树T存在,存在,p指向指向T中某个结点,中某个结点,1ip所指结点的度所指结点的度1,非空非空 树树c与与T不相交。不相交。操作结果:插入操作结果:插入c为为T中中p指结点的第指结点的第i棵子树。棵子树。 DeleteChild(&T, &P, i);初始条件:树初始条件:树T存在,存在,p指向指向T中某个结点,中某个结点,1ip指结点的度。指结点的度。操作结果:删除操作结果:删除T中中p所指结点的第所指结点的第i棵子树。棵子树。 TraverseTree(T, visit();初始条件:树初始条件
10、:树T存在,存在,visit是对结点操作的应用函数。是对结点操作的应用函数。操作结果:按某种次序对操作结果:按某种次序对T的每个结点调用函数的每个结点调用函数visit()一次且至多一次。一次且至多一次。 一旦一旦visit()失败,则操作失败。失败,则操作失败。ADT Tree6.1.2 基本术语基本术语 结点结点:包含一个数据元素及若干指向其子树的分支。在树的:包含一个数据元素及若干指向其子树的分支。在树的图形表示中为一个圆圈。图形表示中为一个圆圈。 结点的的度度(Degree):结点拥有的子树树。):结点拥有的子树树。 叶子叶子(或(或终端结点终端结点)()(Leaf):度为):度为0的
11、结点。即没有子树的结点。即没有子树的结点。的结点。分支结点分支结点(或(或非终端结点非终端结点):度不为):度不为0的结点。的结点。内部结点内部结点:除根结点之外的分支结点。:除根结点之外的分支结点。树的的度度:树内各结点的度的最大值。:树内各结点的度的最大值。孩子孩子(Child):结点的子树的根,称为该结点的孩子。):结点的子树的根,称为该结点的孩子。 双亲双亲(Parent):结点的子树的根,称为该结点的孩子,该):结点的子树的根,称为该结点的孩子,该结点称为孩子的双亲。结点称为孩子的双亲。兄弟兄弟(Sibling):同一个双亲的孩子之间互称为兄弟。):同一个双亲的孩子之间互称为兄弟。子
12、孙子孙:以某结点为根的子树中的任一结点都称为该结点的子孙。:以某结点为根的子树中的任一结点都称为该结点的子孙。祖先祖先:从根到某结点所经分支上的所有结点,称为该结点的祖先。:从根到某结点所经分支上的所有结点,称为该结点的祖先。 森林森林(Forest):是):是m(m0)棵互不相交的树的集合。对树中)棵互不相交的树的集合。对树中每个结点而言,其子树的集合即为森林。每个结点而言,其子树的集合即为森林。 层次层次(Level):从根开始定义起,根为第一层,根的孩子为第二):从根开始定义起,根为第一层,根的孩子为第二层。若某结点在第层。若某结点在第k层,则其子树的根就在第层,则其子树的根就在第k1层
13、。层。堂兄弟堂兄弟:其双亲在同一层的结点互为堂兄弟。:其双亲在同一层的结点互为堂兄弟。深度深度(高度高度)()(Depth):树中结点的最大层次。):树中结点的最大层次。 有序树有序树:若将树中结点的各子树看成从左至右是有次序的(即不能:若将树中结点的各子树看成从左至右是有次序的(即不能互换),则称该树为有序树,否则称为无序树。在有序树中最左边的子互换),则称该树为有序树,否则称为无序树。在有序树中最左边的子树的根称为第一个孩子,最右边的称为最后一个孩子。树的根称为第一个孩子,最右边的称为最后一个孩子。6.2 二叉树二叉树6.2.1 二叉树的定义二叉树的定义(1)定义)定义 二叉树二叉树(Bi
14、nary Tree):是另一种树型结构。):是另一种树型结构。 特点:特点:每个结点至多只有两棵子树(即二叉树中不存在度大于每个结点至多只有两棵子树(即二叉树中不存在度大于2 的结点)。的结点)。 子树有左右之分,其次序不能任意颠倒。子树有左右之分,其次序不能任意颠倒。(2)图形表示)图形表示 (a) (b) (c) (d) (e)图图6.3二叉树的二叉树的5种基本形态种基本形态(a) 空二叉树空二叉树(b) 仅有根结点的二叉树仅有根结点的二叉树(c) 右子树为空的二叉树右子树为空的二叉树(d) 左、右子树均非空的二叉树左、右子树均非空的二叉树(e) 左子树为空的二叉树左子树为空的二叉树(3)
15、二叉树的抽象数据类型定义)二叉树的抽象数据类型定义 H,且存在,且存在Dl上的关系上的关系Hr H;H = , , Hl, Hr; (4)(Dl, Hl)是一棵符合本定义的二叉树,称为根的左子树,是一棵符合本定义的二叉树,称为根的左子树,(Dr, Hr) 是一棵符合本定义的二叉树,称为根的右子树。是一棵符合本定义的二叉树,称为根的右子树。基本操作:基本操作: ADT BinaryTree数据对象数据对象D:D是具有相同特性的数据元素的集合。是具有相同特性的数据元素的集合。数据关系数据关系R: 若若D = ,则,则R =,称称BinaryTree为空二叉树;为空二叉树; 若若D,则,则R=H,H
16、是如下二元关系:是如下二元关系: (1)在)在D中存在唯一的称为根的数据元素中存在唯一的称为根的数据元素root,它在关系,它在关系H下无前驱;下无前驱; (2)若)若Droot,则存在,则存在Droot = Dl, Dr,Dl且且Dm =; (3)若)若Dl,则,则Dl中存在唯一的元素中存在唯一的元素x1,有有H,且存在,且存在Dl 上的关系上的关系Hl H;若若 Dr,则则Dr中存在唯一的元素中存在唯一的元素xr, ,有有 InitBiTree (&T);操作结果:构造空二叉树操作结果:构造空二叉树T。 DestroyBiTree (&T);初始条件:二叉树初始条件:二叉树T存在。存在。操
17、作结果:销毁二叉树操作结果:销毁二叉树T。 CreateBiTree (&T, definition);初始条件:初始条件:definition给出二叉树给出二叉树T的定义。的定义。操作结果:按操作结果:按definition构造二叉树构造二叉树T。 ClearBiTree (&T);初始条件:二叉树初始条件:二叉树T存在。存在。操作结果:将二叉树操作结果:将二叉树T清为空树。清为空树。 BiTreeEmpty(T);初始条件:二叉树初始条件:二叉树T存在。存在。操作结果:若操作结果:若T为空二叉树,则返回为空二叉树,则返回TRUE,否则返回,否则返回FALSE。 BiTreeDepth(T)
18、;初始条件:二叉树初始条件:二叉树T存在。存在。操作结果:返回操作结果:返回T的深度。的深度。 Root(T);初始条件:二叉树初始条件:二叉树T存在。存在。操作结果:返回操作结果:返回T的根。的根。 Value(T, e);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回e的值。的值。 Assign(T, &e, value);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:结点操作结果:结点e赋值为赋值为value。 Parent(T, e);初始条件:二叉树初始条件:二叉树T存在,存在,
19、 e是是T中某个结点。中某个结点。操作结果:若操作结果:若e是是T的非根结点,则返回它的双亲,否则函数值为的非根结点,则返回它的双亲,否则函数值为“空空”。 LeftChild(T, e);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回e的左孩子。若的左孩子。若e无左孩子,则返回无左孩子,则返回“空空”。 RightChild (T, e);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回e的右孩子。若的右孩子。若e无右孩子,则返回无右孩子,则返回“空空”。 LeftSib
20、ling(T, e);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回e的左兄弟。若的左兄弟。若e是是T的左孩子或无左兄弟,则返回的左孩子或无左兄弟,则返回“空空”。 RightSibling (T, e);初始条件:二叉树初始条件:二叉树T存在,存在, e是是T中某个结点。中某个结点。操作结果:返回操作结果:返回e的右兄弟。若的右兄弟。若e是是T的右孩子或无右兄弟,则返回的右孩子或无右兄弟,则返回“空空”。 InsertChild(T, P, LR, c);初始条件:二叉树初始条件:二叉树T存在,存在,p指向指向T中某个结点,中某个
21、结点,LR为为0或或1,非空二叉,非空二叉 树树c与与T不相交且右子树为空。不相交且右子树为空。操作结果:根据操作结果:根据LR为为0或或1,插入,插入c为为T中中p指结点的左或右子树。指结点的左或右子树。p所指所指 结点的原有左或右子树则成为结点的原有左或右子树则成为c的右子树。的右子树。 DeleteChild(T, P, LR);初始条件:二叉树初始条件:二叉树T存在,存在,p指向指向T中某个结点,中某个结点,LR为为0或或1。操作结果:根据操作结果:根据LR为为0或或1,删除,删除T中中p所指结点的左或右子树。所指结点的左或右子树。 PreOrderTraverse (T, visit
22、();初始条件:二叉树初始条件:二叉树T存在,存在,visit是对结点操作的应用函数。是对结点操作的应用函数。操作结果:先序遍历操作结果:先序遍历T,对每个结点调用函数,对每个结点调用函数visit()一次且仅一次。一次且仅一次。 一旦一旦visit()失败,则操作失败。失败,则操作失败。 InOrderTraverse (T, visit();初始条件:二叉树初始条件:二叉树T存在,存在,visit是对结点操作的应用函数。是对结点操作的应用函数。操作结果:中序遍历操作结果:中序遍历T,对每个结点调用函数,对每个结点调用函数visit()一次且仅一次。一次且仅一次。 一旦一旦visit()失败
23、,则操作失败。失败,则操作失败。 PostOrderTraverse (T, visit();初始条件:二叉树初始条件:二叉树T存在,存在,visit是对结点操作的应用函数。是对结点操作的应用函数。操作结果:后序遍历操作结果:后序遍历T,对每个结点调用函数,对每个结点调用函数visit()一次且仅一次。一次且仅一次。 一旦一旦visit()失败,则操作失败。失败,则操作失败。 LevelOrderTraverse (T, visit();初始条件:二叉树初始条件:二叉树T存在,存在,visit是对结点操作的应用函数。是对结点操作的应用函数。操作结果:层序遍历操作结果:层序遍历T,对每个结点调用
24、函数,对每个结点调用函数visit()一次且仅一次。一次且仅一次。 一旦一旦visit()失败,则操作失败。失败,则操作失败。ADT BinaryTree(4)特殊形态的二叉树)特殊形态的二叉树满二叉树满二叉树:一棵深度为:一棵深度为k且有且有2k1个结点的二叉树称为满二叉树。个结点的二叉树称为满二叉树。 特点:每一层上的结点数都是最大结点数。特点:每一层上的结点数都是最大结点数。 完全二叉树完全二叉树:深度为:深度为k的,有的,有n个结点的二叉树,当且仅当其每一个结点的二叉树,当且仅当其每一个结点都与深度为个结点都与深度为k的满二叉树中编号从的满二叉树中编号从1至至n的结点一一对应时,称的结
25、点一一对应时,称之为完全二叉树。之为完全二叉树。特点:特点:叶子结点只可能在层次最大的两层上出现;叶子结点只可能在层次最大的两层上出现; 对任一结点,若其右分支下的子孙的最大层次为对任一结点,若其右分支下的子孙的最大层次为l, 则其左分支下的子孙的最大层次必为则其左分支下的子孙的最大层次必为l或或l1。8 9 10 11 12 13 14 15 12 34 5 6 7(a) 满二叉树满二叉树(b) 完全二叉树完全二叉树8 9 10 11 12 12 34 5 6 7图图6.4特殊形态的二叉树特殊形态的二叉树6 7 1 12 3 2 34 5 4 5 6(c) 非完全二叉树非完全二叉树 (d)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- chapter06 二叉
限制150内