树的定义definition

树的结构定义：树（Tree ）是n(n>=1)个结点的有限集。

任意非空树的基本特点:

(1) 有且仅有一个根(Root)结点;

(2)当n>1时，其余结点可分为m（m>0）个互不相交的有限集T1，T2，T3，···，Tm，其中每一个集合本身又是一棵树，并且称为根的子树（SubTree）。

树的抽象数据类型定义:

ADT Tree{

数据对象D:D是具有相同特性的数据元素的集合。

数据关系R:若D为空集，则称为空树；

  若D仅含一个数据元素R为空集，否则R={H}，H是如下二元关系：

(1)在D中存在唯一的称为根的数据元素root，它在关系H中无前驱；

(2)若D-root!=Empty,则存在D-{root}的一个划分D1，D2，D3，···,Dm(m>0), 对任意j!=k(1<=j,k<=m)有Dj和Dk的交集为Empty，且任意的i（1<=i<=m),唯一存 在属于Di的数据元素xi，有属于H的关系<root,xi>;【数据元素的划分】

(3)对应于D-{root}的划分，H-{<root,x1>,<root,x2>,···,<root,xm>}有唯 一的一个划分H1,H2,H3,···，Hm(m>0),对任意的j!=k(1<=j,k<=m)Hj和Hk的交 集为Empty,且对任意的i（1<=i<=m),Hi是Di上的二元关系，(Di,{Hi})是一棵符 合定义的树，称为根的子树.【数据关系的划分】

基本操作P:

①InitTree(&T);

//操作结果:构造空树T。

②DestroyTree(&T);

//初始条件:树T已存在.

//操作结果:树T被销毁

③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中的某个结点

//操作结果:给树T种的cur.e结点赋值为Value

⑩Parent(T,cur.e);

//初始条件:树T已存在，cur.e是树T中的某个结点

//操作结果:若cur.e是非根结点，则返回它的双亲，否则函数值为"空"

（11）LeftChild(T,cur.e);

//初始条件:树T已存在，cur.e是树T中的某个结点

//操作结果:若cur.e是非叶子结点,则返回它的最左孩子，否贼函数值为"空"

（12）RightSibling(T,cur.e);

//初始条件:树T已存在，cur.e是树T中的某个结点

//操作结果:若cur.e有右兄弟,则返回它的右兄弟，否贼函数值为"空"

（13）InsertChild(&T,&p,i,c);

//初始条件:树T已存在，p指向T中的某个结点，1<=i<=p所指结点的度+1,非空树c与T不交

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

（14）DeleteChild(&T,&p,i);

//初始条件:树T已存在，p指向T中的某个结点，1<=i<=p指结点的度

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

（15）TraverseTree(T,visit());

//初始条件:树T已存在，visit()是对结点操作的应用函数

//操作结果:按某种次序对T中的每一个结点调用visit()函数一次且最多一次，一旦visit ()失败，则操作失败

}ADT Tree