树的定义及基本术语

 树是以分支关系定义的层次结构。树是n个节点的有限集。一颗非空树中，有且只有一个特定的称为根 的节点，其余节点可分为m个不相交的有限集，并且每个集合本身又是一颗树（称为子树）。这是一种 递归定义的方法。

树的ADT定义

ADT Tree{ 数据对象D：D是具有相同特性的数据元素的集合 数据关系R：若D为空集，则称为空树；若D中仅含有一个数据元素，则R为空集，否则R={H}，H 是如下二元关系：（1）在D中存在唯一的称为根的数据元素root，它在关系H下无前驱；（2）若 ，则存在D-{root}的一个划分 ，对任意 有 ，且对任意的 ，唯一存在数据元素 有 （3）对应D-{root}的划分， 有唯一的一个划分 ，对任意 有 ，且对任意 ， 是 上的二元关系， （ 是一棵符合本定义的数，称为根root的子树。 基本操作： InitTree/ DestroyTree/ CreateTree/ ClearTree/ TreeEmpty/ TreeDepth/ Root/ Parent/ LeftChild/ RightChild/ InsertChild/ DeleteChild/ TraverseTree }