数据结构专题——树

一、树(Tree)

定义（参考维基百科： http://en.wikipedia.org/wiki/Tree_%28data_structure%29）：

A tree is a (possibly non-linear) data structure made up of nodes or vertices and edges without having any cycle. The tree with no nodes is called the null or empty tree. A tree that is not empty consists of a root node and potentially many levels of additional nodes that form a hierarchy.

（分析（非空树关键特点）：结点间连线不构成循环（从根结点到其他结点的路径有且只有一条）；有且仅有一个根结点。

图形表示：

术语：（参考《大话数据结构》及维基百科）

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------

根结点 Root：The top node in a tree.

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------

结点间关系：

孩子/孩子结点/子结点 Child：一个结点含有的子树的根结点称为该结点的孩子结点/子结点。 

双亲/父亲结点/父结点 Parent： 若一个结点含有子结点，则这个结点称为其子结点的父结点。（子结点与父结点相对应） 

兄弟/兄弟结点 Siblings：具有相同父结点的结点互称兄弟结点。

堂兄弟/堂兄弟结点 ：父结点在同一层且不同的结点互称为堂兄弟结点。（堂兄弟和兄弟相对应）

结点的祖先 Ancestor：从根结点到该结点所经分支上的所有结点都称为该结点的祖先。

结点的子孙 Descendant：以该结点为根的子树中的所有结点都称为该结点的子孙。（子孙与祖先相对应）

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------

单个结点特征：

结点的度 Degree：结点拥有的子树数称为结点的度。（注意：这些子树的根结点都是该结点的子结点，而不是该结点的所有子孙）

树的度 Degree：树内各结点的度的最大值。

叶结点/终端结点/外部结点 Leaf / External node：度为0的结点。

分支结点/非终端结点/内部结点 Branch / Internal node：度不为0的结点。

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------

树特征：

结点的层次 Level：The level of a node is defined by 1 + the number of connections between the node and the root.

树的深度/高度 Depth：树中结点的最大层次。

森林 Forest：m(m>=0)棵互不相交的树的集合。

无序树 / 自由树：树中任意结点的子结点之间没有顺序关系。

有序树：树中任意结点的子结点之间有顺序关系。

--------------------------------------------------------------------------------------------

-------------------------------------------------------------------------------

树的表示：

  顺序存储结构（数组）；

  链式存储结构（链表）；

--------------------------------------------------------------------------------------------

-------------------------------------------------------------------------------

树的遍历：

1.前序遍历

2.中序遍历

3.后序遍历

1）广度遍历

2）深度遍历

二、二叉树（Binary Tree）

定义：是个有限元素的集合，该集合或者为空、或者由一个称为根(root)的元素及两个不相交的、被分别称为左子树和右子树的二叉树组成。当集合为空时，称该二叉树为空二叉树。

注意：二叉树是有序的：区分左子树和右子树。

性质：

（1）一棵非空二叉树，第 i 层上最多有 2^(i - 1) 个结点（i ≥ 1）。

（2）一棵深度为 k 的二叉树，最多具有 (2^k－1) 个结点。

（3）一棵非空的二叉树，如果叶子结点数为n0，度数为2 的结点数为n2，则有n0 = n2 + 1。

满二叉树（Full Binary Tree）：深度为k，且有2^k-1个结点的二叉树。

三、完全二叉树（Complete Binary Tree）

定义：若二叉树的深度为h，则除第 h 层外，其它各层 (1～h-1) 的结点数都达到最大个数，第 h 层所有的结点都连续集中在最左边。

性质（完全二叉树采用数组tree（顺序存储结构）实现，初始下标为1，对树中的结点按从上至下、从左到右的顺序进行编号，数组长度（结点个数）为n）：

（1）若i为奇数且i > 1，那么结点i左兄弟为tree[i - 1]；

（2）若i为偶数且i < n，那么结点i右兄弟为tree[i + 1]；

（3）若i > 1，结点i双亲为tree[i / 2]，否则i = 1，结点i为根结点，无双亲；

（4）若2 * i <= n，那么结点i的左孩子为tree[2 * i]，否则无左孩子；若2 *i + 1 <= n，那么结点i的右孩子为tree[2 * i + 1]，否则无右孩子；

（5）若i > (n / 2)，那么tree[i]为叶子结点（对应于（3））；

（6）若i < ((n-1) / 2)，那么tree[i]必有两个孩子（对应于（4））。

（7）满二叉树一定是完全二叉树，完全二叉树不一定是满二叉树。

（8）具有n 个结点的完全二叉树，深度k 为[log2n] + 1。

四、二叉查找树 Binary Search Tree  《算法导论》有开辟一章详细介绍

其他名词：二叉排序树，二叉搜索树

性质：对于任何一个结点X
若它的左子树非空，则左子树上所有结点的值均小于等于X的值；
若它的右子树非空，则右子树上所有结点的值均大于等于X的值；

特点：(设二叉查找树高度为h)

按中序遍历二叉查找树，所得到的中序遍历序列是一个递增（或递减）的有序序列,时间复杂度O(n)。

操作：

1.查找时间复杂度：O(h)，有递归版本和迭代版本。

2.寻找最大值、最小值时间复杂度：O(h)。

3.前驱和后继：（中序遍历下的前驱和后继）时间复杂度：O(h)。

4.插入和删除：

插入：时间复杂度：O(h)

删除：注意：删除结点后要保持中序遍历是一个相对不变的序列。

删除分情况讨论：

1.如果Z没有孩子，直接删除，仅仅修改其父结点P[Z]的孩子为NIL即可。

2.如果Z仅仅只有一个孩子，那么删除Z之前要把Z的孩子赋值给其父母P[Z]的孩子（左|右）。这样一个拉链直接去删除Z了。

3.如果Z有两个孩子，这样就有点麻烦了。因为删除Z之后还有两个孩子，如果不好好处理会破坏二叉树的性质，我们删除Z一定要保持中序遍历的相对位置序列不变。

其他：

B树：B-tree

AVL树

红黑数。