用途:
主要用在key-value,查找
- map
- nginx Timer事件管理
- Epoll事件块的管理
- cfs
- 内存管理
比如malloc
示意图
红黑树特性:
一. 每个节点红色的或黑色的
二. 根节点是黑色的
三. 每个叶子节点是黑色的,且隐藏
四. 若某节点红,则其子节点为黑色
五. 对于某个节点,从该节点到其子孙节点的所有路径上,包含相同数目的黑节点(红黑树平衡黑高)
六. 最大路径不会超过最短路径的两倍(因为红色后面一定跟黑色,黑节点数量一定相等)。
实现
红黑树时间复杂度:O(lgn)
红黑树应用:
主要用来存储数据,如:Java集合中的TreeSet和TreeMap,C++中的set、map, linux中的虚拟内存管理
红黑树----左旋
算法导论中如是说
LEFT-ROTATE(T, x)
y ← right[x] // 前提:这里假设x的右孩子为y。下面开始正式操作
right[x] ← left[y] // 将 “y的左孩子” 设为 “x的右孩子”,即 将β设为x的右孩子
p[left[y]] ← x // 将 “x” 设为 “y的左孩子的父亲”,即 将β的父亲设为x
p[y] ← p[x] // 将 “x的父亲” 设为 “y的父亲”
if p[x] = nil[T]
then root[T] ← y // 情况1:如果 “x的父亲” 是空节点,则将y设为根节点
else if x = left[p[x]]
then left[p[x]] ← y // 情况2:如果 x是它父节点的左孩子,则将y设为“x的父节点的左孩子”
else
right[p[x]] ← y // 情况3:(x是它父节点的右孩子) 将y设为“x的父节点的右孩子”
left[y] ← x // 将 “x” 设为 “y的左孩子”
p[x] ← y // 将 “x的父节点” 设为 “y”
void _left_route(rbtree *T, rbtree_node * x)
{
rbtree_node *y = x->right;
x->right = y->left;
if(y->left != T->nil)
y->left->parent = x;
if(x->parent != T->nil)
{
y->parent = T->root;
}
else if(x == x->parent->left)
{
x->parent->left = y;
}
else if(x == x->parent->right)
{
x->parent->right = y;
}
y->parent = x->parent;
x->parent = y;
y->left = x;
}
红黑树----右旋
算法导论中如是说:
RIGHT-ROTATE(T, y)
x ← left[y] // 前提:这里假设y的左孩子为x。下面开始正式操作
left[y] ← right[x] // 将 “x的右孩子” 设为 “y的左孩子”,即 将β设为y的左孩子
p[right[x]] ← y // 将 “y” 设为 “x的右孩子的父亲”,即 将β的父亲设为y
p[x] ← p[y] // 将 “y的父亲” 设为 “x的父亲”
if p[y] = nil[T]
then root[T] ← x // 情况1:如果 “y的父亲” 是空节点,则将x设为根节点
else if y = right[p[y]]
then right[p[y]] ← x // 情况2:如果 y是它父节点的右孩子,则将x设为“y的父节点的左孩子”
else
left[p[y]] ← x // 情况3:(y是它父节点的左孩子) 将x设为“y的父节点的左孩子”
right[x] ← y // 将 “y” 设为 “x的右孩子”
p[y] ← x // 将 “y的父节点” 设为 “x”
void _right_route(rbtree *T, rbtree_node * x)
{
rbtree_node *y = x->left;
x->left= y->right;
if(y->right!= T->nil)
y->right->parent = x;
if(x->parent != T->nil)
{
y->parent = T->root;
}
else if(x == x->parent->left)
{
x->parent->left = y;
}
else if(x == x->parent->right)
{
x->parent->right = y;
}
y->parent = x->parent;
x->parent = y;
y->right= x;
}
红黑树是一个二叉树,二叉树必定满足排序的要求,所以红黑树左旋右旋的只是改变X,Y节点的父子节点关系
红黑树添加
红黑树添加有如下几种情况
上图父节点位红的部分,可以归结为三种情况,
- 父节点为红,叔父节点为红
处理方式:变换父节点、叔节点为黑,祖父节点为红,随后针对祖父节点处理,使其满足红黑树性值:红节点的子节点不能为红! - 父节点为红,叔父节点为黑,父节点与当前节点处于树的同一侧,要不都是父节点的左子树,要不都是父节点的右子树
处理方式:旋转祖父节点,使得父节点处于之前祖父节点的位置,交换父节点与祖父节点的颜色,使得原祖父节点依然处于黑色,其两个子节点变为红色 - 父节点为红,叔父节点为黑,父节点与当前节点处于树的不同测。
处理方式:通过旋转,将两个连续红色变换到与父节点的同一侧,然后按照第二种情形处理。
void rbtree_insert_fixup(rbtree *T, rbtree_node *z) {
while (z->parent->color == RED) { //z ---> RED
if (z->parent == z->parent->parent->left) {
rbtree_node *y = z->parent->parent->right;
if (y->color == RED) {
z->parent->color = BLACK;
y->color = BLACK;
z->parent->parent->color = RED;
z = z->parent->parent; //z --> RED
} else {
//确保当前节点与父节点处于树的同一侧,如果不是同一侧,通过旋转,变换一个红色节点到同一侧后,交出节点句柄。
//此处变换的的核心是通过旋转,将连续的两个红节点拉一个到祖父节点的位置,然后着色,如此将不会改变黑高,达到平衡
if (z == z->parent->right) {
z = z->parent;
_left_rotate(T, z);
}
z->parent->color = BLACK;
z->parent->parent->color = RED;
_right_rotate(T, z->parent->parent);
}
}else {
rbtree_node *y = z->parent->parent->left;
if (y->color == RED) {
z->parent->color = BLACK;
y->color = BLACK;
z->parent->parent->color = RED;
z = z->parent->parent; //z --> RED
} else {
if (z == z->parent->left) {
z = z->parent;
_right_rotate(T, z);
}
z->parent->color = BLACK;
z->parent->parent->color = RED;
_left_rotate(T, z->parent->parent);
}
}
}
T->root->color = BLACK;
}
void rbtree_insert(rbtree *T, rbtree_node *z) {
rbtree_node *y = T->nil;
rbtree_node *x = T->root;
//找到z节点应该添加的位置,参照二叉树性值
while (x != T->nil) {
y = x;
if (z->key < x->key) {
x = x->left;
} else if (z->key > x->key) {
x = x->right;
} else { //Exist
return ;
}
}
z->parent = y;
if (y == T->nil) {
T->root = z;
} else if (z->key < y->key) {
y->left = z;
} else {
y->right = z;
}
z->left = T->nil;
z->right = T->nil;
//着红
z->color = RED;
//修改颜色,使其满足红黑树性值
rbtree_insert_fixup(T, z);
}
删除节点
三个节点定义
- 覆盖节点z:想要删除的key对应的节点
- 删除节点y:实际释放掉的节点,位于z右节点处的最小值,若z缺失左右子树,则与x重叠
- 轴心节点x:y的子节点,从该节点处开始调整红黑属性
删除节点步骤
- 寻找x、y节点
- 断开y节点,将x节点嫁接到原来y节点的位置。
- 将y节点的内容拷贝到z节点处
- 如果删除节点y为黑色节点,调整红黑,使得该树依然满足红黑树属性
rbtree_node *rbtree_delete(rbtree *T, rbtree_node *z) {
rbtree_node *y = T->nil;
rbtree_node *x = T->nil;
// 寻找x、y节点
if ((z->left == T->nil) || (z->right == T->nil)) {
y = z;
} else {
y = z->right;
while(y->left != T->nil)
{
y = y->left;
}
}
if (y->left != T->nil) {
x = y->left;
} else if (y->right != T->nil) {
x = y->right;
}
// 删除掉y节点
x->parent = y->parent;
if (y->parent == T->nil) {
T->root = x;
} else if (y == y->parent->left) {
y->parent->left = x;
} else {
y->parent->right = x;
}
if (y != z) {
z->key = y->key;
z->value = y->value;
}
if (y->color == BLACK) {
rbtree_delete_fixup(T, x);
}
free(y);
}
调整红黑树属性
调整该树可能会有一下情况,x为红色,由于红色的父子节点均不可能为红,所以直接染黑就好,此处不做讨论。
void rbtree_delete_fixup(rbtree *T, rbtree_node *x) {
while ((x != T->root) && (x->color == BLACK)) {
if (x == x->parent->left) {![在这里插入图片描述](https://img-blog.csdnimg.cn/6196174218ec42b99bed6e099cc48369.png?x-oss-process=image/watermark,type_ZHJvaWRzYW5zZmFsbGJhY2s,shadow_50,text_Q1NETiBAcXFfNTAzMDAwODk1,size_20,color_FFFFFF,t_70,g_se,x_16)
rbtree_node *w= x->parent->right;
if (w->color == RED) {
w->color = BLACK;
x->parent->color = RED;
_left_rotate(T, x->parent);
w = x->parent->right;
}
if ((w->left->color == BLACK) && (w->right->color == BLACK)) {
w->color = RED;
x = x->parent;
} else {
if (w->right->color == BLACK) {
w->left->color = BLACK;
w->color = RED;
_right_rotate(T, w);
w = x->parent->right;
}
w->color = x->parent->color;
x->parent->color = BLACK;
w->right->color = BLACK;
_left_rotate(T, x->parent);
x = T->root;
}
} else {
rbtree_node *w = x->parent->left;
if (w->color == RED) {
w->color = BLACK;
x->parent->color = RED;
_right_rotate(T, x->parent);
w = x->parent->left;
}
if ((w->left->color == BLACK) && (w->right->color == BLACK)) {
w->color = RED;
x = x->parent;
} else {
if (w->left->color == BLACK) {
w->right->color = BLACK;
w->color = RED;
_left_rotate(T, w);
w = x->parent->left;
}
w->color = x->parent->color;
x->parent->color = BLACK;
w->left->color = BLACK;
_right_rotate(T, x->parent);
x = T->root;
}
}
}
x->color = BLACK;
}