深度理解红黑树增删节点

用途:

主要用在key-value,查找

  1. map
  2. nginx Timer事件管理
  3. Epoll事件块的管理
  4. cfs
  5. 内存管理
    比如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节点的父子节点关系

红黑树添加

红黑树添加有如下几种情况
在这里插入图片描述
上图父节点位红的部分,可以归结为三种情况,

  1. 父节点为红,叔父节点为红
    处理方式:变换父节点、叔节点为黑,祖父节点为红,随后针对祖父节点处理,使其满足红黑树性值:红节点的子节点不能为红!
  2. 父节点为红,叔父节点为黑,父节点与当前节点处于树的同一侧,要不都是父节点的左子树,要不都是父节点的右子树
    处理方式:旋转祖父节点,使得父节点处于之前祖父节点的位置,交换父节点与祖父节点的颜色,使得原祖父节点依然处于黑色,其两个子节点变为红色
  3. 父节点为红,叔父节点为黑,父节点与当前节点处于树的不同测。
    处理方式:通过旋转,将两个连续红色变换到与父节点的同一侧,然后按照第二种情形处理。
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);
}

删除节点

三个节点定义

  1. 覆盖节点z:想要删除的key对应的节点
  2. 删除节点y:实际释放掉的节点,位于z右节点处的最小值,若z缺失左右子树,则与x重叠
  3. 轴心节点x:y的子节点,从该节点处开始调整红黑属性

删除节点步骤

  1. 寻找x、y节点
  2. 断开y节点,将x节点嫁接到原来y节点的位置。
  3. 将y节点的内容拷贝到z节点处
  4. 如果删除节点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;
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值