漫画：什么是红黑树？

Dear 丶 2023-09-23 20:40 141阅读 0赞

![format_png][]

![format_png 1][]

![format_png 2][]

![format_png 3][]

————————————

![format_png 4][]

![format_png 5][]

![format_png 6][]

![format_png 7][]

![format_png 8][]

![format_png 9][]

![format_png 10][]

![format_png 11][]

————————————

![format_png 12][]

![format_png 13][]

![format_png 14][]

二叉查找树（BST）具备什么特性呢？

1.**左**子树上所有结点的值均**小于或等于**它的根结点的值。

2.**右**子树上所有结点的值均**大于或等于**它的根结点的值。

3.左、右子树也分别为二叉排序树。

下图中这棵树，就是一颗典型的二叉查找树：

![format_png 15][]

![format_png 16][]

1.查看根节点**9**：

![format_png 17][]

2.由于**10 > 9**，因此查看右孩子**13**：

![format_png 18][]

3.由于**10 < 13**，因此查看左孩子**11**：

![format_png 19][]

4.由于**10 < 11**，因此查看左孩子**10**，发现10正是要查找的节点：

![format_png 20][]

![format_png 21][]

![format_png 22][]

![format_png 23][]

![format_png 24][]

![format_png 25][]

![format_png 26][]

假设初始的二叉查找树只有三个节点，根节点值为9，左孩子值为8，右孩子值为12：

![format_png 27][]

接下来我们依次插入如下五个节点：7,6,5,4,3。依照二叉查找树的特性，结果会变成什么样呢？

![format_png 28][]

![format_png 29][]

![format_png 30][]

![format_png 31][]

![format_png 32][]

1.节点是红色或黑色。

2.根节点是黑色。

3.每个叶子节点都是黑色的空节点（NIL节点）。

4 每个红色节点的两个子节点都是黑色。(从每个叶子到根的所有路径上不能有两个连续的红色节点)

5.从任一节点到其每个叶子的所有路径都包含相同数目的黑色节点。

下图中这棵树，就是一颗典型的红黑树：

![format_png 33][]

![format_png 34][]

![format_png 35][]

![format_png 36][]

什么情况下会破坏红黑树的规则，什么情况下不会破坏规则呢？我们举两个简单的栗子：

1.向原红黑树插入值为**14**的新节点：

![format_png 37][]

由于父节点15是黑色节点，因此这种情况并不会破坏红黑树的规则，无需做任何调整。

2.向原红黑树插入值为**21**的新节点：

![format_png 38][]

由于父节点22是红色节点，因此这种情况打破了红黑树的规则4（每个红色节点的两个子节点都是黑色），必须进行调整，使之重新符合红黑树的规则。

![format_png 39][]

![format_png 40][]

**变色：**

为了重新符合红黑树的规则，尝试把红色节点变为黑色，或者把黑色节点变为红色。

下图所表示的是红黑树的一部分，需要注意节点25并非根节点。因为节点21和节点22连续出现了红色，不符合规则4，所以把节点22从红色变成黑色：

![format_png 41][]

但这样并不算完，因为凭空多出的黑色节点打破了规则5，所以发生连锁反应，需要继续把节点25从黑色变成红色：

![format_png 42][]

此时仍然没有结束，因为节点25和节点27又形成了两个连续的红色节点，需要继续把节点27从红色变成黑色：

![format_png 43][]

**左旋转：**

**逆时针**旋转红黑树的两个节点，使得父节点被自己的右孩子取代，而自己成为自己的左孩子。说起来很怪异，大家看下图：

![format_png 44][]

图中，身为右孩子的Y取代了X的位置，而X变成了自己的左孩子。此为左旋转。

**右旋转：**

**顺时针**旋转红黑树的两个节点，使得父节点被自己的左孩子取代，而自己成为自己的右孩子。大家看下图：

![format_png 45][]

图中，身为左孩子的Y取代了X的位置，而X变成了自己的右孩子。此为右旋转。

![format_png 46][]

![format_png 47][]

我们以刚才插入节点21的情况为例：

![format_png 38][]

首先，我们需要做的是**变色**，把节点25及其下方的节点变色：

![format_png 48][]

此时节点17和节点25是连续的两个红色节点，那么把节点17变成黑色节点？恐怕不合适。这样一来不但打破了规则4，而且根据规则2（根节点是黑色），也不可能把节点13变成红色节点。

变色已无法解决问题，我们把节点13看做X，把节点17看做Y，像刚才的示意图那样进行**左旋转**：

![format_png 44][]

![format_png 49][]

![format_png 50][]

由于根节点必须是黑色节点，所以需要**变色**，变色结果如下：

![format_png 51][]

这样就结束了吗？并没有。因为其中两条路径(17 -> 8 -> 6 -> NIL)的黑色节点个数是4，其他路径的黑色节点个数是3，不符合规则5。

这时候我们需要把节点13看做X，节点8看做Y，像刚才的示意图那样进行**右旋转**：

![format_png 45][]

![format_png 52][]

![format_png 53][]

最后根据规则来进行**变色**：

![format_png 54][]

如此一来，我们的红黑树变得重新符合规则。这一个例子的调整过程比较复杂，经历了如下步骤：

变色 -> 左旋转 -> 变色 -> 右旋转 -> 变色

![format_png 55][]

![format_png 56][]

![format_png 57][]

![format_png 58][]

**几点说明：**

1. 关于红黑树自平衡的调整，插入和删除节点的时候都涉及到很多种Case，由于篇幅原因无法展开来一一列举，有兴趣的朋友可以参考维基百科，里面讲的非常清晰。

2.漫画中红黑树调整过程的示例是一种比较复杂的情形，没太看明白的小伙伴也不必钻牛角尖，关键要懂得红黑树自平衡调整的主体思想。

原文链接：https://juejin.cn/post/6844903519632228365  
来源：稀土掘金

[format_png]: https://img-blog.csdnimg.cn/img_convert/750de26d6d4b4e0a91d5b50563f0ac04.webp?x-oss-process=image/format,png
[format_png 1]: https://img-blog.csdnimg.cn/img_convert/cea3ccd22bb8870c20aff876f14704e5.webp?x-oss-process=image/format,png
[format_png 2]: https://img-blog.csdnimg.cn/img_convert/44adbb10406a37fd164ac71e47c80bcf.webp?x-oss-process=image/format,png
[format_png 3]: https://img-blog.csdnimg.cn/img_convert/b1ed655fc2f3f2860e2b73154edc9ec5.webp?x-oss-process=image/format,png
[format_png 4]: https://img-blog.csdnimg.cn/img_convert/52936f50bf9fe93bb40d6f80166997e0.webp?x-oss-process=image/format,png
[format_png 5]: https://img-blog.csdnimg.cn/img_convert/a01842eb1376bc31ca81217290812ba5.webp?x-oss-process=image/format,png
[format_png 6]: https://img-blog.csdnimg.cn/img_convert/b656c7135c67d888ca9078d6c9de2208.webp?x-oss-process=image/format,png
[format_png 7]: https://img-blog.csdnimg.cn/img_convert/f278002edb3bed94bbe7342332780dfb.webp?x-oss-process=image/format,png
[format_png 8]: https://img-blog.csdnimg.cn/img_convert/a3cadcecce41a8a45c360f8e770406d7.webp?x-oss-process=image/format,png
[format_png 9]: https://img-blog.csdnimg.cn/img_convert/f0b48684cf56e43f9c0ef360f7f879a2.webp?x-oss-process=image/format,png
[format_png 10]: https://img-blog.csdnimg.cn/img_convert/9256faa66e888030fe2137d337b392aa.webp?x-oss-process=image/format,png
[format_png 11]: https://img-blog.csdnimg.cn/img_convert/59454af0d44bfd827d7cc76e755c1356.webp?x-oss-process=image/format,png
[format_png 12]: https://img-blog.csdnimg.cn/img_convert/fafdb5f8a3c235f7815f45fd9555c288.webp?x-oss-process=image/format,png
[format_png 13]: https://img-blog.csdnimg.cn/img_convert/3e458e04facea1ca5434a21811088ab6.webp?x-oss-process=image/format,png
[format_png 14]: https://img-blog.csdnimg.cn/img_convert/c4dd181a878760a2ad2a8cb7ba939576.webp?x-oss-process=image/format,png
[format_png 15]: https://img-blog.csdnimg.cn/img_convert/0004d25a392fc3a1969015f8ebc71ddb.webp?x-oss-process=image/format,png
[format_png 16]: https://img-blog.csdnimg.cn/img_convert/d758ff2f1c0f9d0fcf5b123ca8a57ea9.webp?x-oss-process=image/format,png
[format_png 17]: https://img-blog.csdnimg.cn/img_convert/dae18505172b521d607588d6156b271d.webp?x-oss-process=image/format,png
[format_png 18]: https://img-blog.csdnimg.cn/img_convert/53995eee519beb409dacbf4722b65e02.webp?x-oss-process=image/format,png
[format_png 19]: https://img-blog.csdnimg.cn/img_convert/5a3903c90d4d1ae6f227d153b42da4de.webp?x-oss-process=image/format,png
[format_png 20]: https://img-blog.csdnimg.cn/img_convert/a629f932cd0e077e3b8ae05790c6a0ea.webp?x-oss-process=image/format,png
[format_png 21]: https://img-blog.csdnimg.cn/img_convert/aa2dadae148148a33168abc392473b69.webp?x-oss-process=image/format,png
[format_png 22]: https://img-blog.csdnimg.cn/img_convert/898ae5c608addf61434ad81579fea5ae.webp?x-oss-process=image/format,png
[format_png 23]: https://img-blog.csdnimg.cn/img_convert/aa86c80530aff549a966a586a373e964.webp?x-oss-process=image/format,png
[format_png 24]: https://img-blog.csdnimg.cn/img_convert/84f65f1a83b75c93075be0069abc2587.webp?x-oss-process=image/format,png
[format_png 25]: https://img-blog.csdnimg.cn/img_convert/888525411ad60ee9d79cb6c2ecd85285.webp?x-oss-process=image/format,png
[format_png 26]: https://img-blog.csdnimg.cn/img_convert/398d8127dd0cac659cede94e8ce99df7.webp?x-oss-process=image/format,png
[format_png 27]: https://img-blog.csdnimg.cn/img_convert/69e40d7d971e8816771e10fbd73ec4a1.webp?x-oss-process=image/format,png
[format_png 28]: https://img-blog.csdnimg.cn/img_convert/0100417c2812a3e94546ea57ce49909b.webp?x-oss-process=image/format,png
[format_png 29]: https://img-blog.csdnimg.cn/img_convert/5fb1aaefa26b2bf8c56d6f613aa3abaf.webp?x-oss-process=image/format,png
[format_png 30]: https://img-blog.csdnimg.cn/img_convert/bcbeb9f40c91554a388d32b918c36803.webp?x-oss-process=image/format,png
[format_png 31]: https://img-blog.csdnimg.cn/img_convert/31b4299f0a614e0e2a2fb940154937af.webp?x-oss-process=image/format,png
[format_png 32]: https://img-blog.csdnimg.cn/img_convert/e0ead0f0e760d6d7246421e0a546e25c.webp?x-oss-process=image/format,png
[format_png 33]: https://img-blog.csdnimg.cn/img_convert/651e305c1bdb2b88a9e69f0682702460.webp?x-oss-process=image/format,png
[format_png 34]: https://img-blog.csdnimg.cn/img_convert/78395c2593b77c8de387f8bc5e6064f8.webp?x-oss-process=image/format,png
[format_png 35]: https://img-blog.csdnimg.cn/img_convert/134d31ca76d21f828d8a57341c6c9367.webp?x-oss-process=image/format,png
[format_png 36]: https://img-blog.csdnimg.cn/img_convert/01064ce86e50384d95176200f37afaa3.webp?x-oss-process=image/format,png
[format_png 37]: https://img-blog.csdnimg.cn/img_convert/cf3f6010ad377afc2f2448d99f2b61ee.webp?x-oss-process=image/format,png
[format_png 38]: https://img-blog.csdnimg.cn/img_convert/368d3504c98d12448df5beeda55cc334.webp?x-oss-process=image/format,png
[format_png 39]: https://img-blog.csdnimg.cn/img_convert/10b43091a290e9e8ad4a40240c28948f.webp?x-oss-process=image/format,png
[format_png 40]: https://img-blog.csdnimg.cn/img_convert/f49f7858e326a9f860a8f7b71eaf13c7.webp?x-oss-process=image/format,png
[format_png 41]: https://img-blog.csdnimg.cn/img_convert/00213bb99999d7991c1ca44a8c65296e.webp?x-oss-process=image/format,png
[format_png 42]: https://img-blog.csdnimg.cn/img_convert/52347339da7061d4aef28a181327dfd4.webp?x-oss-process=image/format,png
[format_png 43]: https://img-blog.csdnimg.cn/img_convert/16865d515c84d0c4b6b23e3f174d1c7f.webp?x-oss-process=image/format,png
[format_png 44]: https://img-blog.csdnimg.cn/img_convert/f1e65bce957259613d1dca01163139c3.webp?x-oss-process=image/format,png
[format_png 45]: https://img-blog.csdnimg.cn/img_convert/334c32075556fcb516e0dae4b0230059.webp?x-oss-process=image/format,png
[format_png 46]: https://img-blog.csdnimg.cn/img_convert/7674d9b8e17d47572094e3ec1ba35a39.webp?x-oss-process=image/format,png
[format_png 47]: https://img-blog.csdnimg.cn/img_convert/26978a2f77207334617bec6afb267c3e.webp?x-oss-process=image/format,png
[format_png 48]: https://img-blog.csdnimg.cn/img_convert/0a56fe239462993f3ec0d54020af7454.webp?x-oss-process=image/format,png
[format_png 49]: https://img-blog.csdnimg.cn/img_convert/e0e10ccfdb43bff636bd8e041b7a78d2.webp?x-oss-process=image/format,png
[format_png 50]: https://img-blog.csdnimg.cn/img_convert/dfbbe628a36f92b992c09c30ac050295.webp?x-oss-process=image/format,png
[format_png 51]: https://img-blog.csdnimg.cn/img_convert/da5151d15778c7c04ead3b5edde4f45a.webp?x-oss-process=image/format,png
[format_png 52]: https://img-blog.csdnimg.cn/img_convert/10936959730a22b5030157e52a9e4015.webp?x-oss-process=image/format,png
[format_png 53]: https://img-blog.csdnimg.cn/img_convert/4ee93b97668c02c9e0fa1a2daa118234.webp?x-oss-process=image/format,png
[format_png 54]: https://img-blog.csdnimg.cn/img_convert/893ddeeccc5873f4a54a826ae1b9d93e.webp?x-oss-process=image/format,png
[format_png 55]: https://img-blog.csdnimg.cn/img_convert/13e88b9c661d8f3ddebfb827538f0f86.webp?x-oss-process=image/format,png
[format_png 56]: https://img-blog.csdnimg.cn/img_convert/b254720e5597ac6e6f7a295569898051.webp?x-oss-process=image/format,png
[format_png 57]: https://img-blog.csdnimg.cn/img_convert/93a74315fb3725e2210f93d0f391dba8.webp?x-oss-process=image/format,png
[format_png 58]: https://img-blog.csdnimg.cn/img_convert/e1ef21e3c2464c6724e478658dc42d5e.webp?x-oss-process=image/format,png