红黑树详解
- 概念及定义
-
- 红黑树的概念
- 红黑树的性质
- 红黑树的结点定义
- 红黑树的结构
- 红黑树的应用
- 红黑树与avl树的比较
- 插入操作
-
- 1、寻找要插入的位置
- 2.判断是否符合红黑树的规则
- 3.对于规则被破坏的情况，进行调整
- 插入操作代码实现
- 验证是否为红黑树
-
- ⏰1.根节点为黑色
- ⏰2.不存在连续的两个红色结点
- ⏰3.每条路径的黑色结点数量都相等
- ⏰验证红黑树代码实现
- 用红黑树封装实现map和set
-
- 红黑树的迭代器
- 改造红黑树
- set的封装实现
- map的封装实现
- 代码实现
我们之前已经了解过了avl树，那么接下来我们将介绍另一种二叉搜索树–红黑树。如果说avl树是天才发现的，那么红黑树就是天才中的天才创造出来的。为什么这么说呢？接下里就随这篇文章一起来看看吧。
红黑树的概念
红黑树，顾名思义就是在每个结点上增加一个存储位表示结点颜色，其是一颗最长路径的长度不超过最短路径的长度的2倍的二叉搜索树，因而红黑树是近似平衡的。在红黑树中，为了便于规范，将空结点（nil）认为是叶子节点，保证叶子结点一定是黑色的。
红黑树的性质
- 1.每个结点不是红色就是黑色
- 2.根节点是黑色的
-
- 如果一个结点是红色的，则它的两个孩子结点一定是黑色的
-
- 对于每个结点，从该结点到其所有后代叶结点的简单路径上，均包含相同数目的黑色结点
- 5.每个叶子结点都是黑色的（需要注意的是，这里的叶子节点指的是空结点）
由性质三知道红黑树中不存在连续的两个红色结点，由此推出在一条路径上红色结点的数量一定不会超过黑色结点的数量；而由性质四知道红黑树的每条路径上都有着相同数量的黑色结点。进一步的，我们可以得出结论：红黑树的最短路径为全是黑色结点，最长路径为全是红色结点。如此即可保证红黑树的最长路径不超过最短路径的两倍。
⏰【补充】路径的概念：树的路径为根节点到叶子结点的那条路径（但是在红黑树的概念理解中，我们将空结点认为是叶子结点）
红黑树的结点定义
与avl树并无太大的不同，红黑树的结点只是在avl树的基础上增加了颜色的定义（这里我们还是使用key-value模型的二叉搜索树），其中颜色用枚举表示：
enum color
{
black,
red
};
template
//template
struct rbtreenode
{
typedef rbtreenode node;
node* _left;
node* _right;
node* _parent;
//t _data;
pair _kv;
color _color;
//rbtreenode(const t& data)
rbtreenode(const pair kv)
:_left(nullptr)
,_right(nullptr)
,_parent(nullptr)
//,_data(data)
,_kv(kv)
,_color(red)
{
}
};
在这里结点颜色默认设置为红色，是为了方便后续插入，在保证红黑树性质的情况下，通过插入红色结点可以更好的保证性质四不被破坏，而如果插入黑色结点，那么保证每条路径的黑色结点数量相等操作将非常繁琐。
红黑树的结构
template
class rbtree
{
public:
//typedef rbtreenode node;
typedef rbtreenode node;
rbtree()
:_root(nullptr)
{
}
private:
node* _root;
};
其实在stl中，红黑树的实现是还有一个header结点的，其中根节点的_parent指向header，header的_parent也指向根节点；而header的_left指向红黑树中最小的结点（最左下的结点），_right指向红黑树中最大的结点（最右下的结点），但为了简便，我们这里就不实现header结点的相关功能了。
红黑树的应用
红黑树最典型的应用就是实现c stl中的map和set；其次还有java库，linux内核以及其他的一些内核都是用红黑树实现的。
红黑树与avl树的比较
红黑树与avl树都是平衡的二叉树：
- avl树是严格平衡的，而红黑树是近似平衡的
- avl树和红黑树的查找时间复杂度都是o(log2n)
- 由于红黑树旋转次数更少，因此在增删过程中性能较优
在avl树的基础下，红黑树的插入操作其实就不难了。
1、寻找要插入的位置
此步我们这钱已经多次介绍介绍，即若key值大于当前结点的key值，则向右寻找；若小于，则向左寻找；若相等，说明数据冗余，返回false。
2.判断是否符合红黑树的规则
由于我们产生新结点时将其颜色设置为红色，而每条路径上黑色结点数量相等这条规则就交给调整时保证。
故判断是否为红黑树就转换为判断是否存在连续红色的结点。
- 对于新插入的结点，若其父亲颜色为黑色，则满足红黑树的规则，无需调整。
- 而若其父亲颜色为红色，则规则被破坏，需要调整。
3.对于规则被破坏的情况，进行调整
在规则被破坏的前提下， 总共存在三种情况：1.只需变色；2.单旋 变色；3.双旋 变色。由于旋转操作在avl树中已经详细介绍，若不清楚则可参考之前avl树中关于旋转的内容：avl树的旋转
-
情况一：若parent，grandparent以及ubcle结点存在，其中p、u为红色，g为黑色，此时只需变色，将parent和uncle变为黑色，grandparent变为红色，由于g所在的树可能为一棵子树，故此时仍需向上调整。
-
情况二：p存在为红色，g存在为黑色，u存在为黑色/u不存在，其中旋转为单旋情况。左边高->右单旋；若右边高->左单旋，旋转完后，p变为黑色，g变为红色
-
情况三：p存在为红色，g存在为黑色，u存在为黑色/u不存在，其中cur为双旋情况。双旋之后，cur为黑色，parent和grandparent为红色。
插入操作代码实现
综上所述，红黑树的代码实现如下：
bool insert(const pair& kv)
{
if (_root == nullptr)
{
//_root = new node(data);
_root = new node(kv);
_root->_color = black;
return true;
}
node* cur = _root;
node* parent = _root;
//找到要找到的位置
while (cur)
{
//keyoft kot;
//if (kot(cur->_data) < kot(data))
if(cur->_kv.first < kv.first)
{
parent = cur;
cur = cur->_right;
}
//else if(kot(cur->_data) > kot(data))
else if(cur->_kv.first > kv.first)
{
parent = cur;
cur = cur->_left;
}
else//数据冗余，插入失败
{
return false;
}
}
//cur为要插入的位置
//cur = new node(data);
cur = new node(kv);
cur->_color = red;
cur->_parent = parent;
//node* newnode = cur;//保存当前的cur位置
//if (kot(cur->_data) < kot(data))
if(parent->_kv.first < kv.first)
{
parent->_right = cur;
}
else
{
parent->_left = cur;
}
while (parent && parent->_color == red)
{
//由于parent存在且颜色为红，故panret一定不为根
//那么grandfather一定存在
node* grandparent = parent->_parent;
if (parent == grandparent->_left)
{
node* uncle = grandparent->_right;
//parent为红色，则grandfather一定不是红色，否则破坏规则
if (uncle && uncle->_color == red)
{
//情况一，uncle存在且为红
cur->_color = red;
parent->_color = black;
uncle->_color = black;
grandparent->_color = red;
//此时仍需继续向上调整
cur = grandparent;
parent = cur->_parent;
}
else
{
if (cur == parent->_left)
{
//情况二，uncle不存在或为黑
//右单旋
rotater(grandparent);
//更新颜色
parent->_color = black;
grandparent->_color = red;
}
else//情况三
{
//左右双旋
rotatel(parent);
rotater(grandparent);
cur->_color = black;
grandparent->_color = red;
}
//调整后符合红黑树规则，跳出循环
break;
}
}
else
{
node* uncle = grandparent->_left;
if (uncle && uncle->_color == red)
{
//情况一，uncle存在且为红
cur->_color = red;
parent->_color = black;
uncle->_color = black;
grandparent->_color = red;
//此时仍需继续向上调整
cur = grandparent;
parent = cur->_parent;
}
else
{
if (cur == parent->_right)//情况二
{
//左单旋
rotatel(grandparent);
//更新颜色
parent->_color = black;
grandparent->_color = red;
}
else//情况三
{
//右左双旋
rotater(parent);
rotatel(grandparent);
cur->_color = black;
grandparent->_color = red;
}
//调整后符合红黑树规则，跳出循环
break;
}
}
}
_root->_color = black;//不论如何，直接将根节点颜色置为黑色
return true;
}
⏰1.根节点为黑色
- 首先判断，根节点的颜色，若根节点为红色，破坏规则二，返回false。
bool isrbtree()
{
if (_root == nullptr)//空树也是红黑树
return true;
//检测性质二：根节点是黑色
if (_root->_color != black)
{
cout << "违反规则二，根结点为红色" << endl;
return false;
}
//判断性质三、四
//...
}
⏰2.不存在连续的两个红色结点
- 其次，对于规则三，若存在连续的两个红色结点，说明规则三被破坏了，返回false。
这里需要注意的是，若去判断红色结点的孩子结点是否为红色，则还需要判断孩子是否存在；因此改为判断红色结点的父亲是否为红色，这样就可以简化代码及操作。
bool check_red_red(node* root)
{
//由于在调用函数中已经检测了根节点的合法性
//故此处的root结点必不为红色
if (root == nullptr)
return true;
if (root->_color == red && root->_parent->_color == red)
{
cout << "违反规则三，有连续的红色结点" << endl;
return false;
}
return check_red_red(root->_left) && check_red_red(root->_right);
}
⏰3.每条路径的黑色结点数量都相等
判断规则四的思路为先计算一条路径的黑色结点数量，然后遍历其他各条路径，对比黑色结点的数量，若不相等，则返回false。
//benchmark：基准值
bool check_blacknum(node* root, int benchmark, int blacknum)
{
if (root == nullptr)//到空结点，此时blacknum为该条路径的黑色结点数量
{
if (blacknum == benchmark)
return true;
else
return false;
}
if (root->_color == black)
blacknum ;
return check_blacknum(root->_left, benchmark, blacknum);
}
⏰验证红黑树代码实现
bool isrbtree()
{
if (_root == nullptr)//空树也是红黑树
return true;
//检测性质二：根节点是黑色
if (_root->_color != black)
{
cout << "违反规则二，根结点为红色" << endl;
return false;
}
//计算最左路径上黑色结点的数量作为基准值
int benchmark = 0;
node* cur = _root;
while (cur)
{
if (cur->_color == black)
benchmark ;
cur = cur->_left;
}
int blacknum = 0;
return check_red_red(_root) && check_blacknum(_root, benchmark, blacknum);
}
在介绍完红黑树后，我们立刻来封装实现map和set。由此，接下来我们来实现红黑树的迭代器。
红黑树的迭代器
红黑树作为关联式容器，其迭代器与list类似，也是封装一个指针，来保证各结点的访问。
template //自身，引用（实现*重载），指针（实现->重载）,便于范围for
struct rbtreeiterator
{
typedef rbtreeiterator self;
typedef rbtreenode node;
node* _node;
rbtreeiterator(node* node = nullptr)
:_node(node)
{
}
//实现其他功能
private:
};
- 重载*和->
//让迭代器具有类似指针的功能
ref operator*()
{
return _node->_data;
}
ptr operator->()
{
return &_node->_data;
}
- 迭代器的移动
//前置
self& operator ()
{
increment();
return *this;
}
//后置
self operator (int)
{
self tmp = *this;
increment();
return tmp;
}
//前置--
self& operator--()
{
decrement();
return *this;
}
//后置--
self operator--(int)
{
self tmp = this;
decrement();
return *this;
}
private:
void decrement()//迭代器以中序向前走一步
{
//1.若结点的左子树存在，则找左子树中最右下的结点
if (_node->_left)
{
_node = _node->_left;
while (_node->_right)
_node = _node->_right;
}
else
{
//2.若结点的左孩子不存在，则向上寻找直到其不为父亲的左孩子
node* parent = _node->_parent;
while (parent && parent->_left == _node)
{
_node = parent;
parent = _node->_parent;
}
_node = parent;
}
}
void increment()//迭代器以中序向后走一步
{
//1.若结点的右子树存在,则找右子树中最左下的结点
if (_node->_right)
{
_node = _node->_right;
while (_node->_left)
{
_node = _node->_left;
}
}
else//2.若结点的右子树不存在，则找到结点不是其父亲右孩子的结点
{
node* parent = _node->_parent;
while (parent && parent->_right == _node)
{
_node = parent;
parent = _node->_parent;
}
_node = parent;
}
}
- 迭代器的比较
bool operator==(const self& s) const
{
return _node == s._node;
}
bool operator!=(const self& s)const
{
return _node != s._node;
}
改造红黑树
这里有个问题，如何用一个红黑树实现key模型的set及key-value模型的map。
因此，在红黑树中，我们将模板参数修改为：
template
其中，k为key值，t对于set实例化来说是key值，而对于map实例化来说则是pair键值对。keyoft（从t中提取key值），此参数是为了便于插入时的比较，因为插入的参数修改为：bool insert(t& data)。
iterator begin()
{
//中序遍历的第一个结点
return iterator(leftmost());
}
iterator end()
{
return iterator(nullptr);
}
node* leftmost()//中序遍历的第一个结点
{
node* left = _root->_left;
while (left && left->_left)
left = left->_left;
return left;
}
node* rightmost()中序遍历的最后一个结点
{
node* right = _root->_right;
while (right && right->_right)
right = right->_right;
return right;
}
set的封装实现
map内部直接封装了红黑树，实现key模型的二叉搜索树，所有接口直接调用红黑树的接口即可：
template
class set
{
public:
struct setkeyoft
{
const k& operator()(const k& key)//对set而言，t为key，直接返回key值进行插入比较即可
{
return key;
}
};
typedef typename rbtree::iterator iterator;
iterator begin()
{
return _t.begin();
}
iterator end()
{
return _t.end();
}
pair insert(const k& key)
{
return _t.insert(key);
}
private:
//set内部封装红黑树，k和t参数都传入key值即可
//set内部再定义setkeyoft结构体，里面重载了()操作符
//返回set对应的key值
rbtree _t;
};
map的封装实现
map 的封装实现与set并无太大的区别，只不过map中重载了[]下标访问限定符：
class map
{
public:
struct mapkeyoft
{
const k& operator()(const pair& data)
{
return data.first;
}
};
typedef typename rbtree, mapkeyoft>::iterator iterator;
iterator begin()
{
return _t.begin();
}
iterator end()
{
return _t.end();
}
pair insert(const pair& data)
{
return _t.insert(data);
}
v& operator[](const k& key)
{
pair ret = _t.insert(make_pair(key, v()));
return ret.first->second;
}
private:
//map内部封装红黑树，k传入key值，t参数传入pair对象
//map内部再定义mapkeyoft结构体，里面重载了()操作符
//返回map对应的key值
rbtree, mapkeyoft> _t;
};