树的概念

　树形结构是一类重要的非线性结构。树形结构是结点之间有分支，并具有层次关系的结构。它非常类似于自然界中的树。
　树结构在客观世界中是大量存在的，例如家谱、行政组织机构都可用树形象地表示。
树在计算机领域中也有着广泛的应用，例如在编译程序中，用树来表示源程序的语法结构；在数据库系统中，可用树来组织信息；在分析算法的行为时，可用树来描述其执行过程。

　本章重点讨论二叉树的存储表示及其各种运算，并研究一般树和森林与二叉树的转换关系，最后介绍树的应用实例。

树的概念

1.家族树

　在现实生活中，有入如下血统关系的家族可用树形图表示：
张源有三个孩子张明、张亮和张丽；
张明有两个孩子张林和张维；
张亮有三个孩子张平、张华和张群；
张平有两个孩子张晶和张磊。

以上表示很像一棵倒画的树。其中"树根"是张源，树的"分支点"是张明、张亮和张平，该家族的其余成员均是"树叶"，而树枝(即图中的线段)则描述了家族成员之间的关系。显然，以张源为根的树是一个大家庭。它可以分成张明、张亮和张丽为根的三个小家庭；每个小家庭又都是一个树形结构。

2.树的定义

树的递归定义：
树(Tree)是n(n≥0)个结点的有限集T，T为空时称为空树，否则它满足如下两个条件：
(1)有且仅有一个特定的称为根(Root)的结点；
(2)其余的结点可分为m(m≥0)个互不相交的子集Tl，T2，…，Tm，其中每个子集本身又是一棵树，并称其为根的子树(Subree)。
　　　　　　
注意：
　树的递归定义刻画了树的固有特性：一棵非空树是由若干棵子树构成的，而子树又可由若干棵更小的子树构成。

3.树的表示

（1）树形图表示

　树形图表示是树结构的主要表示方法。
树的树形图表示中：结点用圆圈表示，结点的名字写在圆圈旁边（有时亦可写在圆圈内）。

　用该定义来分析上图(a)所示的树：
图中的树由结点的有限集T={A，B，C，D，E，F，C，H，I，J}所构成，其中A是根结点，T中其余结点可分成三个互不相交的子集：
T1={B，E，F，I，J}，
T2={C}，
T3={D，G，H}。
T1、T2和T3是根A的三棵子树，且本身又都是一棵树。例如T1，其根为B，其余结点可分为两个互不相交的的子集T11={E}和T12={F，I，J}，它们都是B的子树。显然T11是只含一个根结点E的树，而T12的根F又有两棵互不相交的子树{I}和{J}，其本身又都是只含一个根结点的树。
　　

（2）树的其他表示法

① 嵌套集合表示法
　是用集合的包含关系来描述树结构。
上图(a)树的嵌套集合表示法如图(b)

② 凹入表表示法
　类似于书的目录，上图(a)树的凹入表示法如图(c)

③ 广义表表示法
　用广义表的形式表示的。上图(a)树的广义表表示法如图(d)
　　（A（B（E，F（I，J）），C，D（G，H）））

4.树结构的基本术语

（1） 结点的度(Degree)

　树中的一个结点拥有的子树数称为该结点的度(Degree)。
　一棵树的度是指该树中结点的最大度数。
　度为零的结点称为叶子(Leaf)或终端结点。
　度不为零的结点称分支结点或非终端结点。
　除根结点之外的分支结点统称为内部结点。
　根结点又称为开始结点。

（2） 孩子(Child)和双亲(Parents)

　树中某个结点的子树之根称为该结点的孩子(Child)或儿子，相应地，该结点称为孩子的双亲(Parents)或父亲。
　同一个双亲的孩子称为兄弟(Sibling)。

（3）祖先(Ancestor)和子孙(Descendant)

①路径（path）
　若树中存在一个结点序列k1，k2，…，ki，使得ki是ki+1的双亲(1≤i<j)，则称该结点序列是从kl到kj的一条路径(Path)或道路。
　路径的长度指路径所经过的边(即连接两个结点的线段)的数目，等于j-1。
注意：
　若一个结点序列是路径，则在树的树形图表示中，该结点序列"自上而下"地通过路径上的每条边。
　从树的根结点到树中其余结点均存在一条惟一的路径。

②祖先(Ancestor)和子孙(Descendant)
　若树中结点k到ks存在一条路径，则称k是ks的祖先(Ancestor)，ks是k的子孙(Descendant)。
　一个结点的祖先是从根结点到该结点路径上所经过的所有结点，而一个结点的子孙则是以该结点为根的子树中的所有结点。
约定：
　结点k的祖先和子孙不包含结点k本身。

（4）结点的层数(Level)和树的高度（Height）

　结点的层数(Level)从根起算：
根的层数为1
其余结点的层数等于其双亲结点的层数加1。
　双亲在同一层的结点互为堂兄弟。
　树中结点的最大层数称为树的高度(Height)或深度(Depth)。
注意，
　很多文献中将树根的层数定义为0。

（5）有序树(OrderedTree)和无序树(UnoderedTree)

　若将树中每个结点的各子树看成是从左到右有次序的(即不能互换)，则称该树为有序树(OrderedTree)；否则称为无序树(UnoderedTree)。
注意：
　若不特别指明，一般讨论的树都是有序树。

（6）森林(Forest)

　森林(Forest)是m(m≥0)棵互不相交的树的集合。
　树和森林的概念相近。删去一棵树的根，就得到一个森林；反之，加上一个结点作树根，森林就变为一棵树。

5.树形结构的逻辑特征

　树形结构的逻辑特征可用树中结点之间的父子关系来描述：
（1） 树中任一结点都可以有零个或多个直接后继(即孩子)结点，但至多只能有一个直接前趋(即双亲)结点。
（2） 树中只有根结点无前趋，它是开始结点；叶结点无后继，它们是终端结点。
（3） 祖先与子孙的关系是对父子关系的延拓，它定义了树中结点之间的纵向次序。
（4） 有序树中，同一组兄弟结点从左到右有长幼之分。
对这一关系加以延拓，规定若k1和k2是兄弟，且k1在k2的左边，则kl的任一子孙都在k2的任一子孙的左边，那么就定义了树中结点之间的横向次序。

转载自：http://student.zjzk.cn/course_ware/data_structure/web/shu/shu6.1.1.3.htm