第6章＿树和二叉树.pptVIP

6.1 树的定义和基本术语 6.1 树的定义和基本术语 非线性数据结构 树的递归定义： 树(tree)是n(n=0)个结点的有限集。 当n0时, (1)有且仅有一个特定的称为根(root)的结点; (2)当n1时,其余结点可分为m(m0)个互不相交的有限集T1,T2,...,Tm,其中每个集合本身又是一棵树。称为子树(subtree)。 树的示例 树的抽象数据类型定义 ADT Tree｛ 数据对象D：D是具有相同特性的数据元素的集合。 数据关系R：若D为空集，则称为空树;若D仅含一个数据元素，则R为空集，否则R＝｛H｝，H是如下二元关系 (1)在D中存在唯一的称为根的数据元素root，它在关系H下无前驱； (2)若D－｛root｝≠φ，则存在D－｛root｝的一个划分D1, D2, ..., Dm （m＞0），对任意j≠k（1≤j,k≤m）有Dj∩Dk=φ ，且对任意的i（1≤i≤m），唯一存在数据元素xiξDi，有root,xiξH; (3)对应于D－｛root｝的划分，H－｛root,x1，....，root,xm｝有唯一的一个划分H1 , H2 ,..., Hm (m＞0),对任意j≠k(1≤j,k≤m)有Hj∩Hk=φ,且对任意的i(1≤i≤m),Hi 是Di上的二元关系,(Di ,{Hi})是一棵符合本定义的树，称为根root的子树。 基本操作P： INITTREE（＆T）； 操作结果：构造空树T。 DESTROYTREE（＆T）； 初始条件：树T存在。 操作结果：销毁树T。 CREATETREE（＆T，DEFINITION）； 初始条件：DEFINITION给出树T的定义。 操作结果：按DEFINITION构造树T。 CLEARTREE（＆T）； 初始条件：树T存在。 操作结果：将树T清为空树。 TREEEMPTY（T） 初始条件：树T存在。 操作结果：若T为空树，则返回TURE，否则FALSE。 TREEDEPTH（T） 初始条件：树T存在。 操作结果：返回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中某个结点。 操作结果：若CUR＿E是T的非根结点，则返回它的双亲，否则函数值为“空”。 LEFTCHILD（T，CUR＿E） 初始条件：树T存在，CUR＿E是T中某个结点。 操作结果：若CUR＿E是T的非叶子结点，则返回它的最左孩子，否则返回“空”。 RIGHTSIBLING（T，CUR＿E） 初始条件：树T存在，CUR＿E是T中某个结点。 操作结果：若CUR＿E有右兄弟，则返回它的右兄弟，否则函数值为“空”。 INSERTCHILD（＆T，＆P，I，C）； 初始条件：树T存在，P指向T中某个结点，1≤I≤P所指结点的度＋1，非空树C与T不相交。 操作结果：插入C为T中P指结点的第I棵子树。 DELETECHILD（＆T，＆P，I）； 初始条件：树T存在，P指向T中某个结点，1≤I≤P指结点的度。 操作结果：删除T中P所指结点的第I棵子树。 TRAVERSETREE（T，VISIT（））； 初始条件：树t存在，VISIT是对结点操作的应用函数。 操作结果：按某种次序对T的每个结点调用函数VISIT（）一次且至多一次。一旦VISIT（）失败，则操作失败。 ｝ADT TREE 树的基本术语 子树(subtree) 结点 结点的度(degree) 叶子(leaf)(终端结点) 分支结点(非终端结点) 孩子(child) 双亲(parent) 兄弟(sibling) 层次(level) 深度(depth) 6.2.1 二叉树的定义 二叉树: 度不超过2的有序树。 二叉树是有限个结点的集合,它或是空集,或是由一个根结点以及分别称为左子树和右子树的两棵互不相交的二叉树组成。 二叉树的五种基本形态: 6.2.2 二叉树的性质 6.2.2 二叉树的性质 性质1：在二叉树的第i层上至多有2(i-1)个结点(i=1) 性质2：深度为k的二叉树至多有2k-1个结点(k=1) k-1 Nk = ∑ 2i = 2k-1 i = 0 性质3:对任何一棵二叉树T, 如果其叶结点数为n0, 度为2的结点数为n2, 则 n0 = n2 + 1 满二叉树的定义 一棵深度为k且有2k-1个结点,即每一层的结点数都是最大结点数的二叉树称为满