【1++的数据结构】之map与set（二）

👍作者主页：进击的1++
🤩 专栏链接：【1++的数据结构】

文章目录

  • 一，前言
  • 二，红黑树的概念及其性质
  • 三，红黑树的插入
  • 四，红黑树的验证
  • 五，map与set的封装
    • 红黑树迭代器的实现
    • map重载[ ]
    • map的封装代码
    • set的封装代码

一，前言

为什么在这里要讲解红黑树？因为map与set的底层是红黑树，因此在这一节我们要讲红黑树的结构，之后会讲以红黑树为 底层的map与set的封装。

二，红黑树的概念及其性质

什么是红黑树？
红黑树是一种平衡二叉树，其结点结构中多了表示颜色的成员变量（红或黑），红黑树通过结点间颜色匹配的限制，从而能够控制树的最长路径不会超过最短路径的2倍。

红黑树的性质：

  1. 每个结点不是黑色就是红色
  2. 根节点是黑色的
  3. 红节点的两个孩子都是黑色的
  4. 对于每个结点，从该结点到其所有后代叶结点的简单路径上，黑色结点数目相同
  5. 每个叶子结点都是黑色的(此处的叶子结点指的是空结点)
    为什么有了上述的几个条件就可以保证最长路径不超过最短路径的二倍呢？
    由于规则三和规则四的限制，导致我们的最长路径一定是一红一黑结点搭配的；而最短结点则是全黑，且由于个规则四，黑色结点数目相同，因此最长路径就不会超过最短路径的二倍了。
    在这里插入图片描述
    红黑树的结点结构与AVL树的结点结构不同之处在于将AVL树结点中的平衡因子变量换为了表示颜色的变量。
enum Colour
{Red,Black
};template<class T>
struct TreeNode
{TreeNode<T>* _parent;TreeNode<T>* _left;TreeNode<T>* _right;Colour _col;T _data;TreeNode(const T& data):_parent(nullptr),_left(nullptr),_right(nullptr),_col(Red),_data(data){}};

并且，我们注意到红黑树新结点的默认颜色是红色？为什么要进行这样的设计呢？
通过观察红黑树的几条性质我们发现，当其默认结点颜色为黑色时，由于规则四，其新结点对这棵树一定会产生影响，而若新节点颜色为红色，则影响会比较小。
在这里插入图片描述

三，红黑树的插入

按照二叉搜索树的插入规则插入这部分我们在前面已经多次讲到，因此本节将不再讲解，最重要的还是其规则被破坏后，进行平衡的这一部分。
由于新插入结点的颜色默认为红色，若其双亲结点为黑色，则不违反任何规则，若其双亲结点为红色，则违反了规则三，需要进行调整。已经有人为我们总结几种调整的情况，我们只需要按照其总结进行调整就行。
几种需要调整的情况如下：

  1. 情况一：在这里插入图片描述
    当cur，p,u为红，g为黑时
    调整方式：将p,u改为黑，g改为红。
    若g为根节点，则需将根节点（g)改为黑色；
    若不是，且g的双亲结点也为红色，则按此方式继续向上调整。直到调整完成或是到达根节点。（注：根节点都得调整为黑色）。

代码如下：

while (parent && parent->_col == Red){Node* grandparent = parent->_parent;assert(grandparent);assert(grandparent->_col == Black);if (grandparent->_left == parent){Node* uncle = grandparent->_right;//情况一if (uncle && uncle->_col == Red){parent->_col=uncle->_col = Black;grandparent->_col = Red;cur = grandparent;parent = grandparent->_parent;		else{Node* uncle = grandparent->_left;//情况一if (uncle && uncle->_col == Red){parent->_col = uncle->_col = Black;grandparent->_col = Red;cur = grandparent;parent = grandparent->_parent;}		}}_root->_col = Black;return make_pair(_iterator(cur), true);}
  1. 情况二：
    在这里插入图片描述
    若cur,p为红，u为黑或者不存在时。

u的情况说明：
若u不存在，则cur一定是新插入的结点，若其不是新插入的结点，则p与cur一定有一个黑色结点，这不符合规则四。
若u存在，则cur一定不是新插入的结点，且原来为黑色，当新插入一个节点后调整为了红色。

若g的左子树为p,p的左子树为cur：调整方式，针对g做右单旋，并且将g改为红色，p改为黑色。
若g的右子树为p,p的右子树为cur：调整方式，针对做左单旋，并且将g改为红色，p改为黑色。
3. 情况三：
在这里插入图片描述
若g的左子树为p,p的右子树为cur，则先针对p做左旋，就和情况二相同了，再进行右旋。
若g的右子树为p,p的左子树为cur，则先针对p做右旋，就和情况二相同了，再进行左旋。

代码如下：

while (parent && parent->_col == Red){Node* grandparent = parent->_parent;assert(grandparent);assert(grandparent->_col == Black);if (grandparent->_left == parent){Node* uncle = grandparent->_right;//情况一if (uncle && uncle->_col == Red){parent->_col=uncle->_col = Black;grandparent->_col = Red;cur = grandparent;parent = grandparent->_parent;}else//情况二+三{if (parent->_left == cur){RotateR(grandparent);grandparent->_col = Red;parent->_col = Black;}else{RotateL(parent);RotateR(grandparent);grandparent->_col = Red;cur->_col = Black;}break;}}else{Node* uncle = grandparent->_left;//情况一if (uncle && uncle->_col == Red){parent->_col = uncle->_col = Black;grandparent->_col = Red;cur = grandparent;parent = grandparent->_parent;}else//情况二+三{if (parent->_right == cur){RotateL(grandparent);grandparent->_col = Red;parent->_col = Black;}else{RotateR(parent);RotateL(grandparent);grandparent->_col = Red;cur->_col = Black;}break;}}}_root->_col = Black;return make_pair(_iterator(cur), true);}

四，红黑树的验证

我们通过验证红黑树的几条性质来验证这棵树是否为红黑树。

  1. 根节点为黑色结点
  2. 各路径的黑色结点数相同
  3. 红色结点的子节点为黑色
    接下来，我们根据这几条规则来写代码判断是否为红黑树
    代码如下：
bool Isbalance() {if (_root == nullptr){return true;}if (_root->_col == Red){cout << "根不是黑色结点" << endl;return false;}int BenchNum = 0;return PrevCheck(_root,0,BenchNum);}bool PrevCheck(Node* root, int BlackNum, int& BenchNum){if (root == nullptr){if (BenchNum == 0){BenchNum = BlackNum;return true;}else{if (BenchNum != BlackNum){cout << "路径黑色结点数量不同" << endl;return false;}elsereturn true;}}if (root->_col == Black){BlackNum++;}if (root->_col == Red && root->_parent->_col == Red){cout << "连续两个红色" << endl;return false;}return PrevCheck(root->_left, BlackNum, BenchNum) && PrevCheck(root->_right, BlackNum, BenchNum);}

五，map与set的封装

map与set的底层都是红黑树，那么如何用同一种底层结构去实现封装两个不同的数据结构呢？
事实上，在红黑树中其类模板为template<class K,class
T>。在map中T为pair<K,V>类型，在set中为K类型，这样就实现了同一底层封装两种不同的数据结构，也就是泛型编程。

红黑树迭代器的实现

红黑树是根据某种规则将一些结点链接起来的结构。因此其迭代器底层也与链表的迭代器一样，是结点指针，其重点是++和–的运算符重载。
通过观察，我们对++的重载有如下总结：平衡二叉搜索树按照中序遍历则是有序的。因此，对于++，则是找中序遍历的下一个结点。中序遍历的规则：左子树–根–右子树。
要找当前结点的下一个，则当其右子树不为空时，其右子树的最左边的结点就是下一个结点。
当右子树为空时，则向上找，直到cur!=parent->right，或parent为空其下一结点就为双亲结点。

代码如下：

Self& operator++(){if (_node->_right){Node* left = _node->_right;while (left->_left){left = left->_left;}_node = left;}else{Node* cur = _node;Node* parent = cur->_parent;while (parent && parent->_right == cur){cur = cur->_parent;parent = cur->_parent;}_node = parent;}return *this;}

–的重载与++相反，就不再详细讲解。
代码如下：

Self& operator--(){if (_node->_left){Node* right = _node->_left;while (right->_right){right = right->_right;}_node = right;}else{Node* cur = _node;Node* parent = cur->_parent;while (parent && parent->_left == cur){cur = cur->_parent;parent = cur->_parent;}_node = parent;}return *this;}

由于在插入时，map与set传入的类型不同，但都需要比较K类型对象，因此，我们在map与set中都写一个用于确定比较元素的类型的仿函数，map中由于T为pair<K,V>，(pair<K,V> kv)则需比较的是kv.first。
而set中的T为K，K key就直接比较key就行。

struct KeyOf{const K& operator() (const pair<K, V>& kv){return kv.first;}};struct KeyOfS{const K& operator()(const K& key){return key;}};

map重载[ ]

map的[ ]功能比较强大，它集查找，插入，修改功能为一体。

V& operator[](const K& key){pair<iterator, bool> ret = Insert(make_pair(key, V()));return ret.first->second;}

若树种有这个结点，则会插入失败，会返回这个结点的迭代器以及false。
在这里插入图片描述
由于重载函数返回的是V的引用，因此此结点的value便可以被修改。
若此结点不存在，则会插入一个V的匿名对象的value值。并返回其引用。

map的封装代码

以下是map的封装代码：

template<class K,class V>class map{struct KeyOf{const K& operator() (const pair<K, V>& kv){return kv.first;}};public:typedef  typename RBTree<K, pair<K, V>, KeyOf>::_iterator iterator;pair<iterator, bool> Insert(const pair<K, V>& kv){return _t.Insert(kv);}V& operator[](const K& key){pair<iterator, bool> ret = Insert(make_pair(key, V()));return ret.first->second;}iterator begin(){return _t.begin();}iterator end(){return _t.end();}private:RBTree<K,pair<K,V>, KeyOf> _t;};

set的封装代码

以下是set的封装代码：

template<class K>class set{struct KeyOfS{const K& operator()(const K& key){return key;}};public:typedef typename RBTree<K, K, KeyOfS>::_iterator iterator;pair<iterator, bool> Insert(const K& key){return _t.Insert(key);}iterator begin(){return _t.begin();}iterator end(){return _t.end();}private:RBTree< K, K, KeyOfS> _t;};

在这里插入图片描述

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

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

相关文章

卧槽，发现一个Python技术变现神器！

卧槽，发现一个Python技术变现神器！

最近收到了很多朋友的留言&#xff0c;几乎全是关于爬虫与逆向破解技术的问题咨询。包括小程序逆向、APP逆向、Web逆向、数据加密、加固解密、cookie防护突破、表单加密、动态签名加密、分包反编译在内的&#xff0c;爬虫逆向相关技术&#xff0c;不断地被无数人反复问及。 看…
阅读更多...
spark集成hudi

spark集成hudi

启动spark-shell spark-shell \ > --jars /opt/software/hudi-spark3.1-bundle_2.12-0.12.0.jar \ > --conf spark.serializerorg.apache.spark.serializer.KryoSerializer\ > --conf spark.sql.extensionsorg.apache.spark.sql.hudi.HoodieSparkSessionExtension2…
阅读更多...
RuoYi若依管理系统最新版 基于SpringBoot的权限管理系统

RuoYi若依管理系统最新版 基于SpringBoot的权限管理系统

RuoYi是一个后台管理系统&#xff0c;基于经典技术组合&#xff08;Spring Boot、Apache Shiro、MyBatis、Thymeleaf&#xff09;主要目的让开发者注重专注业务&#xff0c;降低技术难度&#xff0c;从而节省人力成本&#xff0c;缩短项目周期&#xff0c;提高软件安全质量。 本…
阅读更多...
如何短期通过PMP考试？（含pmp干货）

如何短期通过PMP考试？（含pmp干货）

一般PMP的准备考试时间都是一个月到三个月之间&#xff0c;一般都不会花超过半年的时间去准备考试的&#xff0c;毕竟想要学习项目管理的人一般应该都还是讲究高效率的&#xff0c;对待考试肯定也是在短时间内去高效学习备考的。 但对于怎样在短期内能够极好的去迎战PMP考试&a…
阅读更多...
EasyRecovery易恢复2023最新免费的电脑数据恢复软件

EasyRecovery易恢复2023最新免费的电脑数据恢复软件

EasyRecovery是一款非常专业的硬盘数据恢复工具&#xff0c;EasyRecovery拥有磁盘诊断、数据恢复、文件修复、E-mail 修复等功能。有了EasyRecovery&#xff0c;你可以把误删&#xff0c;被破坏的文件&#xff0c;格式化的磁盘轻轻松松的找回来。小伙伴们可以使用EasyRecovery恢…
阅读更多...
debian apt安装mysqlodbc

debian apt安装mysqlodbc

mysql的deb包下载地址 下载后上传到linux后&#xff0c; #安装deb包 apt install ./mysql-apt-config_0.8.26-1_all.deb #更新源 apt-get update #搜索包 apt search odbc #安装包 apt-get install mysql-connector-odbc
阅读更多...
统一潮流控制器 （UPFC） 的应用，以增强电力系统中的电压稳定性（Matlab代码实现）

统一潮流控制器 （UPFC） 的应用，以增强电力系统中的电压稳定性（Matlab代码实现）

&#x1f4a5;&#x1f4a5;&#x1f49e;&#x1f49e;欢迎来到本博客❤️❤️&#x1f4a5;&#x1f4a5; &#x1f3c6;博主优势&#xff1a;&#x1f31e;&#x1f31e;&#x1f31e;博客内容尽量做到思维缜密&#xff0c;逻辑清晰&#xff0c;为了方便读者。 ⛳️座右铭&a…
阅读更多...
macOS Ventura 13.5.2（22G91）发布，附黑/白苹果镜像下载地址

macOS Ventura 13.5.2（22G91）发布，附黑/白苹果镜像下载地址

系统介绍&#xff08;下载请百度搜索&#xff1a;黑果魏叔&#xff09; 黑果魏叔 9 月 8 日消息&#xff0c;苹果今日向 Mac 电脑用户推送了 macOS 13.5.2 更新&#xff08;内部版本号&#xff1a;22G91&#xff09;&#xff0c;本次更新距离上次发布隔了 21 天。 本次更新查…
阅读更多...
geek完全卸载sqlserver2012

geek完全卸载sqlserver2012

前言 有时候sqlserver2012 出现问题&#xff0c;需要卸载安装 会出现卸载不干净的问题 需要用到geek去卸载 卸载 双击exe打开软件 输入sql查询相关的软件 依次一个一个的去删除
阅读更多...
抖音无需API开发连接Stable Diffusion，实现自动根据评论区的指令生成图像并返回

抖音无需API开发连接Stable Diffusion，实现自动根据评论区的指令生成图像并返回

抖音用户使用场景&#xff1a; 随着AI绘图的热度不断升高&#xff0c;许多抖音达人通过录制视频介绍不同的AI工具&#xff0c;包括产品背景、使用方法以及价格等&#xff0c;以吸引更多的用户。其中&#xff0c;Stable Diffusion这款产品受到了许多博主达人的青睐。在介绍这款产…
阅读更多...
【Redis】Bitmap 使用及应用场景

【Redis】Bitmap 使用及应用场景

前言&#xff1a;bitmap 占用空间小&#xff0c;查询效率高&#xff0c;在一些场景中使用 bitmap 是一个很好的选择。 一、bitmap 相关命令 SETBIT - 设置指定位置的比特值&#xff0c;可以设为 1 或 0 例如 SETBIT key 10 1&#xff0c;将在 key 对应的 bitmap 中第10位设置为…
阅读更多...
Vue生成多文件pdf准考证

Vue生成多文件pdf准考证

这是渲染的数据 这是生成的pdf文件&#xff0c;直接可以打印 需要安装和npm依赖和引入封装的pdf.js文件 npm install --save html2canvas // 页面转图片 npm install jspdf --save // 图片转pdfpdf.js文件 import html2canvas from "html2canvas"; import jsPDF …
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023