您好!
欢迎来到京东云开发者社区
登录
首页
博文
课程
大赛
工具
用户中心
开源
首页
博文
课程
大赛
工具
开源
更多
用户中心
开发者社区
>
博文
>
深入理解经典红黑树
分享
打开微信扫码分享
点击前往QQ分享
点击前往微博分享
点击复制链接
深入理解经典红黑树
wy****
2023-12-28
IP归属:北京
158浏览
本篇我们讲红黑树的经典实现,Java中对红黑树的实现便采用的是经典红黑树。前一篇文章我们介绍过左倾红黑树,它相对来说比较简单,需要大家看完上篇再来看这一篇,因为旋转等基础知识不会再本篇文章中赘述。本篇的大部分内容参考 《算法导论》和 Java 实现红黑树的源码,希望大家能够有耐心的看完。 在正文开始之前我们先看如下问题: * 为什么红黑树比AVL树要应用得更广泛呢? 关于红黑树和 AVL 树,大家可能看过“在最坏情况下,AVL 树和红黑树的查找次数都是对数级别的,虽然红黑树的系数更高一些,但是没有本质的区别,是可以容忍的。AVL 树最致命的地方在于删除节点时旋转次数是对数级别的,而红黑树最多只需要 3 次旋转,这导致了红黑树应用相比于 AVL 树要广泛得多”的观点,但实际上这并不是根本原因,**根本原因是在以任意序列插入和删除操作混合进行的情况下,红黑树均摊时间复杂度保持在 O(1),而 AVL 树的均摊时间复杂度为 O(logn)**。 经典红黑树与2-3-4搜索树 **同构**,它相比于左倾红黑树(2-3树)的实现,在维持红黑树平衡性开销更小。下文中我们会将经典红黑树简称为红黑树,开始吧: ### 2-3-4 搜索树 2-3-4搜索树是在2-3搜索树中增加了4-节点,在前文中已经介绍过4-节点,我们先来看一下2-3-4搜索树的样子: ![2-3-4树.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-05SpR7LgyFv6oTTFi.jpg) 新节点插入2-节点或3-节点的情况我们就不在这里赘述了,我们重点看一下新节点插入4-节点的情况。当有新节点插入的节点为4-节点时,需要先将4-节点转换成3个2-节点,再在其中的2-节点中执行插入操作,如下所示,其中黄色节点为新插入的节点,对应了插入4-节点中的四种情况: ![2-3-4树2.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-05dks40f6NLWviNiAu.jpg) 我们再以情况(4)为例,在2-3-4搜索树中执行插入值为34的节点: ![2-3-4树3.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-056snEvVFu986MZ12g.jpg) 将4-节点转换成3个2-节点并完成插入新节点34后,需要将“根节点25”插入到父节点中,如上图所示。这和我们在前文中在2-3搜索树中讲到的基本类似,**需要不断分解临时的5-节点,并将原来4-节点分解成3个2-节点的根节点插入到更高的父节点中,直到遇到2-节点或3-节点,将其转换成不需要继续分解的节点,如果最终插入到根节点后使其为5-节点,同样需要进行分解再插入的操作,完成后树高加一**。 2-3-4树的插入操作使树本身的改变也是局部的,除了相关的节点和引用之外,不必修改和检查树的其他部分,这些局部变换不会影响到树的全局有序性和平衡性,在插入的过程中,**2-3-4树始终是完美平衡二叉树**。 ### 经典红黑树 经典红黑树与2-3-4搜索树同构,如果我们把2-3-4搜索树样例转换成红黑树的话,会如下图所示(指向红色节点的链接我们同样也染成红色): ![经典红黑树.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-05PrB12IdkBF55FTKE55.jpg) 它满足如下性质: * 节点颜色为红色或黑色 * 根节点是黑色的 * 叶子节点(null 节点)为黑色(null 节点在图中未画出来) * 红色节点的两个子节点为黑色(不能出现连续的红色节点) * 任意叶子节点到根节点路径上的黑色节点数量相同,即该树是黑色平衡的 > 黑色平衡这条性质我们在讲解左倾红黑树时已经讲过,在这里我们<s>不厌其烦地</s>再叙述一遍:2-3-4树始终能保持完美平衡,那么任意叶子节点到达根节点的距离是相等的,红黑树又是一颗***2-3-4搜索树,其中的黑链接是2-3-4搜索树中的普通链接,那么红黑树中被黑色链接引用的黑色节点也必然是完美平衡的,所以任意叶子节点到根节点路径上的黑色节点数量必然相同。*** 下面我们结合图示和Java中 `TreeMap` 源码来讲解红黑树的插入和删除节点操作: #### 节点定义 ```java static final class Entry<K,V> implements Map.Entry<K,V> { K key; V value; Entry<K,V> left; Entry<K,V> right; Entry<K,V> parent; boolean color = BLACK; Entry(K key, V value, Entry<K,V> parent) { this.key = key; this.value = value; this.parent = parent; } // ... } ``` 我们可以发现节点定义除了有表示颜色信息和左右子节点的引用外,还增加了 `parent` 针对父节点的引用。 #### 插入节点 ##### 插入2-节点 直接将节点插入2-节点的情况非常简单,如下图所示的两种情况,2-节点转换成3-节点: ![经典红黑树2.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06kJbNNFoKdrYdVWC.jpg) ##### 插入3-节点 插入3-节点我们需要分左斜3-节点和右斜3-节点两种情况讨论: 1. 插入左斜的3-节点的左节点或右节点,需要将其转换成4-节点,如下图所示: ![经典红黑树3.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-0618e9ZPapbIDAbGYz.jpg) 2. 插入右斜的3-节点的左节点或右节点,需要将其转换成4-节点,如下图所示: ![经典红黑树4.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06f0HOKkalCw066ji.jpg) ##### 插入4-节点 以上两种情况都是不会发生“向上合并”,如果插入的4-节点,需要将其分解成3个2-节点,之后将2-节点的“根节点”合并到它的父节点中(如果有的话),我们同样需要分情况讨论: 1. 插入4-节点的左侧红色节点: ![经典红黑树5.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06aoA35Et9FpBlUe186.jpg) 1. 插入4-节点的右侧红色节点: ![经典红黑树6.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06T8K8KRdZP8OaVOa.jpg) 目前插入新节点的所有情况已经讨论完了,下面我们看一下 `TreeMap` 中的源码,大家注意其中的注释即可: ```java public V put(K key, V value) { Entry<K,V> t = root; // 插入第一个节点 if (t == null) { compare(key, key); root = new Entry<>(key, value, null); size = 1; modCount++; return null; } int cmp; Entry<K,V> parent; // 根据比较器找到插入节点的位置 Comparator<? super K> cpr = comparator; if (cpr != null) { do { parent = t; cmp = cpr.compare(key, t.key); if (cmp < 0) t = t.left; else if (cmp > 0) t = t.right; else return t.setValue(value); } while (t != null); } else { if (key == null) throw new NullPointerException(); @SuppressWarnings("unchecked") Comparable<? super K> k = (Comparable<? super K>) key; do { parent = t; cmp = k.compareTo(t.key); if (cmp < 0) t = t.left; else if (cmp > 0) t = t.right; else return t.setValue(value); } while (t != null); } // 根据大小关系添加新的节点 Entry<K,V> e = new Entry<>(key, value, parent); if (cmp < 0) parent.left = e; else parent.right = e; // *插入之后修复平衡操作* fixAfterInsertion(e); size++; modCount++; return null; } ``` 需要重点关注 `fixAfterInsertion` 方法: ```java private void fixAfterInsertion(Entry<K,V> x) { // 新插入的节点指定为红色 x.color = RED; // 如果非空非根节点且有连续的红色节点出现,需要不断地修复平衡 while (x != null && x != root && x.parent.color == RED) { // 插入节点后,出现连续红色的节点的位置在左侧 if (parentOf(x) == leftOf(parentOf(parentOf(x)))) { // 插入的是4-节点,对应插入4-节点的情况1 Entry<K,V> y = rightOf(parentOf(parentOf(x))); if (colorOf(y) == RED) { // 反色处理 setColor(parentOf(x), BLACK); setColor(y, BLACK); setColor(parentOf(parentOf(x)), RED); // 处理父节点的父节点(因为该节点为红色,可能会发生向上合并的操作) x = parentOf(parentOf(x)); } else { // 如下步骤对应插入3-节点的情况1 // 插入的是3-节点的右节点 if (x == rightOf(parentOf(x))) { x = parentOf(x); // 左旋父节点 rotateLeft(x); } // 现在转换成了插入位置为3-节点的左节点,父节点染成黑色 setColor(parentOf(x), BLACK); // 父节点的父节点为红色 setColor(parentOf(parentOf(x)), RED); // 右旋父节点的父节点,转换成4-节点 rotateRight(parentOf(parentOf(x))); } } else { // 插入节点后,出现连续红色的节点的位置在右侧 Entry<K,V> y = leftOf(parentOf(parentOf(x))); // 插入的是4-节点,对应插入4-节点的情况2 if (colorOf(y) == RED) { // 反色处理 setColor(parentOf(x), BLACK); setColor(y, BLACK); setColor(parentOf(parentOf(x)), RED); // 处理父节点的父节点(因为该节点为红色,可能会发生向上合并的操作) x = parentOf(parentOf(x)); } else { // 如下步骤对应插入3-节点的情况2 // 插入的是3-节点的左节点 if (x == leftOf(parentOf(x))) { x = parentOf(x); // 右旋父节点 rotateRight(x); } // 转换成了插入位置为3-节点的右节点,父节点为黑色 setColor(parentOf(x), BLACK); // 父节点的父节点为红色 setColor(parentOf(parentOf(x)), RED); // 左旋父节点的父节点,转换成4-节点 rotateLeft(parentOf(parentOf(x))); } } } // 根节点始终为黑色 root.color = BLACK; } ``` #### \*删除节点 删除节点是红黑树中最复杂的实现,如果删除的是3-节点或4-节点(删除的是红色节点),那么移除该节点不会影响红黑树的平衡;如果删除的是2-节点,需要在删除节点后向上修复红黑树的平衡,这也是其中最复杂的部分,下面我们按照《算法导论》中讨论的情况来分析,理解删除过程一定要对红黑树的性质非常熟悉(尤其是性质5:红黑树始终都是黑色平衡的),书中将2-节点移除后分了四种情况来讨论,记红黑树再平衡开始的节点为 x (x 节点为某2-节点被移除后,拼接到该位置的节点),其兄弟节点为 w,如下: ##### 情况1:x 的兄弟节点 w 是红色的 ![DELETE.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06LzAXdBOoKbd129gW.jpg) 上图所示的局部红黑树在节点被移除前是黑色平衡的,那么从根节点到 a 子树的黑色节点数量应为 3。当节点被移除后,根节点到 a 子树的黑色节点数量为 2(如图上所示);根节点到 c 子树路径上的黑色节点数量为 2。 经过反色和左旋处理后,原根节点被染红,现在从“新根节点”到 a 子树的黑色节点数量仍然为 2,没有新增到 3,所以还是黑色不平衡;到 c 子树路径上的黑色节点数量为 2,与操作前一致,没有影响到红黑树的性质。 情况1在反色和左旋后会变成情况2、情况3或情况4继续处理,这其实不难理解,结合红黑树的性质5,反色和左旋操作使根节点到某子树路径上的黑色节点数量并没有改变,而我们执行删除操作时已经将该路径上移除一个黑色节点了,所以“根节点”到某子树的路径上依然需要补充一个黑色节点才能满足黑色平衡,关键思想在于:**从根节点到每棵子树路径上黑色节点的数量不能被改变,性质 5 在删除节点和变换前后都需要成立**。 ##### 情况2:x 的兄弟节点 w 是黑色的,而且 w 的两个子节点都是黑色的 ![DELETE2.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-06pfA187z599KD99MbA.jpg) 注意图中的红黑渐变色表示该节点可能是黑色节点也可能是红色节点。在该情况下,兄弟节点的两个子节点都是黑色的,在某节点被删除前从根节点到 a 子树和 c 子树路径上的根节点数量都是 2(忽略不确定颜色的根节点)。删除节点后根节点到 a 子树路径上的黑色节点数量为 1,如果我们将 w 节点染红,那么根节点到 c 子树路径上的黑色节点数量减少为 1,那么从根节点到图示中所有子树路径上黑色节点数量都一致了,也就是说图示中的局部红黑树满足黑色平衡的条件了。此时需要将 x 指向它的父节点再重复(while)修复的过程。 ##### 情况3:x 的兄弟节点 w 是黑色的,w 的左节点是红色的,w 的右节点是黑色的 ![DELETE3.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-07gUDXpNyUOwTU18aG.jpg) 这种情况下,根节点到子树 e 路径上黑色节点数量为 2,经过交换 w 和 w.left 的颜色和右旋操作后并不影响红黑树的性质,这样就将情况3转换成了情况4。 ##### 情况4:x 的兄弟节点 w 是黑色的,且 w 的右节点是红色的 ![DELETE4.jpg](https://s3.cn-north-1.jdcloud-oss.com/shendengbucket1/2023-12-18-09-07x6g18cHRgr8GQwfJ.jpg) 在情况4下,根节点到 a 子树路径上的黑色节点数量为 1,想达到黑色平衡需要增加到 2。通过交换 w 节点和 x.parent 节点的颜色,再将 w.right 节点染黑,之后对 x.parent 节点执行左旋操作后,使得根节点到到 a 子树路径上的黑色节点增加到了 2,并且到达其他 c, d, e, f 子树路径上的黑色节点数量不变,不破坏红黑树的性质,操作完毕后将 x 指向根节点,结束循环,因为此时红黑树满足所有性质。 现在我们已经分析完了删除2-节点后的四种不同情况,都需要通过染色和旋转操作让红黑树再次黑色平衡,下面我们看下 `TreeMap` 中 `remove` 方法的实现,需要关注其中的注释信息: ```java /** * 删除节点 */ public V remove(Object key) { // 找到要删除的节点 Entry<K,V> p = getEntry(key); if (p == null) return null; V oldValue = p.value; // 执行删除操作 deleteEntry(p); return oldValue; } ``` 接下来我们看一下删除操作的执行逻辑: ```java private void deleteEntry(Entry<K,V> p) { modCount++; size--; // 如果该节点有左右子节点,则它是一个要被删除的内部节点 // 那么需要找到该节点的“后继节点”,找到之后删除任务则变为了删除该后继节点 if (p.left != null && p.right != null) { Entry<K,V> s = successor(p); p.key = s.key; p.value = s.value; p = s; } // 执行完上述代码块后,被删除节点要么为叶子节点,要么为只有左子树或右子树的节点 Entry<K,V> replacement = (p.left != null ? p.left : p.right); // 被删除节点有左子树或右子树 if (replacement != null) { // 修正节点的父节点引用关系 replacement.parent = p.parent; // 被删除节点为根节点的关系 if (p.parent == null) root = replacement; else if (p == p.parent.left) // 被删除的节点是左节点 p.parent.left = replacement; else // 被删除的节点是右节点 p.parent.right = replacement; // 断开被删除节点的所有引用关系 p.left = p.right = p.parent = null; // 如果被删除节点为2-节点,需要执行再平衡操作 if (p.color == BLACK) fixAfterDeletion(replacement); } else if (p.parent == null) { // 红黑树只有一个节点的情况 root = null; } else { // 删除叶子节点,如果该节点为2-节点那么需要再平衡修复 if (p.color == BLACK) fixAfterDeletion(p); // 断开引用关系 if (p.parent != null) { if (p == p.parent.left) p.parent.left = null; else if (p == p.parent.right) p.parent.right = null; p.parent = null; } } } // 获取 t 节点的后继节点 static <K,V> TreeMap.Entry<K,V> successor(Entry<K,V> t) { if (t == null) return null; else if (t.right != null) { // 右子树不为空,则右子树中最小的节点为该节点的后继节点 Entry<K,V> p = t.right; while (p.left != null) p = p.left; return p; } else { // ... } } ``` `fixAfterDeletion` 为删除后再平衡方法,需要大家关注其中的注释信息: ```java private void fixAfterDeletion(Entry<K,V> x) { // 非根节点和当前节点是黑色的才需要修复平衡 while (x != root && colorOf(x) == BLACK) { if (x == leftOf(parentOf(x))) { Entry<K,V> sib = rightOf(parentOf(x)); // 情况 1 if (colorOf(sib) == RED) { // 反色处理:兄弟节点染黑,父节点染红 setColor(sib, BLACK); setColor(parentOf(x), RED); // 左旋父节点 rotateLeft(parentOf(x)); // 新的兄弟节点 sib = rightOf(parentOf(x)); } // 情况 2 if (colorOf(leftOf(sib)) == BLACK && colorOf(rightOf(sib)) == BLACK) { // 将兄弟节点染红后,x指向父节点引用,继续修复平衡 setColor(sib, RED); x = parentOf(x); } else { // 情况 3 if (colorOf(rightOf(sib)) == BLACK) { // 交换颜色:兄弟节点左节点染黑,兄弟节点染红 setColor(leftOf(sib), BLACK); setColor(sib, RED); // 右旋兄弟节点 rotateRight(sib); // 新的兄弟节点 sib = rightOf(parentOf(x)); } // 情况 4 // 交换兄弟节点和父节点的颜色 setColor(sib, colorOf(parentOf(x))); setColor(parentOf(x), BLACK); // 将兄弟节点的右节点由红染黑 setColor(rightOf(sib), BLACK); // 左旋父节点 rotateLeft(parentOf(x)); // 满足红黑树的性质,指向根节点循环结束 x = root; } } else { // 以下是镜像操作 Entry<K,V> sib = leftOf(parentOf(x)); if (colorOf(sib) == RED) { setColor(sib, BLACK); setColor(parentOf(x), RED); rotateRight(parentOf(x)); sib = leftOf(parentOf(x)); } if (colorOf(rightOf(sib)) == BLACK && colorOf(leftOf(sib)) == BLACK) { setColor(sib, RED); x = parentOf(x); } else { if (colorOf(leftOf(sib)) == BLACK) { setColor(rightOf(sib), BLACK); setColor(sib, RED); rotateLeft(sib); sib = leftOf(parentOf(x)); } setColor(sib, colorOf(parentOf(x))); setColor(parentOf(x), BLACK); setColor(leftOf(sib), BLACK); rotateRight(parentOf(x)); x = root; } } } // 情况 2,x 为红色节点时跳出循环,需要将 x 节点染黑 // 因为红黑树中不存在连续的红色节点 setColor(x, BLACK); } ``` 红黑树执行删除方法的时间复杂度是多少呢?含有 n 个节点的红黑树的高度为 logn,不调用`fixAfterDeletion` 方法时,复杂度为 O(logn),在 `fixAfterDeletion` 中,情况 1, 3, 4 在各执行常数次的颜色改变和至多 3 次旋转后便终止,只有在情况 2 中才可能重复修复平衡,指针也至多上升 O(logn) 次,且没有任何旋转操作,所以 `fixAfterDeletion` 复杂度为 O(logn),最多旋转 3 次,因此红黑树删除方法的时间复杂度为 O(logn)。 --- ### 巨人的肩膀 * 《算法导论》:第 13 章 红黑树 * [知乎 - 关于AVL树和红黑树的一点看法](https://zhuanlan.zhihu.com/p/93369069) * [LeetCode - 红黑树从入门到看开](https://leetcode.cn/circle/discuss/SwgIJV/) * [博客园 - 红黑树的删除](https://www.cnblogs.com/mcomco/p/10213468.html)
上一篇:k8s环境搭建
下一篇:Mybatis 拦截器实现单数据源内多数据库切换
wy****
文章数
22
阅读量
2476
作者其他文章
01
高性能MySQL实战(一):表结构
最近因需求改动新增了一些数据库表,但是在定义表结构时,具体列属性的选择有些不知其所以然,索引的添加也有遗漏和不规范的地方,所以我打算为创建一个高性能表的过程以实战的形式写一个专题,以此来学习和巩固这些知识。1. 实战我使用的 MySQL 版本是 5.7,建表 DDL 语句如下所示:根据需求创建 接口调用日志 数据库表,请大家浏览具体字段的属性信息,它们有不少能够优化的点。CREATE TABLE
01
分布式服务高可用实现:复制
1. 为什么需要复制我们可以考虑如下问题:当数据量、读取或写入负载已经超过了当前服务器的处理能力,如何实现负载均衡?希望在单台服务器出现故障时仍能继续工作,这该如何实现?当服务的用户遍布全球,并希望他们访问服务时不会有较大的延迟,怎么才能统一用户的交互体验?这些问题其实都能通过 “复制” 来解决:复制,即在不同的节点上保存相同的副本,提供数据冗余。如果一些节点不可用,剩余的节点仍然可以提供数据服务
01
高性能MySQL实战(三):性能优化
这篇主要介绍对慢 SQL 优化的一些手段,而在讲解具体的优化措施之前,我想先对 EXPLAIN 进行介绍,它是我们在分析查询时必要的操作,理解了它输出结果的内容更有利于我们优化 SQL。为了方便大家的阅读,在下文中规定类似 key1 的表示二级索引,key_part1 表示联合索引的第一部分,unique_key1 则表示唯一二级索引,primary_key 表示主键索引。高性能MySQL实战(一
01
从2PC和容错共识算法讨论zookeeper中的Create请求
最近在读《数据密集型应用系统设计》,其中谈到了zookeeper对容错共识算法的应用。这让我想到之前参考的zookeeper学习资料中,误将容错共识算法写成了2PC(两阶段提交协议),所以准备以此文对共识算法和2PC做梳理和区分,也希望它能帮助像我一样对这两者有误解的同学。1. 2PC(两阶段提交协议)两阶段提交 (two-phase commit) 协议是一种用于实现 跨多个节点的原子事务(分布
wy****
文章数
22
阅读量
2476
作者其他文章
01
高性能MySQL实战(一):表结构
01
分布式服务高可用实现:复制
01
高性能MySQL实战(三):性能优化
01
从2PC和容错共识算法讨论zookeeper中的Create请求
添加企业微信
获取1V1专业服务
扫码关注
京东云开发者公众号