红黑树的学习

概念:

红黑树是一颗搜索二叉树,他的每一个结点增加一个存储位来表示结点的颜色,红色或者黑色。

通过对颜色进行约束,确保没有一条路径会比其他路径长处2倍,是接近平衡的

规则:

1)结点不是红色就是黑色

2)根节点是黑色的

3)任意一条路径不会有连续的红色结点,如果一个结点是红色,则它的两个孩子结点必须是黑色

4)对任意一个结点,从这个结点到它所有NULL结点的简单路径上,都包含相同数量的黑色结点

效率:

N:结点数量

h:最短路径长度

h约等于logN,红黑树增删查改时间复杂度还是O(logN)

红黑树通过规则约束平衡

插入 O(log(N)):

按二叉搜索树的规则插入,符合四条规则即可

空树插入,新增结点是黑色结点;非空结点插入,新增结点是红色结点

非空结点插入,新增结点是红色结点

如果父亲结点是黑色,则符合规则,插入结束

如果父节点是红色,要进一步分析

分析情况:

情况1:

只变色,不旋转,c为左右孩子,p为左右孩子是一样的

c:新增结点

p:c的父亲标识

g:p的父亲标识

u:p的兄弟标识

把p和u变黑,左边子树路径各增加一个黑色结点

g变红,保持g所在子树的黑色结点的数量不变,同时解决c,p红色结点连续的问题

把g当作c继续向上更新

向上更新:g为红色,g的父亲也为红色,就还需要继续处理;

g的父亲为黑色,处理结束

g为整棵树的根节点,把g变回黑色

情况2:a

单转+变色

u不存在则c为新增结点

u存在且为黑,则c一定不是新增,c之前为黑色,是在c的子树中插入,符合情况1,是将c从黑色变为红色更新上来的

分析:p变黑解决连续红色结点的问题,u不存在且为黑,需要旋转+变色才能解决问题

不需要向上更新,p的父节点是红色还是黑色都可以

不需要向上更新,p的父节点是红色还是黑色都可以

情况2:b

双旋+变色

g

p (u)

c

u不存在c一定是新增结点;u存在且为黑,c一定不是新增结点,c之前是黑色的,是在c的子树中插入,符合情况1,是将c从黑色变成红色更新上来的

分析:p变黑,解决连续红色结点的问题

u不存在且为黑,需要旋转+变色解决

以p为旋转点进行左单旋,再以g为旋转点进行右单旋
把c变黑,g变红
c变成这棵树新的根
不需要向上更新,c的父节点是红是黑都不违反规则

以p为旋转点进行右单旋,再以g为旋转点进行左单旋
把c变黑,g变红
c变成这棵树新的根
不需要向上更新,c的父节点是红是黑都不违反规则

查找:

按照二叉搜索树逻辑实现

效率为O(logN)

验证:

我们去检查红黑树的四条规则

规则3前序遍历

规则4前序遍历用形参记录到当前结点的黑色结点数量,走到NULL,算处黑色结点的总个数,再选一条路径比较黑色结点数量,依次比较


空树也是红黑树。树中的空指针域为叶子结点,空树也是有节点的

红黑树也是二叉搜索树,按照中序遍历得到有序序列

相关推荐
MartinYeung53 小时前
[论文学习]大语言模型安全综述:攻击、防御、对齐、度量与护栏的深度解析
学习·安全·语言模型
AOwhisky4 小时前
Python 学习笔记(第三期)——流程控制:条件判断与循环结构
运维·笔记·python·学习·云原生·流程控制·循环
心中有国也有家4 小时前
AtomGit Flutter 鸿蒙客户端:白噪音场景的视觉设计
学习·flutter·华为·harmonyos
心中有国也有家4 小时前
AtomGit Flutter 鸿蒙客户端:呼吸练习的完整生命周期
学习·flutter·华为·harmonyos
Zeeland4 小时前
构建护城河:自学习 Agent
学习
尼米棕熊4 小时前
大模型学习8上-推理部署框架llama.cpp与Ollama使用指北
学习·llama
brave_zhao4 小时前
nginx的进程架构
java·学习·nginx
枫零NET5 小时前
跟着OpenCode学习Pi Coding Agent-05-Agent的类型系统
人工智能·学习
Day(AKA Elin)5 小时前
【Day】MTP(Multi Token Prediction)技术学习
python·深度学习·学习·llama
Waay5 小时前
Linux 三个核心环境变量配置文件、作用域、生效方式完整梳理
linux·运维·学习·云原生·容器