1.定义
树型结构是一类重要的非线性数据结构，是以分支关系定义的层次结构。是一种一对多的逻辑关系。
树型结构是结点之间有分支，并且具有层次关系的结构，它非常类似于自然界中的树。树结构在客观世界中是大量存在的，例如家谱、行政组织机构都可用树形象地表示。树在计算机领域中也有着广泛的应用，例如在编译程序中，用树来表示源程序的语法结构；在数据库系统中，可用树来组织信息；在分析算法的行为时，可用树来描述其执行过程。等等。
树(Tree)是n (n≥0)个结点的有限集T，T为空时称为空树，否则它满足以下条件：
(1) T中有且仅有一个结点K0没有前驱，称K0为树的根结点(Root)。
(2) 除根结点以外，其余结点有且仅有一个直接前驱。
(3) T中各结点可以有0个或多个后继。
(4) 当n ≥ 1时，除根结点以外，其余结点可分为m(m≥0)个互不相交的有限集合T1，T2，…，Tm。其中每个集合又构成一棵树，树T1，T2，…，Tm被称为根结点K0的子树(Subtree)。
树的逻辑结构表示数据之间的关系是一对多，或者多对一的关系。它的结构特点具有明显的层次关系，是一种十分重要的非线性的数据结构。
注：树的定义具有递归性，即树中还有树。
2.树的基本术语
1.父母、孩子与兄弟结点
结点的直接前驱结点称为双亲（parents）结点。
结点的直接后继结点称为孩子（child）结点。
拥有同一个父母结点的多个结点之间称为兄弟（sibling）结点。
结点的祖先（ancestor）是指从根结点到其双亲结点所经过的所有结点。（祖先结点）
结点的后代（descendant）是指该结点的所有孩子结点，以及孩子的孩子等。 （子孙结点）
祖先与后代的关系则是对父子关系的延伸，其定义了树中结点的纵向次序 。
2.度
结点的度（degree）是指结点所拥有子树的棵数。
度为零的结点称为叶子（leaf）或者终端结点
度不为零的结点称为分支结点或者非终端结点、非叶结点。
树的度是指树中各结点度的最大值。
3.结点层次、树的高度
结点的层次（level）属性反映结点处于树中的层次位置。
约定根结点的层次为1，其余结点的层次是其父母结点的层次加1.
树的高度（height）或深度（depth）是树中结点的最大层次数。
4.边、路径
设树中X结点是Y结点的父母结点，有序对（X，Y）称为连接这两个结点的分支，也称为边（edge）。
设（X0，X1，…，Xk-1）是由树中结点组成的一个序列，且（Xi，Xi+1）（0≤i＜k-1）都是树中的边，则该序列称为X0到Xk-1的一条路径（path）。
路径长度（path length）为路径上的边数。
5.无序树、有序树
若把树中每个结点的各子树看成从左到右有次序的（即不能互换），则称该树为有序树（Ordered Tree）；否则称为无序树（Unordered Tree）
如果规定k1和k2是兄弟，且k1在k2的左边，则k1的任一子孙都在k2的任一子孙的左边，则定义了树中结点的横向次序
6.森林
森林（Forest）是m（m≥0）棵互不相交树的集合。
给森林加上一个根结点就变成一棵树。
将树的根结点删除就变成森林。
3.树的表示方法
1.图形表示法
2.嵌套集合表示法
3.广义表表示法
根作为由子树森林组成的表的名字写在表的左边
4.凹入表示法（目录表示法）
4.抽象数据类型
ADT Tree{
数据对象：D是具有相同属性的数据元素的集合。
数据关系：若D为空集，则称为空树；若D仅含一个数据元素，则R为空集，否则R={H}，H是如下二元关系：
(1) 在D中存在唯一的称为根的数据元素root， 它在关系H下没有前驱。
(2) 除root以外， D中每个结点在关系H下都有且仅有一个前驱。
基本操作：
void CreateTree(Tree *t，definition)：
初始条件：树t不存在。
操作结果：按definition构造树t。
int TreeEmpty（Tree t）：
初始条件：树t存在 。
操作结果：若t为空树， 则返回1， 否则返回0。
int TreeDepth(Tree t)
初始条件：树t存在。
操作结果：返回树t的深度。
……
}
