ACM 学习笔记(四) 数据结构之树、二叉树、完全二叉树、二叉查找树、AVL树、红黑树、B树、B+树

树

  树和图都属于非线性结构，树的形式化定义：对于一个树，它是由两个集合构成的 T = { D , R } T = \{D,R\} T={ D,R}。$D$是包含$n$个节点的有限集合($n\ge 0$)。当$n=0$时，为空树，否则关系$R$满足以下条件：

1. 有且仅有一个结点$d\in D$，它对于关系$R$来说没有前驱结点，结点$d$称作树的根结点。
2. 除根节点外，每个结点有且仅有一个前驱结点。
3. $D$中每个节点可以有零个或多个后继结点。

  按照这个定义，树是一种一对多的数据结构。

  树的递归定义：树是由$n\ge 0$个结点组成的有限集合(记为$T$)。其中： 如果$n=0$，它是一棵空树，这是树的特例；如果$n>0$，这$n$个结点中存在一个唯一结点作为树的根结点(root)，其余结点可分为$m$ ($m\ge 0$)个互不相交的有限子集$T_1、T_2、\cdots 、T_m$，而每个子集本身又是一棵树，称为根结点root的子树。树中所有结点构成一种层次关系。

  上图所示中的树有三颗子树。各子树的根节点分别是$B、C、D$

• 树的基本术语：

1. 结点的度与树的度：树中一个结点的子树的个数称为该节点的度。树中各结点的度的最大值称为树的度，通常将度为$m$的树称为$m$次树，或者$m$叉树。

2. 分支结点与叶结点：度不为零的结点称为非终端结点，又叫分支结点。度为零的结点称为终端结点或叶结点(或叶子结点)。度为1的结点称为单分支结点；度为2的结点称为双分支结点，依此类推。

3. 路径与路径长度：两个结点$d_i$和$d_j$的结点序列($d_i，d_{i1},d_{}$