树综述

---

  树是由n（n>=1）个有限结点组成一个具有层次关系的集合。把它叫做“树”是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。

树的特点

  树具有以下特点：

1. 每个结点有零个或多个子结点；
2. 没有父结点的结点为根结点；
3. 每一个非根结点只有一个父结点；
4. 每个结点及其后代结点整体上可以看做是一棵树，称为当前结点的父结点的一个子树；

树的相关概念

• 结点的度：一个结点含有的子树的个数称为该结点的度；
• 叶结点：度为0的结点称为叶结点，也可以叫做终端结点
• 分支结点：度不为0的结点称为分支结点，也可以叫做非终端结点
• 结点的层次：从根结点开始，根结点的层次为1，根的直接后继层次为2，以此类推
• 结点的层序编号：将树中的结点，按照从上层到下层，同层从左到右的次序排成一个线性序列，把他们编成连续的自然数。
• 树的度：树中所有结点的度的最大值
• 树的高度(深度)：树中结点的最大层次
• 森林： m（m>=0）个互不相交的树的集合，将一颗非空树的根结点删去，树就变成一个森林；给森林增加一个统一的根 结点，森林就变成一棵树
• 孩子结点：一个结点的直接后继结点称为该结点的孩子结点
• 双亲结点(父结点)：一个结点的直接前驱称为该结点的双亲结点
• 兄弟结点：同一双亲结点的孩子结点间互称兄弟结点

二叉树

  二叉树是最树中最重要的类型之一，二叉树就是度不超过2的树。二叉树又可以分为以下几种：

1. 满二叉树：如果一个非空的二叉树不存在一个只有一个子节点的节点，则这个二叉树就是满二叉树。
2. 完全二叉树：叶节点只能出现在最下层和次下层，并且最下面一层的结点都集中在该层最左边的若干位置的二叉树
3. 完美二叉树：一种满二叉树，它所有的树叶都有相同的深度。

  

二叉树的遍历

  二叉树的遍历主要有以下几种方式：

• 前序遍历：访问一个节点时，先访问该节点，再访问其左节点，再访问其右节点
• 中序遍历：访问一个节点时，先访问其左节点，再访问该节点，再访问其右节点
• 后序遍历：访问一个节点时，先访问其左节点，再访问其右节点，再访问该节点

  
  根据三种遍历方式，针对上图，遍历次序如下：

• 前序遍历：A B D F E C G H I
• 中序遍历：D B E F A G H C I
• 后序遍历：D E F B H G I C A

堆

  堆是计算机科学中一类特殊的数据结构的统称，堆通常可以被看做是一棵完全二叉树的数组对象。

堆的特点

• 堆是完全二叉树，因此除了最后一层以外，它的每一层从左到右都是满的，如果最后一层节点不是满的，那么要求左满右不满；
• 堆通常用数组来实现，具体方法就是将二叉树的节点按照层级顺序放入数组。并且具有以下规律：如果一个节点的位置为k，那么其父节点位置为k/2，其子节点位置为2k和2k+1.
  
• 每个结点都大于等于它的两个子结点。但不同于二叉查找树，其左右节点的大小顺序并不限定。
  代码实现链接：https://github.com/KevinCoders/MyStudy/blob/master/datastructure/heap.cpp

二三树

  二叉查找树有时候并不能确保树的平衡，比如我们插入9，8，7，6，5，4，3，2，1，根据二叉查找树的实现，最后会是下面这种形式：

  这种形式已经和数组没有什么区别了，当我们查找1时，我们需要先跳过前面8个元素，因此，需要有一种形式的树，能够确保树的平衡，这就是二三树，二三树种有两种形式的节点：
  2-节点：含有一个键(及其对应的值)和两条链，左链接指向2-3树中的键都小于该结点，右链接指向的2-3树中的键都大于该结点。
  3-节点：含有两个键(及其对应的值)和三条链，左链接指向的2-3树中的键都小于该结点，中链接指向的2-3树中的键都位于该结点的两个键之间，右链接指向的2-3树中的键都大于该结点。

  在插入的时候，2-3树需要做一些局部的变换来保持2-3树的平衡。一棵完全平衡的2-3树具有以下性质：

• 任意空链接到根结点的路径长度都是相等的。
• 4-结点变换为3-结点时，树的高度不会发生变化，只有当根结点是临时的4-结点，分解根结点时，树高+1。
• 2-3树与普通二叉查找树最大的区别在于，普通的二叉查找树是自顶向下生长，而2-3树是自底向上生长。

  由于二三树的实现非常复杂，有2-节点，3-节点，还会有临时的4-节点拆分，所以不做代码实现，了解二三树主要为了学习红黑树。

红黑树

  二叉查找树可以实现高效的查找，但是无法确保树的平衡，二三树的思想可以弥补这个不足，但是实现起来复杂，于是红黑树应运而生，红黑树可以看做是二三树的简单实现，同时其本质仍是二叉查找树。
  红黑树的链接主要有两种：

• 红链接：将两个2-结点连接起来构成一个3-结点；
• 黑链接：则是2-3树中的普通链接。

  红黑树必须满足下列条件：

• 红链接均为左链接；
• 没有任何一个结点同时和两条红链接相连；
• 该树是完美黑色平衡的，即任意空链接到根结点的路径上的黑链接数量相同；

  这里之所以要求红链接都是左链接主要是因为3-节点与二叉查找树的节点特点；如果同一节点和两条红链接相连，那么其实也就相当于4-节点。
  红黑树与2-3树的对应关系如下：

平衡化

  当红黑树进行增删改查操作后，恐怕很难继续确保其仍保持有红黑树上文所提的三个特点，基于此，我们需要一些特殊操作，主要有三点：左旋、右旋、颜色翻转。在进行该操作的同时，也确保了红黑树的平衡化。

左旋

  当某个结点的左子结点为黑色，右子结点为红色，此时需要左旋。示意图如下：

右旋

  当某个结点的左子结点是红色，且左子结点的左子结点也是红色，需要右旋。示意图如下：

颜色翻转

  当一个结点的左子结点和右子结点的color都为RED时，也就是出现了临时的4-结点，此时只需要把左子结点和右子结点的颜色变为BLACK，同时让当前结点的颜色变为RED即可。示意图如下：

  在进行红黑树的插入操作时，我们一般都会默认构建红链接，再通过上述操作，确保红黑树的特点以及其平衡性。