第6章 树和二树1.ppt

ADT Tree {数据对象D：D是具有相同特性的数据元素的集合。数据关系R：　若 D 为空集，则称为空树；　若 D 中仅含一个数据元素，则关系R为空集；　否则 R={H}，　 (1) 在D中存在唯一的称为根的数据元素 root，它在关系H下无前驱；　 (2) 当n1时，其余数据元素可分为 m(m0) 个互不相交的(非空)有限集 T1,T2,…,Tm, 其中每一个子集本身又是一棵符合本定义的树，称为根 root 的子树，每一棵子树的根 xi 都是根 root 的后继，即 root,xi ∈H, i=1,2,…,m。 基本操作： {结构初始化} InitTree(T); 操作结果：构造空树 T。 CreateTree(T,definition); 初始条件：definition 给出树T的定义。 操作结果：按 definition 构造树 T。 {销毁结构} DestroyTree(T); 初始条件：树 T 存在。 操作结果：销毁树 T。 {引用型操作} TreeEmpty(T); 初始条件：树 T 存在。 操作结果：若 T 为空树，则返回 TRUE，否则返回 FALSE。 TreeDepth(T); 初始条件：树 T 存在。 操作结果：返回T的深度。 Root(T); 初始条件：树 T 存在。 操作结果：返回 T 的根。 Value(T, cur_e); 初始条件：树 T 存在，cur_e 是 T 中某个结点。 操作结果：返回 cur_e 的值。 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 有右兄弟，则返回它的右兄弟， 否则返回“空”。 TraverseTree(T, visit()); 初始条件：树T存在，visit 是对结点操作的应用函数 操作结果：按某种次序对 T 的每个结点调用函数visit() 一次且至多一次。一旦 visit() 失败，则操 作失败。 {加工型操作} Assign(T, cur_e, value); 初始条件：树T存在，cur_e 是 T 中某个结点。 操作结果：结点 cur_e 赋值为 value。 ClearTree(T); 初始条件：树 T 存在。 操作结果：将树 T 清为空树。 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 棵子树。 定义 或为空树，或是由一个根结点和两棵互不相交的左子树、右子树构成，并且左、右子树本身也是二叉树。 特性 二叉树中每个结点最多有两棵子树；二叉树每个结点的度小于等于2 子树有左右之分，不能颠倒——有序树 二叉树是递归结构，在二叉树的定义中又用到了二叉树的概念 a、b两棵二叉树相同吗？为什么？ 满二叉树：深度为 k ，且有 2k-1 个结点的二叉树； 特点：每一层上的结点数都是最大数目。 结点层序编号方法：从根结点起自上而下逐层（层内自左至右）对二叉树的结点进行连续编号。 完全二叉树：一棵深度为 k 有 n 个结点的二叉树，当且仅当其每一个结点都与深度为k的满二叉树中编号从1至n的结点一一对应时，称之为完全二叉树。 特点： 叶子结点只可能在层次数最大的两层上出现。 只有最下一层的结点数可能未达到最大值。 对任一结点，如果其右子树的最大层次为 L，则其左子树的最大层次为 L或 L＋1。 完全二叉树结点数2k-1-1n≤2k-1 满二叉树一定是完全二叉树，反之不成立。 性质 2 深度为 k 的二叉树上至多含 2k-1 个结点(k≥1)。 证明： ∵由