chapter树和二叉树实用.pptxVIP

chapter树和二叉树实用会计学第1页/共63页￡6.1 树￡6.1.1 树的定义（1）定义 树（Tree）：是n（n≥0）个结点的有限集。 定义一：（递归定义）： ①在任意一棵非空树中，有且仅有一个特定的称为根（root） 的结点； ②当n1时，其余结点可分为m（m0）个互不相交的有限集 T1, T2, … , Tm，其中每一个集合本身又是一棵树。并且 T1, T2, … , Tm，称为根的子树（SubTree）。 定义二：（形式定义） 任何一棵树是一个二元组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, … ,m; m 0}层次A 1B C D 2E F G H I J 3K L M 4 第2页/共63页（2）表示形式图6.1 一般的树 该树有13个结点。其中，A是树根，其余结点分成3个互不相交的子集：T1={B, E, F, K, L}，T2={C, G}，T3={D, H, I, J, M}; T1、T2和T3都是A的子树，其本身也是一棵树。ABEAKBDLEKFFHJLMICGCGDHMIJ第3页/共63页该树又可表示为如下三种形式：(a) 嵌套集合表示 (A(B(E(K, L), F), C(G), D(H(M), I, J))) (b) 广义表表示 (c) 凹入表示法 图6.2 树的其他3种表示法 ADT Tree{ 数据对象D：D是具有相同特性的数据元素的集合。 数据关系R：若D为空集，则称为空树； 若D仅含一个数据元素，则R为空集，否则R={H},H是如下二元关系： （1）在D中存在唯一的称为根的数据元素root，它在关系H下无前驱； （2）若D－{root}≠Ф，则存在D－{root}的一个划分D1,D2,…,Dm(m0), 对任意j≠k(1≤j,k≤m)有Dj∩Dk＝Ф，且对任意的i(1≤i≤m)，唯 一存在数据元素xi∈Di，有root, xi∈H； （3）对应于D－{root}的划分，H－{root, xi, … , root, xm}有唯一 的一个划分H1, H2, … , Hm(m0)，对任意j≠k (1≤j,k≤m)有 Hj∩Hk＝Ф，且对任意i(1≤i≤m)，Hi是Di上的二元关系， (Di, {Hi})是一棵符合本定义的树，称为根root的子树。 基本操作： InitTree (T); 操作结果：构造空树T。 DestroyTree (T); 初始条件：树T存在。 操作结果：销毁树T。第4页/共63页（3）树的抽象数据类型定义 第5页/共63页 CreateTree (T, definition); 初始条件：definition给出树T的定义。 操作结果：按definition构造树T。 ClearTree (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的值。 Assign(T, cur_e, value); 初始条件：树T存在，cur_e是T中某个结点。 操作结果：结点cur_e赋值为value。第6页/共63页 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); 初始条件