二三树----红黑树

红黑树

红黑树是常用的一种数据结构，TreeMap、TreeSet以及JDK1.8的HashMap底层都用到了红黑树。简单来说红黑树就是为了解决二叉查找树的缺陷，因为二叉查找树在某些情况下会退化成一个线性结构。

红黑树本质上其实等价于2-3树，2-3树中2-节点等同于红黑树中的“黑”节点，2-3树中的3-节点等同于红黑树中的“红”节点+红边+“黑”节点。

其中红节点表示和父节点是是一种并列的关系，由于在树的实现过程是一个二叉树，即每个节点最多只能存储一个元素，红节点的引入是为了表示2-3树的3节点的一种实现方式。在所有的红黑树中，所有的红节点一定是向左倾斜的。

所以首先介绍二三树。

二三树

2–3树是一种树型数据结构，内部节点（存在子节点的节点）要么有2个孩子和1个数据元素，要么有3个孩子和2个数据元素，叶子节点没有孩子，并且有1个或2个数据元素。

二节点

三节点

二三树的定义：

如果一个内部节点拥有一个数据元素、两个子节点，则此节点为2节点。
如果一个内部节点拥有两个数据元素、三个子节点，则此节点为3节点。

当且仅当以下叙述中有一条成立时，T为2–3树：
1、T为空。即T不包含任何节点。

2、T为拥有数据元素a的2节点。若T的左孩子为L、右孩子为R，则
L和R是等高的非空2–3树；
a大于L中的所有数据元素；同时
a小于等于R中的所有数据元素。

3、T为拥有数据元素a和b的3节点，其中a < b。若T的左孩子为L、中孩子为M、右孩子为R，则
L、M、和R是等高的非空2–3树；
a大于L中的所有数据元素，并且小于等于M中的所有数据元素；同时
b大于M中的所有数据元素，并且小于等于R中的所有数据元素。

二三树的特点：

2-3树是一棵绝对平衡的树，即从根节点到任意一个叶子节点所经过的节点数都相同。

二三树和红黑树的转换：

红黑树的特点：

1、每个节点或者是红色的，或者是黑色的

2、根节点是黑色的

3、每一个叶子节点(最后的空节点)是黑色的

4、如果一个节点是红色的，那么它们的孩子节点都是黑色的（因为红节点和其父亲节点表示一个3节点，黑色节点的右孩子一定是黑色节点。）

5、从任意一个节点到叶子节点经过的黑色节点都是一样的（因为2-3树是绝对平衡的）