红黑树插入数据的底层详解

红黑树定义

1. 每个结点不是红色就是黑色 
2. 根节点是黑色的  
3. 如果一个节点是红色的，则它的两个孩子结点是黑色的  
4. 对于每个结点，从该结点到其所有后代叶结点的简单路径上，均 包含相同数目的黑色节点  
5. 每个叶子结点都是黑色的(此处的叶子结点指的是空结点)

红黑树节点实现

enum COLOR {RED,BLACK
};template<class K,class V>
struct ListNode {				// 节点//typedef ListNode<K, V> node;using Node = ListNode<K, V>;ListNode(std::pair<K,V> kv):_kv(kv) {_parent = _left = _right = nullptr;_color = RED;}Node* _parent;Node* _left;Node* _right;std::pair<K, V> _kv;COLOR _color;
};

简单点来说就是一个结构体,里面三个指针,一个pair<k,v>数据,一个颜色(enum变量),三个指针是父亲,左孩子,右孩子

依照二叉搜索树的定义,我们来实现插入操作

1.接口

这里我按stl库里set,map的insert函数最主要的模型进行实现

2.找到待插入的位置

按搜索二叉树的要求,比根节点大的去右子树,比根节点小的去左子树,如果和根节点相等则插入失败,否则在子树继续比较,直到找到叶节点,

Node* new_node = new Node(kv);
_size++;
if (_root == nullptr) {new_node->_color = BLACK;_root = new_node;return std::make_pair(iterator(new_node), true);
}
Node* child = _root;
Node* father = _root;	// 父子交替,找 新节点应该插入的地方
while (child) {			//儿子不是空father = child;if (child->_kv.first > kv.first) {child = child->_left;}else if (kv.first > child->_kv.first) {child = child->_right;}else {_size--;return std::make_pair(iterator(child), false);}
}

3.插入新节点

		void add_node(Node* father, Node* new_node) {if (new_node->_kv.first > father->_kv.first) {father->_right = new_node;}else {father->_left = new_node;}new_node->_parent = father;}

插入完成,依照红黑树的定义对原树进行重构

把红黑树的定义拉过来

1. 每个结点不是红色就是黑色 
2. 根节点是黑色的  
3. 如果一个节点是红色的，则它的两个孩子结点是黑色的  
4. 对于每个结点，从该结点到其所有后代叶结点的简单路径上，均 包含相同数目的黑色节点  
5. 每个叶子结点都是黑色的(此处的叶子结点指的是空结点)

默认新节点的颜色为什么是红色

如果新节点是黑色,新插入节点所在路径上的颜色一定不同于其他路径.定义4失效,此时需要更改某些路径上的黑色节点,最差情况需要重构整颗树

如果新节点是红色,如果父亲节点是红色的话定义三失效,此时需要对所在子树进行选择,最差情况也不过是选择一条逻辑,如果插入的是根节点,也会违反定义5,此时只需直接修改颜色即可

对比之下,新节点为红色时,重构树的代价最小,

重构

情况一,没有父节点

此时插入的节点只可能是根节点,直接修改颜色

情况二,父亲节点为黑色

此时不与红黑树冲突,不需要重构

情况三,父亲节点为红色

父亲为红色,由于性质三的限制,爷爷节点不能为红色,必定为黑色

此时需要注意叔叔节点的颜色

情况三_一.没有叔叔节点  

这种情况不能单靠修改颜色来重构树,需要进行旋转

关于父子所在不同位置进行不同的旋转可以参考AVL树底层原理+模拟实现-CSDN博客

简单来说:

  1. 父亲为爷爷左,孩子为父亲左,则右旋父亲
  2. 父亲为爷爷右,孩子为父亲右,则左旋父亲
  3. 父亲为爷爷左,孩子为父亲右,则先左旋孩子,再右旋孩子
  4. 父亲为爷爷右,孩子为父亲左,则先右旋孩子,再左旋孩子

关于颜色

 如果父亲孩子同侧   父亲   ->   黑色   爷爷     ->   红色     如果父亲孩子异侧    新节点    ->   黑色     爷爷    ->   红色

			if (uncle == nullptr ) {							// 叔叔为空,需要发生旋转Node* tmp = revorve(new_node, parent, grandparent);if (tmp == _root) {tmp->_color = BLACK;}else {reconstitution(tmp);}}
情况三_二.叔叔节点为红色

这种情况可以靠修改颜色来完成重构,但是需要注意,此时爷爷节点被强制修改为了黑色,此时就需要再对爷爷节点进行重构

else if (uncle->_color == RED) {// 叔叔为红色 需要改变颜色,并继续向上重构,因为新的爷爷节点被强制改为红色,需要继续向上重构uncle->_color = parent->_color = BLACK;if (grandparent != _root) {// 爷爷节点不为root的话grandparent->_color = RED;reconstitution(grandparent);}
}
情况三_三叔叔节点为黑色

这种情况需要先将新节点与父节点旋转为同侧，再旋转新的父节点，与爷爷的颜色互换(这张图只是为了便于观看理解过程!)

if (uncle->_color == BLACK) {							// 叔叔为空,需要发生旋转Node* tmp = revorve(new_node, parent, grandparent);if (tmp == _root) {tmp->_color = BLACK;}else {reconstitution(tmp);}
}
附：为什么会出现情况三_三

依照红黑树的定义四:每条路径上的黑色元素数量相等,显然下图中的红黑树本身就已经不合定义了,那么为什么还会出现这种情况呢?

在情况三_三中如果我们假设被重构的节点是新加入的节点的话,显然是不符合定义的,但是,除了是新加入的节点以外,还有一种情况,就是情况三_二中继续向上重构的节点.

这种递归式的重构就会出现情况三_三了

总结

  1. 插入节点为根节点,进行重构                ------    修改根节点颜色为黑色
  2. 父亲为红色,没有叔叔节点  进行重构   -------   将父节点与子节点旋转至同侧，旋转父节点    。 如果父亲孩子同侧   父亲   ->   黑色   爷爷     ->   红色     如果父亲孩子异侧    新节点    ->   黑色     爷爷    ->   红色
  3. 父亲为红色，叔叔节点为红色             --------  父亲与叔叔节点修改为黑色，爷爷节点修改为红色，继续重构爷爷节点
  4. 父亲为红色，叔叔节点为黑色             -------- 将父节点与子节点旋转至同侧，旋转父节点。 如果父亲孩子同侧   父亲   ->   黑色   爷爷     ->   红色     如果父亲孩子异侧    新节点    ->   黑色     爷爷    ->   红色

模拟实现参考代码

		std::pair<iterator,bool> insert(const std::pair<K, V>& kv) {Node* new_node = new Node(kv);_size++;if (_root == nullptr) {new_node->_color = BLACK;_root = new_node;return std::make_pair(iterator(new_node), true);}Node* child = _root;Node* father = _root;	// 父子交替,找 新节点应该插入的地方while (child) {			//儿子不是空father = child;if (child->_kv.first > kv.first) {child = child->_left;}else if (kv.first > child->_kv.first) {child = child->_right;}else {_size--;return std::make_pair(iterator(child), false);}}//此处儿子是空,代表新节点应该插入的地方add_node(father, new_node);//对插入的节点进行检查,不合理的地方重构reconstitution(new_node);return std::make_pair(iterator(new_node), true);}protected:void add_node(Node* father, Node* new_node) {if (new_node->_kv.first > father->_kv.first) {father->_right = new_node;}else {father->_left = new_node;}new_node->_parent = father;}void reconstitution(Node* new_node) {/*1. 每个结点不是红色就是黑色 2. 根节点是黑色的  3. 如果一个节点是红色的，则它的两个孩子结点是黑色的  4. 对于每个结点，从该结点到其所有后代叶结点的简单路径上，均 包含相同数目的黑色结点  5. 每个叶子结点都是黑色的(此处的叶子结点指的是空结点)*/if (new_node == _root) {return;}if (new_node->_parent->_color == BLACK)	// 父亲是黑色,插入红色节点,符合红黑树要求,不做处理return;// 父亲是红色,此时不符合条件三,需要发生重构Node* parent = new_node->_parent;				// 新节点的父节点Node* grandparent = new_node->_parent->_parent; // 爷爷节点Node* uncle = nullptr;							// 叔叔节点if (grandparent->_left == parent) {				// 叔叔节点需要通过父亲节点与爷爷节点的关系来判断uncle = grandparent->_right;			}else {uncle = grandparent->_left;}// 判断情况if (uncle == nullptr || uncle->_color == BLACK) {							// 叔叔为空,需要发生旋转Node* tmp = revorve(new_node, parent, grandparent);if (tmp == _root) {tmp->_color = BLACK;}else {reconstitution(tmp);}}else if (uncle->_color == RED) {// 叔叔为红色 需要改变颜色,并继续向上重构,因为新的爷爷节点被强制改为红色,需要继续向上重构uncle->_color = parent->_color = BLACK;if (grandparent != _root) {// 爷爷节点不为root的话grandparent->_color = RED;reconstitution(grandparent);}}//else {	// 叔叔节点为黑色//	// 旋转//	reconstitution(revorve(new_node, parent, grandparent));//}}Node* revorve(Node* node,Node* parent,Node* grandparnt) {if (node == parent->_left && parent == grandparnt->_left) {// 子为父左，父为爷左，右旋父revorveR(parent);node->_color = BLACK;return parent;}else if(node == parent->_left && parent == grandparnt->_right) {// 子为父左，父为爷右，右旋子，左旋子revorveR(node);revorveL(node);parent->_color = BLACK;return node;}else if (node == parent->_right && parent == grandparnt->_right) {// 子为父右，父为爷右，左旋父revorveL(parent);node->_color = BLACK;return parent;}else {// 子为父右，父为爷左，左旋子，右旋子revorveL(node);revorveR(node);parent->_color = BLACK;return node;}}void revorveL(Node* node){// 左旋需要改变node节点的 1.本身 2.父节点 3.爷爷节点 4.左孩子节点 共计四个节点// 记录四个节点的值，防止等下修改时混乱Node* parent = node->_parent;Node* grandparent = parent->_parent;Node* leftchild = node->_left;// 1.修改本身节点node->_parent = grandparent;node->_left = parent;// 2.修改父节点parent->_parent = node;parent->_right = leftchild;if (parent == _root)_root = node;// 3. 修改爷爷节点if (grandparent != nullptr) {if (grandparent->_left == parent)grandparent->_left = node;else {grandparent->_right = node;}}// 4. 修改左孩子节点if(leftchild != nullptr)leftchild->_parent = parent;}void revorveR(Node* node){// 右旋需要改变node节点的 1.本身 2.父节点 3.爷爷节点 4.右孩子节点 共计四个节点// 记录四个节点的值，防止等下修改时混乱Node* parent = node->_parent;Node* grandparent = parent->_parent;Node* rightchild = node->_right;// 1.修改本身节点node->_parent = grandparent;node->_right = parent;// 2.修改父节点parent->_parent = node;parent->_left = rightchild;// 3. 修改爷爷节点if (grandparent != nullptr) {if (grandparent->_left == parent)grandparent->_left = node;else {grandparent->_right = node;}}// 4. 修改右孩子节点if(rightchild!=nullptr)rightchild->_parent = parent;}

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/bicheng/29405.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

大模型下一步在哪里？王小川、杨植麟等给出回答 “苹果智能”何时可用？

大模型下一步在哪里？王小川、杨植麟等给出回答 “苹果智能”何时可用？

大模型下一步在哪里 AI大模型是正在进行的新一轮技术革命&#xff0c;它最终能否通向AGI&#xff0c;在技术研发和商业落地之间该如何权衡&#xff0c;这是当下需要厘清的核心议题。 6月14日&#xff0c;在2024北京智源大会上&#xff0c;百川智能CEO王小川、智谱AI CEO张鹏、…
阅读更多...
具身智能的视觉-语言-动作模型综合综述论文

具身智能的视觉-语言-动作模型综合综述论文

近期arXiv公开了关于具身智能&#xff08;Embodied AI&#xff09;中的视觉-语言-动作模型&#xff08;Vision-Language-Action Models&#xff0c;简称VLAs&#xff09;的综合综述论文。介绍了VLAs的概念&#xff0c;它们是为了处理多模态输入而设计的模型&#xff0c;包括视觉…
阅读更多...
Linux UFW防火墙设置、案例教程及注意事项

Linux UFW防火墙设置、案例教程及注意事项

背景 远程连接服务器时&#xff0c;发现SSH远程登录服务器失败&#xff0c;但是又可以Ping通&#xff0c;故服务器的是开启的。 sudo systemctl status sshd查看sshd的状态发现其是active&#xff0c;所以为什么一直SSH失败呢&#xff1f; 最后知道是有人启动了防火墙&#x…
阅读更多...
氢气传感器：呼吸疾病的隐形向导

氢气传感器：呼吸疾病的隐形向导

​ ​​在医学领域&#xff0c;每一次技术革新都可能成为疾病诊断与治疗的新曙光。氢气传感器&#xff0c;这一看似不起眼的装置&#xff0c;正逐渐成为辅助诊断呼吸系统疾病的关键工具。它如同一位精准的侦探&#xff0c;穿梭于呼吸的微风中&#xff0c;捕捉着那些可能预示…
阅读更多...
示例:WPF中在没有MouseDoubleClick的控件中如何识别双击

示例:WPF中在没有MouseDoubleClick的控件中如何识别双击

一、目的&#xff1a;由于MouseDoubleClick控件是在Control中实现&#xff0c;那么在底层控件如Grid中想要类似功能如何实现&#xff0c;这里通过MouseDown的事MouseButtonEventArgs参数去实现 二、实现 定义Grid并注册Grid的MouseDown事件 <Grid Background"Transpa…
阅读更多...
常荣电器营收增长净利润下滑：毛利率持续承压，巨额分红流向实控人

常荣电器营收增长净利润下滑：毛利率持续承压，巨额分红流向实控人

《港湾商业观察》施子夫 5月17日&#xff0c;江苏常荣电器股份有限公司&#xff08;以下简称&#xff0c;常荣电器&#xff09;在北交所网站披露了第三轮审核问询函的回复。 公开信息显示&#xff0c;2021年12月27日&#xff0c;常荣电器在全国中小企业股份转让系统挂牌&…
阅读更多...
MacOS - 3 招快速去除桌面上的图标文件

MacOS - 3 招快速去除桌面上的图标文件

在平时用 Mac 电脑的时候&#xff0c;会产生许多我们不用的或废弃的图标、文件&#xff0c;在 Mac 桌面上显得很乱&#xff0c;不仅影响美观也直接影响了我们工作的心情。下面我们分享 3 招快速去除桌面上的图标或文件的方法&#xff0c;有需要的朋友可以试一试。 1. 右键删除&…
阅读更多...
Docker Compose 使用

Docker Compose 使用

一、简介 Docker Compose 是一个工具&#xff0c;用于定义和运行多容器 Docker 应用程序。它允许用户使用 YAML 文件来配置应用程序需要的所有服务&#xff0c;然后使用一个命令来从 YAML 文件配置中创建并启动所有服务。其主要目的是为了简化了多容器 Docker 应用程序的部署和…
阅读更多...
gl_FragCoord 坐标系

gl_FragCoord 坐标系

在OpenGL及WebGL的上下文中&#xff0c;gl_FragCoord坐标系并没有传统意义上的“远点”概念&#xff0c;因为它主要描述的是片段在屏幕空间中的位置&#xff0c;而非三维空间中的一个远端参考点。gl_FragCoord是一个四维向量&#xff08;vec4&#xff09;&#xff0c;它的前三个…
阅读更多...
可燃气体报警器校准检测：新能源企业安全生产的必要步骤

可燃气体报警器校准检测：新能源企业安全生产的必要步骤

随着新能源产业的快速发展&#xff0c;各类清洁能源项目如雨后春笋般涌现。 然而&#xff0c;新能源产业在带来环保效益的同时&#xff0c;也面临着诸多安全风险。可燃气体泄露是其中一项不容忽视的隐患。 为了保障新能源企业的安全生产&#xff0c;可燃气体报警器的重要性日…
阅读更多...
C#-Json文件的读写

C#-Json文件的读写

文章速览 命名空间读取Json核心代码示例 写入Json核心代码示例 坚持记录实属不易&#xff0c;希望友善多金的码友能够随手点一个赞。 共同创建氛围更加良好的开发者社区&#xff01; 谢谢~ 命名空间 using Newtonsoft.Json;读取Json 核心代码 //核心代码using (StreamReader…
阅读更多...
基于python的三维装箱可视化

基于python的三维装箱可视化

背景介绍 本文主要介绍两种基于python的三维装箱可视化能力&#xff0c;第一种是基于mpl_toolkits的静态三维可视化代码&#xff0c;另外一种是基于matplotlib的动态可视化代码。 mpl_toolkits实现 Axes3D简介 mpl_toolkits 是 matplotlib 库的一个模块集合&#xff0c;它包…
阅读更多...
多项目如何管理？盘点十大主流项目管理软件，轻松管理多个项目

多项目如何管理？盘点十大主流项目管理软件，轻松管理多个项目

多项目同时进行已经成为很多企业的现状&#xff0c;项目经理手握几个项目成为常态。 多项目管理之所以难&#xff0c;不仅在于项目数量的增加&#xff0c;而且在于项目资源分配不均、多项目进度比较难监控、沟通协作纷繁复杂。 应该如何做好进度管理&#xff0c;力求每个项目…
阅读更多...
Java8 新特性 记录【持续更新】

Java8 新特性 记录【持续更新】

目录 一、Stream 相关 1、findFirst 方法 二、Optional 1、如何构造Optional 2、ifPresent 方法 一、Stream 相关 1、findFirst 方法 Stream的findFirst方法在此流中查找第一个元素作为Optional。 如果流中没有元素&#xff0c;findFirst返回空的Optional。 如果流没…
阅读更多...
传统办公电脑效率低怎么办？如何解决？

传统办公电脑效率低怎么办？如何解决？

当传统办公电脑效率太低时&#xff0c;可以考虑转向云电脑作为解决方案。云电脑作为一种基于云计算的新型计算模式&#xff0c;具有许多显著的优势&#xff0c;这些优势可以有效提升办公效率和体验。以下是对云电脑优势的详细分析和总结&#xff0c;跟着小编一起来了解一下吧。…
阅读更多...
游泳耳机品牌排行榜，10大实力超群的游泳耳机分享！

游泳耳机品牌排行榜，10大实力超群的游泳耳机分享！

在当今快节奏的生活中&#xff0c;运动已成为许多人不可或缺的一部分&#xff0c;不仅为了健康&#xff0c;也是释放压力、提升生活品质的有效方式。而随着科技与健身的深度融合&#xff0c;智能穿戴设备尤其是专为运动设计的耳机&#xff0c;正逐渐成为运动爱好者的新宠。对于…
阅读更多...
Windows或Nginx上安装/更新SSL证书，步骤详解

Windows或Nginx上安装/更新SSL证书，步骤详解

一、Windows系统上导入SSL证书 &#xff08;1&#xff09;在安装IIS服务器的Windows系统中&#xff0c;单击开始 > 运行 > MMC打开控制台 &#xff08;2&#xff09;单击文件 > 添加/删除管理单元&#xff0c;打开添加/删除管理单元对话框 &#xff08;3&#xff09…
阅读更多...
探索IPython的强大功能：全面指南与高效使用技巧

探索IPython的强大功能：全面指南与高效使用技巧

目录 一 IPython简介 什么是IPython？ 安装IPython 二 基础功能 交互式计算 自动补全 历史记录 内置调试器 三 魔术命令 常用魔术命令 %time和%timeit %who和%whos %reset %run %load %matplotlib %%writefile 其他有用的魔术命令 四 扩展功能 IPython中的…
阅读更多...
后台管理台字典localStorage缓存删除

后台管理台字典localStorage缓存删除

localStorage里存放了如以下dictItems_开头的字典数据&#xff0c;localStorage缓存是没有过期时间的&#xff0c;需要手动删除。同时localStorage里还存有其他不需要删除的数据。 这里的方案是遍历localStorage&#xff0c;利用正则和所有key进行匹配&#xff0c;匹配到dict…
阅读更多...
富格林：可信守则有效防范暗箱

富格林：可信守则有效防范暗箱

富格林悉知&#xff0c;黄金具有不错的投资价值&#xff0c;一直以来备受投资者的喜爱&#xff0c;近年来大家也纷纷加入现货黄金市场为其增值财富。但是要有效防范暗箱的前提&#xff0c;是需要投资者使用可信合适的守则以及掌握相对应的投资技巧。下面富格林将总结以下技巧&a…
阅读更多...
最新文章

Copyright @ 2022~2023