树的定义和基本术语(1).ppt

;内蒙古大学;磁盘目录;

;树的定义：树是n（n=0）结点的有限集，

在任意非空树中：

(1)有且仅有一个特定的结点称为根（Root）的结点.

(2)当n1时，其余的结点可分为m个互不相交的子

集T1,T2,…,Tm,每个子集又都是树，称为根

的子树（Subtree）.;Tree=D,{R}

D={Book,C1,C2,C3,S1.1,S1.2,S2.1,S2.2,S2.3,S2.1.1,S2.1.2}

R={Book,C1,Book,C2,Book,C3,C1,S1.1,C1,S1.2,

C2,S2.1,C2,S2.2,C2,S2.3,S2.1,S2.1.1,S2.1,S2.1.2};;树是一种层次结构（hiberarchy）;堂兄弟（Cousin）：双亲在同一层的结点之间互称堂兄弟；

路径（Path）：如果有结点序列n1,n2,n3,…,nk，并且前1个结

点是后1个结点的双亲；它的长度是k-1;

祖先、后代（ancestor）:一个结点是它所有子树中的结点

的祖先，这些结点是它的后代(子孙);

有序树（Orderedtree）：每个结点的子女由左到右是有次

序的称有序树；否则是无序树；;A;T1;抽象数据类型树的定义：;(3)对应于D-{root}的划分，H—{root，x1，…，root，xm}

有唯一的一个划分H1,H2，…，Hm(m0)，对任意j≠k(1≤j，

k≤m)有Hj∩Hk=,且对任意i(1≤i≤m),Hi是Di上的二元

关系,(Di,{Hi})是一棵符合本定义的树,称为根root的子树.;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。

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中某个结点，i指结点的度,

非空树c与T不相交。

操作结果：插入c为T中p所指结点的第i棵子树。

DeleteChild(T，p，i)；

初始条件：树T存在，p指向T中某个结点，i指结点的度,

操作结果：删除T中p所指结点的第i棵子树。

TraverseTree(T)；

初始条件；树T存在。

操作结果：按某种次序对T的每个结点进行遍历。

}ADTTree;树的表示方法：

1.树形表示：;3.凹入表表示(目录表示法)：

;4.文氏图表示(集合表示):;二叉树是另一种树形结构。

6.2.1二叉树的定义

二叉树：是n（n=0）结点的有限集，在任意非空树中：

(1)有且仅有一个特定的称为根（Root）的结点;

(2)当n1时，其余的结点最多分为2个互不相交的子集T1,

T2,每个又都是二叉树，分别