前言
红黑树是工程中一种非常重要的数据结构,大家熟悉的 HashMap 在 Java 8 就引入了红黑树的数据结构,不过实话实说,红黑树确实不容易掌握,左旋,右旋等概念让人头发发麻,本文用图文并茂的形式以期让读者彻底掌握红黑树,希望大家看了有收获,这篇文章肝了十多天,非常不易,希望大家不要白嫖,三连走起,多谢支持!
开篇我们先来聊一聊和树相关的一些概念,来一步一步引入为什么要使用红黑树。这样能够让大家知其然而知其所以然,最后你会发现,红黑树的处理情况也就那几种,甚至可以说就固定那几种情况,多看看我的分析就能拿下了。话不多话,我们先从树的概念开始。
友情提示:本文篇幅比较长,但是总体而言简单易懂,还请各位坐稳。
![](https://i-blog.csdnimg.cn/blog_migrate/e5a18c367f8fa97cddd9f89ca38a4497.png)
1、树
树的定义如下
树是一种非线性的数据结构,它是由n(n>=0)个有限节点组成一个具有层次关系的集合。把它叫做树是因为它看起来像一棵倒挂的树,也就是说它是根朝上,而叶朝下的。它具有以下的特点:
1.每个节点有零个或多个子节点;
2.没有父节点的节点称为根节点;
3.每一个非根节点有且只有一个父节点;
4.除了根节点外,每个子节点可以分为多个不相交的子树
![](https://i-blog.csdnimg.cn/blog_migrate/a48c04c74ff36a8316691827d7b71880.jpeg)
树的一些重要的名词解释
1. 高度:当前节点到叶子节点的最长路径
2. 深度:根节点到当前节点经过的边数
3. 层数:节点的深度+1 树的高度:即根节点的高度(就是根节点到叶子节点的最长路径)
4. 父节点:若一个节点含有子节点,则这个节点称为其子节点的父节点
5. 子节点:一个节点包含的子树节点
6. 兄弟节点:具有相同父节点的节点称为兄弟节点
7. 叶节点:没有子节点的节点(也叫页子节点) 以上是关于树的一些常见的概念
(其他的一些概念不是很重要就不一一列出来了。)
来结合一张图来更直观的理解下上面的各个名词的好含义
![](https://i-blog.csdnimg.cn/blog_migrate/5671ea63536a5d86405619506b13fbdf.png)
2、二叉树
二叉树的定义:树的每个节点最多有两个子节点
![](https://i-blog.csdnimg.cn/blog_migrate/3435a563a6bf39817bfe7ce51bda9f96.png)
虽然 H 节点只有一个子节点,但是它也是一个二叉树,因为满足最多只有个两个子节点
3、二叉搜索树
二叉搜索树其实就是二叉树,只不过又有一些额外的条件限制。其额外条件如下:
① 若它的左子树不为空,那么左子树上面的所有节点的值均小于它的根节点的值
② 若它的右子树不为空,那么右子树上面的所有的节点的值均大于它的根节点的值
③ 它的左右的树叶分别为二叉排序树
其中重点强调下二叉搜索树的中序遍历(因为这是最常见的)。中序遍历的规则是:先遍历左子树,再遍历根节点,然后遍历右子树
例如下面这个二叉搜索树的遍历的结果:D-H-B-E-A-F-C-G
![](https://i-blog.csdnimg.cn/blog_migrate/bc1021da2773963555480bc950568902.png)
如果从A的上面使用一个光源往下照,那么整个树的节点在地面上的投影其实就是中序遍历的结果。二叉搜索树的时间复杂度是 O(logn)
下面我们再来一起看下二叉搜索树的查找某个节点的算法(详细步骤全部使用注释写清楚了,因为红黑树就是基于二分查找树的,所以这里就多提一笔)
public class BinaryTreeDemo {
public static void main(String[] args) {
//前提这必须是一个有序的数组,否则是无法使用二分查找的
Integer[] searchArr = {1, 2, 3, 5, 6, 7, 9, 11, 23, 45, 67, 89};
//假设要查找 3 这个数据
Integer index = binarySearchTree(searchArr, 3);
System.out.println("index = " + index);
}
private static Integer binarySearchTree(Integer[] searchArr, int searchData) {
//定义数组的低位的索引
int lowBit = 0;
//定义数组的高位的索引
int heightBit = searchArr.length - 1;
//(heightBit - lowBit) / 2 得到的是两个位置的中间位置,再加上 low 就是实际的 heightBit 和 lowBit 的中间位置
//不懂的不用太纠结,重点是红黑树
while (lowBit <= heightBit) {
//这里为什么这么定义中间位置
//因为 (heightBit - lowBit)/2 结果是两者的相对中间点,再加上lowBit 其实就是高位和低位的中间位置
//这里如果实在想不明白就去画画图,记住,不能写成(heightBit + lowBit)/2
int midBit = lowBit + (heightBit - lowBit) / 2;
//开始二分查找
//如果被查找的数据组的中间位置的值 小于 要搜索的值
//说明 searchData 在中间位置的右边
if (searchArr[midBit] < searchData) {
//这里为什么要 + 1 ?
// 因为midBit 位置已经确定比 searchData 小了,所以需要从midBit的下一个索引位置开始继续找
// 也就是说 将 midBit 及 midBit 的左边的部分砍掉
lowBit = midBit + 1;
} else if (searchArr[midBit] == searchData) {
return midBit;
} else {
//这里的作用和 第一个 if中的类似
//因为要查找的 searchData < 中间位置的索引,所以需要从索引位置的左边开始再次查找
//也就是说 直接将 midBit 及 midBit 右边的部分砍掉
heightBit = midBit - 1;
}
}
return null;
}
}
二分查找树的最大的缺点是依赖有序数组,而数组的缺点就是不能扩容,还有就是在添加和删除元素的时候需要移动数组,性能不理想。上面我们还说过一个问题,就是二叉树的特点就是每个节点的最多只有两个子节点,结合二叉搜索树的特点就是 左子节点 < 根节点 < 右子节点,那么在极端情况下,可能会出现下面这样的情况
![](https://i-blog.csdnimg.cn/blog_migrate/3340a75356a5a2c9086557dfc55be21f.png)
在这种极端的情况下,可能会出现这种线性树结构,基本退化成链表了,那时间复杂度就变成了 O(n)。这个时间复杂度也太不稳定了,这种不稳定的东西在系统中就是定时炸弹。所以二叉搜索树被进一步的优化成 AVL 树
4、AVL 树
# AVL 树的定义(AVL 是两个人的名字的简称,是这两个人发明的)
具有二叉搜索树的全部特点,并且没有节点的左右节点的高度相差至多等于1(高度相差不能大于1这个就严格限制死了 AVL 树,导致其实际应用场景并不是很多)
AVL 树也叫平衡二叉树,他的时间复杂度是 O(logn)
AVL 的左右树的高度差也叫平衡因子(平衡因子就是从某个节点开始,他的左右子树的节点数差),即平衡因子不大于 1。
![](https://i-blog.csdnimg.cn/blog_migrate/877b88c613d5875b6d68dd728116c76f.png)
但实际情况是根本不可能插入的数据这么巧的刚好一大一小的在左右树插入,所以 AVL 树在插入数据的时候会不断地调整,因为高度相差不大于 1 真的太严格了。那这样在频繁插入的时候必然需要一直调整树的结构,让其保持平衡。如下图(假设现在插入的不平衡的节点在左侧)
![](https://i-blog.csdnimg.cn/blog_migrate/39807a100e556d195bc194aabb666f6e.png)
此时这种情况称之为左失衡,所以很显然需要进行右旋转(具体旋转会在红黑树中在介绍),右失衡的情况和此类似。可想而知不断地调整会导致性能低下。
说到这里,是不是机智的你也发现了树为啥会一步一步的进化演变,主要还是因为已有的功能无法满足新的需求,才会开始寻找新的解决办法。这就像架构一样,一开始是单体应用,随着业务量的提升,逐渐演变为了微服务架构。结合当前业务不断优化现有技术栈,才是架构的本质
5、2-3树
有的小伙伴可能已经不耐烦了,怎么说好的红黑树,说半天还没到红黑树,难不成你是在摸鱼?
![](https://i-blog.csdnimg.cn/blog_migrate/64730aa2cf515bdedea060229aa9b57d.png)
事实上如果上来就是红黑树我估计我自己看的都发懵,之所以一个又一个的铺垫,主要目的还是想让小伙伴们能有一次性拿下红黑树(手动滑稽)。好了,我们来继续说 2-3 树,2-3 树的特点是什么?它能够维持绝对的平衡,下面我们来演示下 2-3 树添加节点的过程
# 2-3 树的特点
1. 2-3树 是平衡树
2. 2 叉节点,有两个分树,节点中有一个元素,左树元素更小,右树元素节点更大
3. 3 叉节点,有三个子树,节点中有两个元素,左树元素更小,右树元素更大,中间树介于两个父元素之间
① 假设现在有一个节点 40,那啥也别说了,第一个节点啥都不做,老实呆着就行;
![](https://i-blog.csdnimg.cn/blog_migrate/b48a3ace0d6ae6c220dd409c551f5245.png)
② 下一个节点 35 ,先从根节点开始,发现 40 > 35 ,此时理论上 35 应该添加到 40 的左子树上,但是对于 2-3 树,并不是你想的那样子,记住核心的一句话对于 2-3 树的添加,永远不会添加到一个空的节点去,只会跟最后找到的叶子节点做融合(不明白也没事,先把这个过程看完),那添加到哪里?实际上他们会这样存储:
![](https://i-blog.csdnimg.cn/blog_migrate/5e6daf2d7d4ecf9ca6a1074deac32ce7.png)
现在这个变成了一个 3 节点。此时这颗树依旧是平衡的。
# 怎么理解这个 3 节点
因为接下来的数据可能是小于 35 ,可能是在 35 到 40 之间,也可能是大于 40 的,所以这个节点能放三个节点,这就是 3 节点的含义
③ 下一个节点是 12 ,按照我们上面解释的 3 节点的含义,那既然 12 < 35 那是不是就是这样子的呢?
![](https://i-blog.csdnimg.cn/blog_migrate/ec4951b8d46eda58e7b12098ed465168.png)
很显然不是,不要忘记了上面的那句核心的话(对于 2-3 树的添加,永远不会添加到一个空的节点去,只会跟最后找到的叶子节点做融合),因为此时 35 的左子节点是空,所以 12 是不可能添加进去的,实际上他是这么添加的
![](https://i-blog.csdnimg.cn/blog_migrate/ba6dfb7152efa78256a33645e7b97492.png)
那这个时候按照 3 节点的定义,那这个岂不是 4 节点了?其实这个时候答案已经很明显了,就是此时该树会分裂成一个正常的二叉树,也就是这样子的,这棵树依旧是觉得平衡
![](https://i-blog.csdnimg.cn/blog_migrate/c47bd0a2924d0cce5fd94aeb414bba17.png)
④ 继续添加节点 18 ,自己能脑补下该怎么添加吗?这时候就很简单了,18 < 35 ,就添加到左子节点,此时左子节点不为空,那么就可以继续添加,而 18 > 12,理论上应该是添加到 12 的右子节点,但是由于对于 2-3 树的添加,永远不会添加到一个空的节点去,只会跟最后找到的叶子节点做融合。这个的理论指导,又因为此时 12 是一个 2 节点,所以即可进行融合,实际上它是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/6701178b743824408b2c47be7e769be9.png)
⑤ 继续添加 10 ,10 < 35, 到左子树查找,10 < 12 但是12 的左子树为空,所以 10 先临时和 12 做一个融合
![](https://i-blog.csdnimg.cn/blog_migrate/f9c504d43b90768c43b39f7d441efc18.png)
但是这个时候 12 节点已经变成了 4 节点,所以需要拆解,理论上是这样拆解的
![](https://i-blog.csdnimg.cn/blog_migrate/e5b9444c738626ce6ed1d1ac9f06f72b.png)
但是这样的话 2-3 树就不是一颗绝对平衡的树了,显然不能这样拆解,或者是需要做其他操作来保持其绝对平衡。此时我们看上面的图,12 节点实际上是 10 和 18 的根节点了,接着往上查找,12 的父节点是 35 而其是一个 2 节点,所以 12 就顺理成章的和 35 融合起来,也就是下面这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/3f2089f4892d2e694e318d5cdf9d3efe.png)
此时它又是一颗绝对平衡的 2-3 树了
⑥ 继续添加 11 ,那就很简单了,就不再一步一步解释了,添加后应该是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/56333e1c42e3969636b016b39f021eaa.png)
⑦ 別急,还没完,再来一个节点 8,那肯定就先是这样子的(一步一步画其转变的过程)
![](https://i-blog.csdnimg.cn/blog_migrate/0ad687a6af6e64dc108e9b2eaccc3c74.png)
然后分裂,成这样子
![](https://i-blog.csdnimg.cn/blog_migrate/995d471aa54534a5dd3afe5b9790fe38.png)
但是很显然,此时的树已经失去平衡了,那就继续转换, 10 节点向上和根节点融合,但是此时 10 的父节点已经是一个 3 节点的树了,先融合进去再说
![](https://i-blog.csdnimg.cn/blog_migrate/3d144f633e23da3cafda89d9ed58011c.png)
此时是 4 节点,已经不是 2-3 树了,所以下一步是这样演变的,直接将中间的(为什么是中间的?因为这个依旧符合二叉搜索树的特性,也就是左小右大)12 节点向上分裂,也就是最终是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/8017ac5f247da18fd3561e2b5487189a.png)
到此,我忍不住喊了一声
![](https://i-blog.csdnimg.cn/blog_migrate/7f3aef03282ce700a4f3e40860c4474a.png)
2-3 树的时间复杂度是Ologn,实际上红黑树就是由 2-3 树推导出来的,2-3 树和红黑树的关系是:2-3 树的插入和删除过程也可以对应到红黑树的旋转与颜色变换过程(至于红黑树的旋转和变色在红黑树中会重点讨论)。
那既然 2-3 树这么厉害,干嘛还要费那么大劲研究红黑树呢?那是因为对于 2-3 树我们需要维护两种不同类型的节点,查找和插入操作的实现需要大量的代码,而且它们所产生的额外开销可能会使算法比标准的二叉查找树更慢。所以这才有个红黑树。
6、红黑树
上面为什么不常见的 2-3 树说了那么多?因为 2-3树的插入和删除过程也可以对应到红黑树的旋转与颜色变换过程。下面我们先来了解下什么叫红黑树
# 红黑树的定义(特性)
1. 根节点是【黑色】
2. 每个节点要么是【黑色】要么是【红色】
3. 每个【红色】节点的两个子节点一定都是【黑色】
4. 每个叶子节点(NIL)都是【黑色】
5. 任意一个节点的路径到叶子节点所包含的【黑色】节点的数量是相同的---这个也称之为【黑色完美平衡】
6. 新插入的节点必须是【红色】->为什么?如果新插入的节点是【黑色】,那不管是在插入到那里,一定会破坏黑色完美平衡的,因为任意一个节点的路径到叶子节点的黑色节点的数量肯定不一样了(第 6 点我自己加的,实际特性的定义是前 5 个)
红黑树的最大高度是 2logn,这看起来查找的效率并不是 AVL 树要好,红黑树的的添加和删除元素的时间复杂度是O(logn),因为他不会退化成想二叉搜索树的链表的结构
相信看完定义你一定一脸懵逼,别急,一步一步来,首先来画个图帮助大家理解
![](https://i-blog.csdnimg.cn/blog_migrate/582868dda798fc99a8356d43a7a5d371.png)
好,看到这里,小伙伴们一定是一头雾水,光说定义(网上到处都是)其实根本就无法解释清楚叫红黑树。
也就是说红黑树是一种平衡的检索树,上面的 AVL 树我们刚刚说了因为需要频繁的进行自平衡,所以在添加和删除节点的情况下性能是严重下降的,我们先来看下红黑树和 AVL 树的比较
# 红黑树与AVL树的比较
1. AVL树的时间复杂度优于红黑树,但是对于现在的计算机,这种差别可以忽略
2. 红黑树的插入删除比AVL树更便于控制操作。
3. 红黑树整体性能略优于AVL树。(红黑树旋转情况少于AVL树)。这点是非常重要的
4. 如果是在查询很多增删少的情况下 AVL 树还是优于红黑树的,如果增删比较频繁,那红黑树绝对是完美的一种选择
那红黑树在添加和删除节点的时候是靠什么来维持平衡的呢?那就是左旋、右旋加变色
下面分别先来看下左旋、右旋加变色的定义
左旋:以某个节点作为固定支撑点(围绕该节点旋转),其右子节点变为旋转节点的父节点,右子节点的左子节点变为旋转节点的右子节点,左子节点保持不变
右旋: 以某个节点作为固定支撑点(围绕该节点旋转),其左子节点变为旋转节点的父节点,左子节点的右子节点变为旋转节点的左子节点,右子节点保持不变
变色:节点的颜色由红色变成黑色,或者是由黑色变成红色
下图分别通过画图来拆解各个步骤(在演示旋转的时候我们先屏蔽掉颜色的干扰,单纯来看旋转的特性)
6.1、左旋
R 表示旋转节点,没有别的特殊的含义,以下的节点都是没有任何实际意义的
![](https://i-blog.csdnimg.cn/blog_migrate/e2077dbb81fcc6c50922c2ea312506ea.png)
假设这是一个带旋转的树,假设以 R 点为旋转节点,根据左旋特性第一点:旋转节点的右子节点变为旋转节点的父节点
![](https://i-blog.csdnimg.cn/blog_migrate/656cc19c6de33a97f8db5478a2e532e1.png)
以上的图应该不难想象,先啥也不管,不是要左旋吗?那就直接找到旋转节点,然后将旋转节点的右子节点设置成旋转节点的父节点。下一步,将旋转节点的右子节点的左子节点设置为旋转节点的右子节点,再看下图
![](https://i-blog.csdnimg.cn/blog_migrate/09053c1ca34b983aaa08795f4b25ba8a.png)
这就完事了,左旋的概念我们在一起加深下(因为这个对于红黑树的平衡起到核心作用)。左旋:以某个节点作为固定支撑点(围绕该节点旋转),其右子节点变为旋转节点的父节点,右子节点的左子节点变为旋转节点的右子节点,左子节点保持不变
6.2、右旋
右旋:以某个节点作为固定支撑点(围绕该节点旋转),其左子节点变为旋转节点的父节点,左子节点的右子节点变为旋转节点的左子节点,右子节点保持不变
。还是来看图
![](https://i-blog.csdnimg.cn/blog_migrate/7a259bec2e562987f7df0c33e374f712.png)
还是假设以 R 为旋转节点进行右旋,首先将 R 节点的左子节点 L 设置成 R 的父节点,完事后是下面这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/2368a36138d4d6053efc0c17e0d7adfb.png)
接着是第二小点,将 R 的左节点(L)的右子节点(LR)设置成 R 的左子节点,那根据上图应该直接就能想象出来了,那就是下面这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/e3ed55e2630bbce48e06fe0cd19945af.png)
就这?还头皮发麻不。
![](https://i-blog.csdnimg.cn/blog_migrate/faafbc17315c9986cc166cffb21e3386.png)
到此,这仅仅算是热身吧,这是万里长征的第一步,因为以下的所有的讲解都是在左旋右旋和变色的基础上讨论的(变色你不是还没介绍吗?黑色变红色,红色变黑色,介绍完了)
6.3、节点的查找
牢记一个原则,红黑树是基于二叉搜索树的,所以查找的特性和其是类似的,这个也不是重点,重点是红黑树的节点的添加,但是这里为啥非得提一嘴捏,因为插入节点的时候肯定要先查找定位嘛。
6.4、节点的添加
先回顾下红黑树的性质,为了不让各位来回翻页,小弟直接将其复制过来
# 红黑树的定义(特性)
1. 根节点是【黑色】
2. 每个节点要么是【黑色】要么是【红色】
3. 每个【红色】节点的两个子节点一定都是【黑色】
4. 每个叶子节点(NIL)都是【黑色】
5. 任意一个节点的路径到叶子节点所包含的【黑色】节点的数量是相同的---这个也称之为【黑色完美平衡】
6. 新插入的节点必须是【红色】->为什么?如果新插入的节点是【黑色】,那不管是在插入到那里,一定会破坏黑色完美平衡的,因为任意一个节点的路径到叶子节点的黑色节点的数量肯定不一样了(第 6 点我自己加的,实际特性的定义是前 5 个)
添加实际上顺带了查找,所以在添加节点之前,必然要进行查找节点的位置,然后再插入节点,最后再自平衡。其中注意上面我自己添加的第 6 点,那就是新插入的节点一定是红色的(上面的第 6 点已经说的很清楚了,主要是为了防止一插入节点就破坏黑色完美平衡),不管后面怎么处理,新插入的节点只能是红色节点。
另外,我们还需要做如下的约定,假设新添加的节点为 I,I 的父节点为 P ,P 的兄弟节点为 U,P 父亲节点为(也就是 I 节点的爷爷节点) G,那这个结构是这样子的 (下图不要管字母的顺序,仅仅是表示一个节点的关系)
![](https://i-blog.csdnimg.cn/blog_migrate/ad4bb221d52ded6df39b809877a0ae88.png)
接下来是最难坚持的各种自平衡常见的分析了
![](https://i-blog.csdnimg.cn/blog_migrate/7b5958ce437c5975dd391207852b38a5.png)
下面开始进行各种情况的分析
第 1 种情况:红黑树为空树
那这还不好办嘛,插入的节点 I 就是根节点如下图:
![](https://i-blog.csdnimg.cn/blog_migrate/5ac4675a679d7902bab22e594e5ee1e0.png)
咦?插入节点是红色节点没毛病,但是这个也是根节点啊?那就变色呗,所以当红黑树为空的时候新插入的节点直接变色即可。so easy~
![](https://i-blog.csdnimg.cn/blog_migrate/245dfd436121141fbdb277117e9ba14b.png)
第 2 种情况:插入的节点已经存在
还是画图来说,这样更直观
![](https://i-blog.csdnimg.cn/blog_migrate/6b23ad3a61c7176d50c4b90b700bb140.png)
然后替换已有的 I 节点,如下图
![](https://i-blog.csdnimg.cn/blog_migrate/0101ba4fd6d921fe3936f2ae4c9e45cc.png)
此时很显然已经破坏了黑色完美平衡了,这个也好说,直接将 I 变色即可。第二种情况也不过如此嘛。
![](https://i-blog.csdnimg.cn/blog_migrate/52328b9814a703423a078fdacfe8dea6.png)
第 3 种情况:插入节点的父节点为黑色
假设待插入的节点为 Q ,那实际上应该是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/abe3d50b38ddb1ac4f02304afa8a691e.png)
完事了,为啥?因为这个树本来就是黑色完美平衡了,再新插入一个新的节点红色节点,并不会破坏树的平衡以及红黑树的特性(不要去研究为什么。科学家研究了好几年的东西,咱就不要再去深挖了)
第 4 种情况:插入节点的父节点为红色
万变不离其宗,继续回顾红黑树性质,插入的节点为红色
,根节点为黑色
,那既然插入的节点的父节点为红色节点,而红色节点一定不可能为根节点,所以可以推断出新插入节点的父节点一定还有父节点,也就是新插入的节点一定有爷爷节点。这里为什么这么强调,因为以后的平衡可能会涉及到类似的递归的自旋,直到平衡。类似这样子(不要关心字母的顺序,仅仅表示一个关系)
![](https://i-blog.csdnimg.cn/blog_migrate/f38cee3979551b90261d831f1d9059bd.png)
那现在很显然违反了上面的特性 3 每个【红色】节点的两个子节点一定都是【黑色】,而现在是两个红色节点相连了,这个该怎么处理?此时又继续拆分不同的情况了
第 4-1 种情况:插入节点的叔叔节点存在,且为红色
此时又可以推断出来叔叔节点的父节点一定是黑色,因为不能有两个红色节点相连(该特性和每个【红色】节点的两个子节点一定都是【黑色】是一个意思 ),所以这个时候你看的树大致是这样子的结构
![](https://i-blog.csdnimg.cn/blog_migrate/9fbe9f5be80dfe8b38623991195fad14.png)
以下的处理方式是固定的。只要是这种场景(我们以插入节点和插入节点的父节点以及插入节点的爷爷节点作为一个自旋整体),那么就按照这么处理:
① 将 P 和 U 变成黑色;② 将 PP 变成 红色。如下图:
![](https://i-blog.csdnimg.cn/blog_migrate/5bf4b8de69c1166718ca404ef07d62f0.png)
那既然 PP 是根节点,那肯定不可能为红色了,接下来就是将 PP 当作是当前节点,然后继续判断处理。
先记住这个步骤,下面还会再说到,因为这个就是红色树的特性,既然性质都限制死了,那其实处理的方式也就那么几种。我们继续往下看
第 4-2 种情况:叔叔节点不存在或者为黑色,且插入节点的【父节点】是插入节点爷爷节点的【左子节点】
说了再多不如一张图搞定(不要忘记第四种情况的大前提,插入节点的父节点为红色)
![](https://i-blog.csdnimg.cn/blog_migrate/3a9279d3e02c2d94cc2ac727212074c8.png)
实际上上图是稍微有点不合理的,因为这样子的话就破坏了黑色完美平衡了,也就是说叔叔节点如果不是红色,那肯定也不可能是黑色的,那剩下的只能是 NULL,下面这张图才是比较合适的表达 4-2 的情况。
![](https://i-blog.csdnimg.cn/blog_migrate/5569ea9e96fccd0951eb28c01eba3be9.png)
等等,为啥说是比较合适的?因为插入的节点可能为其父节点的左子节点,也可能是其父节点的右子节点。下面这样图才是完美的
![](https://i-blog.csdnimg.cn/blog_migrate/9a0c410908a5fdb549343d75a723e505.png)
那既然不确定是左子节点还是右子节点,那肯定是要继续分情况了呗,没错
第 4-2-1 种情况:插入节点为其父节点的左子节点,也即 LL 双红色的情况(第一个 L 表示插入节点的父节点,第二个 L 表示插入节点)
那这种情况肯定就是这样子的了
![](https://i-blog.csdnimg.cn/blog_migrate/96461092c2eae53811e18f66493cc0cd.png)
这个怎么搞了?我说接下来更简单你可能会不信,其实就像我刚刚上面说的,步骤都是固定的,接下来为了平衡,步骤为:
① 将 P 节点变成黑色,将 PP 节点变成 红色
![](https://i-blog.csdnimg.cn/blog_migrate/ea34826d8c46009486832c872458e60f.png)
② 对 PP 节点进行右旋(以 PP 节点为旋转节点,进行右旋)
右旋的特点还记得不?右旋:旋转节点的左子节点变成其父节点,旋转节点的左子节点的右子节点变成旋转节点的左子节点
,那这个旋转节点的左子节点的右子节点不是为 NULL 嘛?那就不管呗,所以,以 PP 为旋转节点的旋转后的结果是:
![](https://i-blog.csdnimg.cn/blog_migrate/5071238b5f441af8844afd6938d4cd99.png)
其完整的变换流程如下:
第 4-2-2 种情况:插入节点为其父节点的右子节点,也即 LR 双红色的情况
![](https://i-blog.csdnimg.cn/blog_migrate/b75e1a8186188210d56209c732acd9df.png)
这个时候处理方式依旧是固定的,就是将其变成 LL 双红的情况,然后按照 LL 双红的情况去处理。那么问题来了,该如何才能变成 LL 双红的情况呢?依旧是固定的套路,直接按照以下的步骤操作:
① 将 P 节点作为旋转节点,进行左旋,其结果是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/aa85f220be5e07ad3613c81250dfb53c.png)
② 这个时候就变成了了熟悉的味道了,接下来就按照 LL 双红的情况来处理:① 将 I 变成黑色,将 PP 变成红色,② 然后以 PP 为旋转节点,进行右旋
![](https://i-blog.csdnimg.cn/blog_migrate/6958ac885d044dcd95283ca81b120938.png)
其完成的变换流程如下:
![](https://i-blog.csdnimg.cn/blog_migrate/a9b7f6614370abc266a0ce36cd1192f0.png)
第 4-3 种情况:叔叔节点不存在或者为黑色,且插入节点的【父节点】是插入节点爷爷节点的【右子节点】
4-3 这种情况和 4-2 刚好反过来,但是我还是会一步一步来介绍的
![](https://i-blog.csdnimg.cn/blog_migrate/7eb22dedd034faed926f349741a51f0e.png)
这种情况依旧是继续区分插入节点是其父节点的左子节点还是右子节点
第 4-3-1 种情况:插入节点为其父节点的右子节点,也即 RR 双红色的情况(第一个 R 是插入节点的父节点,第二个 R 是插入节点)
也就是下面这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/8ad2ab40afc1b769dc3a16bb9a67863b.png)
处理步骤如下:
① 将 P 设置为 黑色,将 PP 设置为红色
![](https://i-blog.csdnimg.cn/blog_migrate/def1bcec27f1a3fba263ffec0c414aaf.png)
② 以 PP 节点为旋转节点,进行左旋
![](https://i-blog.csdnimg.cn/blog_migrate/668dcac4fd5295f4e998f7a0725446a7.png)
其整个转换流程是这样的
![](https://i-blog.csdnimg.cn/blog_migrate/6c4d3e9dbec926f6c21a8cdc1b850ece.png)
第 4-3-2 种情况:插入节点为其父节点的左子节点,也即 RL 双红色的情况
![](https://i-blog.csdnimg.cn/blog_migrate/77d6088f9208ab0d02f02363db731172.png)
你是不是觉得对于这种情况那不就是应该先将 RL 转换成 RR 这种情况吗?没错,就是这样,我发现你都开始学会抢答了。
![](https://i-blog.csdnimg.cn/blog_migrate/2fa017c1ba4c9fbeae0e5267e1149e47.png)
这个时候处理的步骤是这样子的:首先以 P 节点为旋转节点,进行右旋,结果是这样子的
![](https://i-blog.csdnimg.cn/blog_migrate/c6dc6181109d202f9f0ded51f5562d83.png)
然后将 I 设置为 黑色,将 PP 设置为红色
![](https://i-blog.csdnimg.cn/blog_migrate/f810c69a15deb903b8d12ef6b1806edd.png)
然后以 PP 为旋转节点,进行左旋
![](https://i-blog.csdnimg.cn/blog_migrate/5564ad6742690980340d0968b13cc20c.png)
其完整的转换流程是这样子的:
![](https://i-blog.csdnimg.cn/blog_migrate/78c4beb4baf37d092031608812be4cd9.png)
好了,我们赶紧做个总结,相信很多小伙伴看了上面的各种情况基本已经凌乱了,甚至都没看到这里就撤了。。下面我们将各个情况总结如下
![](https://i-blog.csdnimg.cn/blog_migrate/901ce94bda0547cab4cded36ae326289.png)
6.5、结束语
最后我们再来对红黑树自平衡的各个情况做个总结:
红黑树性质:
根节点为黑色
节点不是红色就是黑色
每个叶子节点NIL为黑色
红色节点的两个子节点一定都是黑色
任意一个节点到叶子节点的路径都包含相同数量的黑色节点,俗称:黑高
(如果一个节点的存在黑子节点,那么该节点肯定有两个子节点)
当前节点为I,父节点为P,P节点的兄弟节点为U,P的父节点为PP(祖父节点)
1、当前节点为空,直接插入即可
2、插入的节点已经存在,直接替换即可
3、插入节点的父节点为【黑色节点】,找到父节点,直接插入即可。不会影响完美黑平衡
4、插入节点的父节点为【红色节点】
4.1、叔叔节点存在,且为【红色节点】
由红黑树的性质可知:红色节点不能相连,=》祖父节点肯定为黑色节点
此时红黑层数情况是【黑红红】,最简单的处理方式就是改成【红黑红】
处理方式:
将P和U改为黑色
PP改为红色
将PP节点设置为当前节点,进行后续处理
4.2、叔叔节点不存在或者叔叔节点是【黑色节点】且插入节点的父节点是祖父节点的左子节点
4.2.1、插入节点为其父节点的左子节点(这个时候是LL双红的情况:当前节点为红色,当前节点的父节点为红色,当前节点为其父节点的左子节点)
处理方式:
变颜色:将P节点设置为黑色,将PP节点设置为红色
对PP节点进行右旋
4.2.2、插入节点为其父节点的右子节点(这个时候是LR双红的情况:当前节点为红色,当前节点的父节点为红色,当前节点为其父节点的右子节点)
处理方式:
对P节点进行左旋,这个时候就会变成LL双红
此时按照4.2.1的处理方式处理
4.3、叔叔节点不存在或者叔叔节点是【黑色节点】且插入节点的父节点为祖父节点的右子节点
4.3.1、插入节点为其父节点的右子节点(这个时候是RR双红的情况:当前节点为红色,当前节点的父节点为红色,当前节点为其父节点的右子节点)
处理方式:
变颜色:将P节点设置为黑色,将PP节点设置为红色
对PP节点进行左旋
4.3.2、插入节点为其父节点的左子节点(这个时候是RL双红的情况:当前节点为红色,当前节点的父节点为红色,当前节点为其父节点的左子节点)
处理方式:
对P节点进行右旋,这个时候变成RR双红
此时按照4.3.1的方式进行处理
往期推荐
作者简介:猿芯,一枚简单的北漂程序员。喜欢用简单的文字记录工作与生活中的点点滴滴,愿与你一起分享程序员灵魂深处真正的内心独白。我的微信号:WooolaDunzung,公众号【猿芯】输入 1024 ,有份面试惊喜送给你哦。
< END >
【猿芯】
微信扫描二维码,关注我的公众号。
分享不易,莫要干想,如果觉得有点用的话,动动你的发财之手,一键三连击:分享、点赞、在看,你们的鼓励是我分享优质文章的最强动力 ^_^
分享、点赞、在看,3连3连!