RB 树的定义
RB树概述:
- 红黑树(Red Black Tree)是一种种自平衡二叉查找树,是在计算机科学中用到的一种数据结构,典型的用途是实现关联数组。
- 红黑树和AVL树类似,都是在进行插入和删除操作时通过特定操作保持二叉查找树的平衡,从而获得较高的查找性能。
- 它虽然是复杂的,但它的最坏情况运行时间也是非常良好的,并且在实践中是高效的:它可以在 O(log2 n)时间内做查找,插入和删除,这里的n是树中元素的数目。
RB树性质
红黑树是每个节点都带有颜色属性的二叉查找树,颜色是红色或黑色。
在二叉查找树强制一般要求以外,对于任何有效的红黑树我们增加了如下的额外要求:
- 性质1. 每个节点是红色或黑色。
- 性质2. 根节点是黑色。
- 性质3. 每个叶节点(NIL) 是黑色。
- 性质4. 每个红色节点的两个子节点都是黑色。(从每个叶子到根的所有路径上不能有两个连续的红色节点)
- 性质5. 从任一节点到其每个叶子的所有路径都包含相同数目的黑色节点。
这些约束强制了红黑树的关键性质:
从根到叶子的最长的可能路径不多于最短的可能路径的两倍长。
结果是这个树大致上是平衡的。
因为操作比如插入、删除和查找某个值的最坏情况时间都要求与树的高度成比例,这个在高度上的理论上限允许红黑树在最坏情况下都是高效的,而不同于普通的二叉查找树。
是性质3导致路径.上不能有两个连续的红色节点确保了这个结果。最短的可能路径都是黑色节点,最长的可能路
径有交替的红色和黑色节点。因为根据性质4所有最长的路径都有相同数目的黑色节点,这就表明了没有路径能多于任何其他路径的两倍长。
思考:为什么满足上面的性质,红黑树就能保证:其最长路径中节点个数不会超过最短路径节点个数的两倍?
代码示例
定义节点
#include<iostream>
#include<vector>
#include<stack>
using namespace std;
typedef enum {
RED = 0, BLACK = 1 } ColorType;
typedef int KeyType;
typedef struct rb_node
{
rb_node * leftchild;
rb_node * parent;
rb_node * rightchild;
ColorType color; // AVL int balance;
KeyType key;
}rb_node;
typedef struct
{
struct rb_node* root;
struct rb_node* NIL;
int cursize;
}RBTree;
新建、释放节点
rb_node* Buynode(KeyType kx)
{
rb_node* s = (rb_node*)malloc(sizeof(rb_node));
if (nullptr == s) exit(1);
memset(s, 0,