第十讲树和二叉树的定义.ppt

第10讲 树和二叉树的定义;对比树型结构和线性结构的结构特点;~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~;树的定义 树是n（n≥0）个结点的有限集合，在任一棵非空树中：(1)有且仅有一个称为根(root)的结点。(2)其余结点可分为 m 个互不相交的集合，而且其中的每一个集合本身又是一棵树，称为根的子树。;结点:;(从根到结点的)路径：;任何一棵非空树是一个二元组 Tree = （root，F） 其中：root 被称为根结点 F 被称为子树森林;树的抽象数据类型的定义;基本操作：;{引用型操作} 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 棵子树。;二叉树;ADT BinaryTree {数据对象：D 是具有相同特性的数据元素的集合。　　数据关系：　若 D 为空集，称 BinaryTree 为空二叉树；　否则 关系 R={H}：　(1) 在 D 中存在唯一的称为根的数据元素 root，它在关系 H 下无前驱；　(2) D 中其余元素必可分为两个互不相交的子集 L 和 R，每一个子集都是一棵符合本定义的二叉树，并分别为 root 的左子树和右子树。如果左子树 L 不空，则必存在一个根结点 XL，它是 root 的“左后继”(root, XL∈H)，如果右子树 R 不空，则必存在一个根结点 XR为 root 的“右后继”(root, XR∈H)。 　基本操作： } ADT BinaryTree ;{结构初始化} InitBiTree(T); 操作结果：构造空二叉树 T。 CreateBiTree(T，definition); 初始条件：definition 给出二叉树 T 的定义。 操作结果：按 definition 构造二叉树 T。 {销毁结构} DestroyBiTree(T); 初始条件：二叉树 T 存在。 操作结果：销毁二叉树 T。 ;{引用型操作} BiTreeEmpty(T); 初始条件：二叉树 T 存在。 操作结果：若T为空二叉树，则返回 TRUE，否则 　　　　　返回 FALSE。 BiTreeDepth(T); 初始条件：二叉树 T 存在。 操作结果：返回 T 的深度。 Root(T); 初始条件：二叉树 T 存在。 操作结果：返回 T 的根。 ;Value(T，e); 初始条件：二叉树 T 存在，e 是 T 中某个结点。 操作结果：返回 e 的值。 Parent(T， e); 初始条件：二叉树 T 存在，e 是 T 中某个结点。 操作结果：若e是T的非根结点，则返回它的双亲， 　　　　　否则返回“空”。 Le