【C++】红黑树的原理与实现

矫情吗；* 2024-04-22 22:19 75阅读 0赞

![5a9a92ef8f8c47afaa760f22ea356d6b.gif][]

> **文章目录**
> 
> 一、引言
> 
> 二、红黑树的概念与性质
> 
> 2、1 红黑树的概念
> 
> 2、2 红黑树的性质
> 
> 三、红黑树的定义与实现
> 
> 3、1 红黑树的定义
> 
> 3、2 插入新节点
> 
> 3、2、1 默认插入红色节点
> 
> 3、3 插入情况分类
> 
> 3、3、1 情况一（根据颜色向上调整）
> 
> 3、3、2 情况二（单次旋转+变色）
> 
> 3、3、3 情况三（两次旋转+变色）
> 
> 3、4 插入的完整代码实现
> 
> 四、红黑树的检验
> 
> 五、性能分析
> 
> 六、总结
> 
> --------------------
> 
> **?♂️ 作者：@Ggggggtm ?♂️**
> 
> **? 专栏：C++、数据结构 ?**
> 
> **? 标题：红黑树?**
> 
>  **❣️ 寄语：与其忙着诉苦，不如低头赶路，奋路前行，终将遇到一番好风景 ❣️**

## 一、引言 ##

> 红黑树是一种自平衡的二叉搜索树，它在计算机科学中扮演着重要的角色。由于其高效的插入、删除和查找操作，红黑树被广泛应用于各种数据结构和算法的实现中。红黑树的设计旨在保持树的平衡，从而确保各种操作的时间复杂度能够保持在较低的范围内。

> 当我们学完 [AVL树][AVL] 后，我们再学红黑树相对来说就会简单一点。红黑树可以看成是AVL树的升级版。
> 
> 本篇文章会对红黑树的实现原理进行详解。同时还会给出红黑树的C++实现代码。希望本篇文章会对你有所帮助。

## 二、红黑树的概念与性质 ##

### 2、1 红黑树的概念 ###

>  **红黑树**，是一种**二叉搜索树**，但**在每个结点上增加一个存储位表示结点的颜色，可以是Red或Black**。 通过对**任何一条从根到叶子的路径上各个结点着色方式的限制，红黑树确保没有一条路径会比其他路径长出两倍**，因而是**接近平衡**的。 
> 
> ![e19ebce808cb49f8a1f3b77012636b4f.png][]

### 2、2 红黑树的性质 ###

> 红黑树也是一颗很特殊的树，它具有如下的**性质**：
> 
> 1.  每个结点不是红色就是黑色。
> 2.  根节点是黑色的 。
> 3.  如果一个节点是红色的，则它的两个孩子结点是黑色的（**不能有两个连续的红色节点**）。
> 4.  对于每个结点，从该结点到其所有后代叶结点的简单路径上，均包含相同数目的黑色结点 （**从根节点到空节点为一条路径，则空节点的数量为该红黑树的路径数量，且每条路径的黑色节点数量相同**）。
> 5.  每个叶子结点都是黑色的(**此处的叶子结点指的是空结点)**。
> 
>  这里就有一个**疑问**了：为什么满足上面的性质，红黑树就能保证：其最长路径中节点个数不会超过最短路径节点个数的两倍？
> 
>  根据上述的性质三我们知道，一个路径最短的情况下就是所有节点的颜色为黑色。同时最长的情况是一红一黑交叉出现。但是我们不要忘记了性质四每条路径的黑色节点数量相同，那么最长的路径就是最短的路径两倍了，并没有超过两倍。

> 通过以上的红黑树特性，我们可以保证红黑树在进行插入、删除等操作时，始终能够保持树的平衡性，从而保证了各种操作的时间复杂度始终在对数级别内。在接下来的章节中，我们将深入探讨红黑树的插入操作的实现细节，以及时间复杂度的分析，进一步理解红黑树的原理和实现。

## 三、红黑树的定义与实现 ##

### 3、1 红黑树的定义 ###

> 红黑树也是一种二叉搜索树，它的每个节点包含一个关键字（键值对）、左右孩子指针和父结点指针。每个节点还包含一个**记录颜色的变量**，**该变量用来表示该节点是红色节点还是黑色节点**。 实现代码如下：
> 
>     enum Colour
>     {
>     	RED,
>     	BLACK
>     };
>     
>     template<class K, class V>
>     struct RBTreeNode
>     {
>     	RBTreeNode<K, V>* _left;
>     	RBTreeNode<K, V>* _right;
>     	RBTreeNode<K, V>* _parent;
>     
>     	pair<K, V> _kv;
>     	Colour _col;
>     
>     	RBTreeNode(const pair<K, V>& kv)
>     		:_left(nullptr)
>     		, _right(nullptr)
>     		, _parent(nullptr)
>     		, _kv(kv)
>     	{}
>     };
> 
> 表示颜色我们采用枚举的方式，以便整篇的代码比较整洁且易于理解。

### 3、2 插入新节点 ###

> 红黑树的插入操作是通过对二叉搜索树的基本插入操作结合颜色调整和旋转操作来实现的。插入算法的概述如下：
> 
> 1.  首先，将插入的节点按照普通的二叉搜索树插入操作，将其放置在合适的位置上。
> 2.  将插入节点标记为红色，这样不会违反红黑树的特性。
> 3.  检查插入节点的父节点及其祖父节点、叔叔节点等情况，根据不同的情况进行颜色调整和旋转操作，以保持红黑树的平衡性和特性。
> 4.  最后，确保根节点是黑色的，以满足红黑树的根节点特性。
> 
> 插入操作的核心是对树进行颜色调整和旋转，以确保插入后仍然满足红黑树的特性。具体的左旋和右旋操作将在后续小节中详细解释，而插入修正过程则会对颜色调整的各种情况进行逐步解析。通过这些操作，红黑树能够在插入新节点时保持平衡，从而保证了各种操作的高效性能。
> 
> 接下来，我们将逐步深入探讨插入操作的具体细节，以便更好地理解红黑树的实现原理。

#### 3、2、1 默认插入红色节点 ####

> 在具体的学习插入操作之前，我们应该**想一下新插入的节点是插入红色节点呢还是插入黑色节点呢**？我们不妨自己先结合着红黑树的性质思考一下。

> 试想，我们新插入的节点是黑色节点，那么就违背了上述的性质四。那么影响的就是整棵树。大概率需要很复杂的旋转和调整才能恢复。假如新插入的节点是红色节点，新插入的节点的父节点可能为黑色，也可能为红色。当父节点为黑色时，并无影响。当父节点为红色时，违背了上述的性质三，影响的只是改父节点所在的子树。

> 将新插入的节点设置为红色有两个主要原因：
> 
> 1.  保持黑色高度平衡：红黑树要求在任意路径上的黑色节点数量是相同的，这被称为黑色高度平衡。通过将新插入的节点设置为红色，可以确保其不会破坏现有的黑色高度平衡。
> 2.  简化平衡调整：当插入新节点后，可能会导致红黑树的性质被破坏，需要进行平衡调整来恢复性质。将新节点设置为红色可以简化平衡调整的过程，因为红色节点的插入更容易适应红黑树的性质。如果将新节点设置为黑色，则可能需要对树进行更多的旋转和重新着色操作。
> 
> 总之，将新插入的节点设置为红色有助于保持红黑树的平衡性和减少平衡调整的复杂性。

### 3、3 插入情况分类 ###

> 我们先看如下情况，在值为1的黑色节点左侧插入一个新节点： ![a269355e99aa41aa9b9a57f50d5567ab.png][]
> 
> 插入完之后，并不影响改红黑树的平衡，且满足红黑树的性质。

> 我们再看另一种情况，在值为22的红色节点左侧插入一个新节点：
> 
> ![308a4ef6c5ff4f6092f40ac0f1f6861f.png][] 我们发现，此时新插入的节点影响到了红黑树的平衡。那要是插入到值为22的红色节点右侧呢？或者插入到值为6的节点，又或者插入到值为27的节点，都需要我们进行调整。由于情况太多，所以对需要进行调整的情况进行了分类。
> 
> 接下来对需要调整的各种情况分类进行详解。

#### 3、3、1 情况一（根据颜色向上调整） ####

> 具体需要调整的状态如下图（抽象图）：
> 
> ![ef6f7b3ac399402e9f0c3e1b468c6a46.png][]
> 
>  **注：cur为当前所在位置的节点；p（parent）为cur的父节点；u（uncle）为cur的叔叔节点；g（grandfather）为cur的祖宗节点**。
> 
> 我们发现上述的情况**cur为红，p为红，g为黑，u存在且为红**，违背了性质三。那怎么进行调整呢？调整的方法很简单：**将p,u改为黑，g改为红，然后把g当成cur，继续向上调整。**具体如下图：
> 
> ![b17e13153d7c42a6ae03362da9c0c675.png][]
> 
> 如果g是根节点，调整完之后，需要将g改变为黑色。如果g是子树，g一定有双节点，且如果g的双亲是红色，需要继续重复此过程向上调整。 具体如下图:
> 
> ![cf7f26feaaa54ebdb10b34c092a70c01.png][]

> 上图中的cur可能是新增节点，也可能是更新后的节点，具体如下图：
> 
> ![68413a1481ba4b1d98d2ae7ce691bb45.png][] 当然，新增的红色节点可以是任意孩子位置， 只要是满足**c****ur为红，p为红，g为黑，u存在且为红，**就划分到这一类。

#### 3、3、2 情况二（单次旋转+变色） ####

> 我们知道，只有p（父节点）是红色时，才需要进行调整。但是u（叔叔节点）不一定为红色，也有可能为黑色，甚至u（叔叔节点）可能就不存在。具体如下图：
> 
> ![74be69d457784658be93fbf0a81a523c.png][]
> 
> u的情况有两种，不同情况对应的情况说明：
> 
> 1.  如果u节点不存在，则cur一定是新插入节点，因为如果cur不是新插入节点，则cur和p一定有一个节点的颜色是黑色，就不满足性质4：每条路径黑色节点个数相同.
> 2.  如果u节点存在，则其一定是黑色的，那么cur节点原来的颜色一定是黑色的，现在看到其是红色的原因是因为cur的子树在调整的过程中将cur节点的颜色由黑色改成红色。
> 
> 虽然u的情况有两种，但是处理方法是一样的。这时，只通过颜色调整是不行了。具体的调整方法是：**p为g的左孩子，cur为p的左孩子，则进行对g进行右单旋转；相反， p为g的右孩子，cur为p的右孩子，则对g进行进行左单旋转。p、g变色--p变黑，g变红。**具体如下图：
> 
> ![b5be549c6217419d915d2b698f99d86f.png][]

#### 3、3、3 情况三（两次旋转+变色） ####

> 当u（叔叔节点）为黑色或者不存在时，cur的位置也是影响旋转的关键。我们看如下情况：
> 
> ![e786d5dff1bf4f79b9169b647f95fbdd.png][]
> 
> 我们发现直接对g（祖宗节点）进行旋转并不能很好的解决问题。那能不能先对p（父亲节点）进行旋转呢？具体调整方法：**p为g的左孩子，cur为p的右孩子，则针对p做左单旋转；相反，p为g的右孩子，cur为p的左孩子，则针对p做右单旋转。则转换成了情况2。**对p旋转完后，具体情况如下图：
> 
> ![336cf154dc5849bb8e2c48ba3b396058.png][]
> 
> 那我们再进行针对情况二的旋转和变色不就完成了吗！！！

### 3、4 插入的完整代码实现 ###

> 当我们理解了上述的插入和调整思路后，我们来看一下代码的实现：
> 
>     bool Insert(const pair<K, V>& kv)
>     	{
>     		if (_root == nullptr)
>     		{
>     			_root = new Node(kv);
>     			_root->_col = BLACK;
>     			return true;
>     		}
>     
>     		Node* parent = nullptr;
>     		Node* cur = _root;
>     		while (cur)
>     		{
>     			if (cur->_kv.first < kv.first)
>     			{
>     				parent = cur;
>     				cur = cur->_right;
>     			}
>     			else if (cur->_kv.first > kv.first)
>     			{
>     				parent = cur;
>     				cur = cur->_left;
>     			}
>     			else
>     			{
>     				return false;
>     			}
>     		}
>     
>     		cur = new Node(kv);
>     		cur->_col = RED;
>     
>     		if (parent->_kv.first < kv.first)
>     		{
>     			parent->_right = cur;
>     		}
>     		else
>     		{
>     			parent->_left = cur;
>     		}
>     
>     		cur->_parent = parent;
>     
>     		while (parent && parent->_col == RED)
>     		{
>     			Node* grandfater = parent->_parent;
>     			assert(grandfater);
>     			assert(grandfater->_col == BLACK);
>     			// 关键看叔叔
>     			if (parent == grandfater->_left)
>     			{
>     				Node* uncle = grandfater->_right;
>     				// 情况一 : uncle存在且为红，变色+继续往上处理
>     				if (uncle && uncle->_col == RED)
>     				{
>     					parent->_col = uncle->_col = BLACK;
>     					grandfater->_col = RED;
>     					// 继续往上处理
>     					cur = grandfater;
>     					parent = cur->_parent;
>     				}// 情况二+三：uncle不存在 + 存在且为黑
>     				else
>     				{
>     					// 情况二：右单旋+变色
>     					//     g 
>     					//   p   u
>     					// c
>     					if (cur == parent->_left)
>     					{
>     						RotateR(grandfater);
>     						parent->_col = BLACK;
>     						grandfater->_col = RED;
>     					}
>     					else
>     					{
>     						// 情况三：左右单旋+变色
>     						//     g 
>     						//   p   u
>     						//     c
>     						RotateL(parent);
>     						RotateR(grandfater);
>     						cur->_col = BLACK;
>     						grandfater->_col = RED;
>     					}
>     
>     					break;
>     				}
>     			}
>     			else // (parent == grandfater->_right)
>     			{
>     				Node* uncle = grandfater->_left;
>     				// 情况一
>     				if (uncle && uncle->_col == RED)
>     				{
>     					parent->_col = uncle->_col = BLACK;
>     					grandfater->_col = RED;
>     					// 继续往上处理
>     					cur = grandfater;
>     					parent = cur->_parent;
>     				}
>     				else
>     				{
>     					// 情况二：左单旋+变色
>     					//     g 
>     					//   u   p
>     					//         c
>     					if (cur == parent->_right)
>     					{
>     						RotateL(grandfater);
>     						parent->_col = BLACK;
>     						grandfater->_col = RED;
>     					}
>     					else
>     					{
>     						// 情况三：右左单旋+变色
>     						//     g 
>     						//   u   p
>     						//     c
>     						RotateR(parent);
>     						RotateL(grandfater);
>     						cur->_col = BLACK;
>     						grandfater->_col = RED;
>     					}
>     
>     					break;
>     				}
>     			}
>     
>     		}
>     
>     		_root->_col = BLACK;
>     		return true;
>     	}

## 四、红黑树的检验 ##

> 当我们写完插入时，怎么判断该树是否符合红黑树呢？只是中序打印肯定是不够的，因为**中序打印只能说明该树是二叉搜索树**。那怎么办呢？
> 
> **判断最长路径是否不大于最短路径长度的二倍行不行呢？好像也并不行**。为什么呢？那要是还有连续的红节点呢？又或者每条路径的黑色节点的数量不同呢？
> 
> 我们发现，**当满足性质三和性质四时，就会满足最长路径是否不大于最短路径长度的二倍。同时再判断一下根节点的颜色就行**，具体代码如下：
> 
>     public:
>     	void InOrder()
>     	{
>     		_InOrder(_root);
>     		cout << endl;
>     	}
>     
>     	bool IsBalance()
>     	{
>     		if (_root == nullptr)
>     		{
>     			return true;
>     		}
>     
>     		if (_root->_col == RED)
>     		{
>     			cout << "根节点不是黑色" << endl;
>     			return false;
>     		}
>     
>     		// 黑色节点数量基准值
>     		int benchmark = 0;
>     		/*Node* cur = _root;
>     		while (cur)
>     		{
>     		if (cur->_col == BLACK)
>     		++benchmark;
>     
>     		cur = cur->_left;
>     		}*/
>     
>     		return PrevCheck(_root, 0, benchmark);
>     	}
>     
>     private:
>     	bool PrevCheck(Node* root, int blackNum, int& benchmark)
>     	{
>     		if (root == nullptr)
>     		{
>     			//cout << blackNum << endl;
>     			//return;
>     			if (benchmark == 0)
>     			{
>     				benchmark = blackNum;
>     				return true;
>     			}
>     
>     			if (blackNum != benchmark)
>     			{
>     				cout << "某条黑色节点的数量不相等" << endl;
>     				return false;
>     			}
>     			else
>     			{
>     				return true;
>     			}
>     		}
>     
>     		if (root->_col == BLACK)
>     		{
>     			++blackNum;
>     		}
>     
>     		if (root->_col == RED && root->_parent->_col == RED)
>     		{
>     			cout << "存在连续的红色节点" << endl;
>     			return false;
>     		}
>     
>     		return PrevCheck(root->_left, blackNum, benchmark)
>     			&& PrevCheck(root->_right, blackNum, benchmark);
>     	}
>     
>     	void _InOrder(Node* root)
>     	{
>     		if (root == nullptr)
>     		{
>     			return;
>     		}
>     
>     		_InOrder(root->_left);
>     		cout << root->_kv.first << ":" << root->_kv.second << endl;
>     		_InOrder(root->_right);
>     	}

## 五、性能分析 ##

> 红黑树的**插入操作的平均时间复杂度是O(log n)**，其中n是树中节点的数量。这是因为红黑树的插入操作涉及到一系列的旋转和修正操作，但这些操作都是局部的，不会导致整个树的高度增加太多。
> 
> 需要注意的是，虽然单次插入操作的时间复杂度是O(log n)，但在一系列插入操作后，为了保持红黑树的平衡性，可能需要进行多次的旋转和修正操作。但由于这些操作的时间复杂度都是常数级别的，不会随着插入操作的增加而显著增加，所以整体插入操作的平均时间复杂度仍然是O(log n)。

>  **红黑树和AVL树都是高效的平衡二叉树，增删改查的时间复杂度都是** **O(log n)** ，红黑树不追求绝对平衡，其只需保证最长路径不超过最短路径的2倍，相对而言，**降低了插入和旋转的次数，所以在经常进行增删的结构中性能比AVL树更优**，
> 
> AVL树是另一种自平衡二叉搜索树，与红黑树相比，AVL树要求更为严格的平衡性，每个节点的左子树和右子树的高度差（平衡因子）不超过1。这使得**AVL树在查找操作上更快，但插入和删除操作可能需要更多的旋转**。

## 六、总结 ##

> 红黑树作为一种自平衡二叉搜索树，具有良好的平衡性质和高效的插入、删除、查找等操作，被广泛应用于各种数据结构和算法领域。通过合理的旋转操作和修正过程，红黑树能够保持树的平衡，从而保证了操作的时间复杂度在可接受的范围内。
> 
> 在本文中，我们深入探讨了红黑树的原理和实现细节。从基本概念开始，我们介绍了红黑树的定义、特性，然后详细讲解了插入操作的算法和旋转操作。接着，我们讨论了删除操作的实现和修正过程。通过分析插入和删除操作的时间复杂度，我们得出了红黑树在各种操作下的高效性能。
> 
> 总的来说，红黑树作为一种经典的数据结构，在算法和计算机科学领域中具有重要地位。通过深入学习和理解红黑树的原理和实现，读者不仅可以拓展自己的数据结构知识，还能够为解决实际问题提供有力的工具和思路。随着计算机科学的不断发展，红黑树及其相关的优化和扩展将继续在各个领域发挥重要作用。

[5a9a92ef8f8c47afaa760f22ea356d6b.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/4ede1c1918364dd6adf55c490f84360a.gif
[AVL]: https://blog.csdn.net/weixin_67596609/article/details/132121224?spm=1001.2014.3001.5501
[e19ebce808cb49f8a1f3b77012636b4f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/1cf234eba709499c8ffaee77a4e38f35.png
[a269355e99aa41aa9b9a57f50d5567ab.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/7a192bab9d324b3c85988d9c5ef3250d.png
[308a4ef6c5ff4f6092f40ac0f1f6861f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/1f414ac1f6844469ad7c6df1285df9f8.png
[ef6f7b3ac399402e9f0c3e1b468c6a46.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/63d7ddcd613b472983e0bd18d85dae7a.png
[b17e13153d7c42a6ae03362da9c0c675.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/2710ae73964b48c09b4ee5f4176c70c4.png
[cf7f26feaaa54ebdb10b34c092a70c01.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/a315e150c3474394a490880f7a7cc483.png
[68413a1481ba4b1d98d2ae7ce691bb45.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/43916b89a3934d8ab46892b08e659ac7.png
[74be69d457784658be93fbf0a81a523c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/2f446b6f3e714486b20eede2a3fd395c.png
[b5be549c6217419d915d2b698f99d86f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/3e453252dc8e482c87e0888cb8f1757f.png
[e786d5dff1bf4f79b9169b647f95fbdd.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/92b4ce46d3a54ffc88dad08a371e2dc6.png
[336cf154dc5849bb8e2c48ba3b396058.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/bd84e652d74c4db49643f39eac4d558d.png