C++ RBTree 理论

2023-11-11 23:44
文章标签 c++ 理论 rbtree

本文主要是介绍C++ RBTree 理论,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

这个性质可以总结为

红黑树的最短最长路径

红黑树的路径范围

code

结构

搞颜色

插入

插入逻辑

新插入节点

思考:2. 检测新节点插入后,红黑树的性质是否造到破坏?

解决方法

变色

旋转+变色

第三种情况,如果根节点上面还有节点


这个性质可以总结为

1.每个节点不是红色就是黑色

2.根节点是黑色的

3.不能有两个连续的红色节点  ,即可以出现 红黑  黑黑 不能出现红红

4.每条路径上的黑色机节点数量不一样

至于性质5:每个叶子结点都是黑色的,这里的叶子节点并不是真的叶子节点,而是NIL节点,即空节点。如图(a):

NIL节点有什么作用?如图(a-2),有多少条路径:

正确答案是有7条。路径路径的判断规则是:从根节点到NULL。

如果我们把NIL节点标记出来就好找路径了:

再比如,图(a-3)是否是红黑树:

大致一看好像是,但是把NIL节点标出来之后:

 路径(b)只有两个黑色节点,不满足红黑树的性质,不是红黑树。

红黑树的最短最长路径

那么红黑树的最短路径是什么样子的,应该是全黑的最短:

 那最长的路径呢,应该是一黑一红间隔排列的最长:

根据图(a-1)我们可以看出,最长的路径是最短的路径的2倍。

ps

一个红黑树不一定有最长路径,也不一定有最短路径。

如图(a-2),有最短路径,没有最长路径:

红黑树的路径范围

而知道了最短路径,最长路径,剩下的路径都在最短路径,最长路径范围内,可以写为

                             [n,2*n]

code

结构

template<class K,class V>struct	RBTreeNode
{RBTreeNode<K,V>* _left;RBTreeNode<K, V>* _right;RBTreeNode<K, V>* parent;pair<K, V>;Color _col;//初始话列表RBTreeNode(const pair<K, V>kv):_left(nullptr),_right(nullptr), _parent(nullptr), pair<K, V>,_col(RED){}
};

搞颜色

enum Color
{RED,BALACK
};

template<class  K,class V>class RBTree{typedef RBTreenode<k,v> Node;public:private:Node* _root = nullptr;};

插入

插入逻辑

如果节点为空,就给黑色。如果节点不为空,就插入值。

这个值如果比根节点小,就往左边插入,否则就往右边插入。

bool Insert(const pair<K, v>& kv){if (_root == nullptr){_root = new(kv);_root->_col = BALACK;return true;}//初始化父亲节点和根节点Node* parent = nullptr;Node* cur = _root;while (cur){//key值大,往右走if (cur->kv.first < kv.first){cur = cur->right;}//key值小,往左走else if (cur->kv.first > kv.first){cur = -cur->left;}//否则key值和当前节点相等,不插入else{return false;}}//找到了返回true1return true;	 }

新插入节点

思考:2. 检测新节点插入后,红黑树的性质是否造到破坏?

如图(b-1),现在要插入一个节点,那么是插入一个黑色节点还是红色节点呢?

如果插入黑色节点,那么该路径就会多一个黑色节点,根据红黑树特性,其他路径都要补一棵黑色节点,

如果插入红色节点,则只会影响父节点

(即

1.如果父节点也会红节点。两个红节点不能紧挨,需调整

2.如果父亲节点是黑色,则不需调整,直接插入。)。

我们看一下怎么调整,如图(b-2),新插入了一个红色节点7:

解决方法

能变色先变色,变色完之后还不行再旋转

变色

如图(b-3),先把父节点8变黑:

这个时候该路径就多了一个黑色节点,再变图(b-4)把6节点变红:

这个时候该路径又少了个黑色节点,再变图(b-5) 把5节点变黑:

旋转+变色

第二种情况,例如图(b-6):如果还是把父节点变为黑色,把6节点变为红色,那么其他路径就会多一个黑色节点。

而该路径又没有其他节点可以再变黑色来平衡这种状态,所以靠变色解决不了这个问题。

这个时候就要旋转了。

先右旋为图(c-1):

再左旋为图(c-2):

然后再变色为图(c-4):

第三种情况,如果根节点上面还有节点

如图(d-0),新插入了一个节点cur:

cur为红色节点,那就需要调整。

把p节点变为黑色节点,那么为了u节点也要变为黑色节点,那么此时就要把g节点变为红色节点。也就是图(d-1)

为什么要把g节点变为红色节点呢?

假设g节点不变为红色也就是图(d-3):

由图(d-1)变为图(d-3)我们发现每条路径凭空多了1个黑色节点。

g节点上面还有节点,那么多了个黑色节点,就会影响上面的路径,所以需要把g节点变红来平衡一下。

如图(d-1):

这个时候万一g节点的父节点是红色节点,如图(d-4):
两个红色节点不能连续,还要调整,如果g节点的父亲节点为黑色,如图(d-5),那就不需要再调整:

这篇关于C++ RBTree 理论的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/393636

相关文章

C++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解

《C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解》:本文主要介绍C++,C#,Rust,Go,Java,Python,JavaScript性能对比全面... 目录编程语言性能对比、核心优势与最佳使用场景性能对比表格C++C#RustGoJavapythonjav

C++打印 vector的几种方法小结

《C++打印vector的几种方法小结》本文介绍了C++中遍历vector的几种方法,包括使用迭代器、auto关键字、typedef、计数器以及C++11引入的范围基础循环,具有一定的参考价值,感兴... 目录1. 使用迭代器2. 使用 auto (C++11) / typedef / type alias

C++ scoped_ptr 和 unique_ptr对比分析

《C++scoped_ptr和unique_ptr对比分析》本文介绍了C++中的`scoped_ptr`和`unique_ptr`,详细比较了它们的特性、使用场景以及现代C++推荐的使用`uni... 目录1. scoped_ptr基本特性主要特点2. unique_ptr基本用法3. 主要区别对比4. u

C++11中的包装器实战案例

《C++11中的包装器实战案例》本文给大家介绍C++11中的包装器实战案例,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录引言1.std::function1.1.什么是std::function1.2.核心用法1.2.1.包装普通函数1.2.

C++多线程开发环境配置方法

《C++多线程开发环境配置方法》文章详细介绍了如何在Windows上安装MinGW-w64和VSCode,并配置环境变量和编译任务,使用VSCode创建一个C++多线程测试项目,并通过配置tasks.... 目录下载安装 MinGW-w64下载安装VS code创建测试项目配置编译任务创建 tasks.js

C++ 多态性实战之何时使用 virtual 和 override的问题解析

《C++多态性实战之何时使用virtual和override的问题解析》在面向对象编程中,多态是一个核心概念,很多开发者在遇到override编译错误时,不清楚是否需要将基类函数声明为virt... 目录C++ 多态性实战:何时使用 virtual 和 override?引言问题场景判断是否需要多态的三个关

C++简单日志系统实现代码示例

《C++简单日志系统实现代码示例》日志系统是成熟软件中的一个重要组成部分,其记录软件的使用和运行行为,方便事后进行故障分析、数据统计等,:本文主要介绍C++简单日志系统实现的相关资料,文中通过代码... 目录前言Util.hppLevel.hppLogMsg.hppFormat.hppSink.hppBuf