Java——红黑树

news/2024/11/29 2:51:45/

概念

红黑树也是一种二叉搜索树,但是和avl树不同,它并不是依靠平衡因子来保证树的平衡的,而是通过颜色

红黑树每个节点中会存储颜色,分为红色和黑色,通过红黑树的限制条件,可以保证从根节点出发到叶子节点的每一条路径长度都不会是其他路径长度的两倍,以此达到接近平衡,保证了搜索的效率是log2(N)

性质

红黑树需要满足以下几点性质:

  1. 每个节点不是红色的就是黑色的
  2. 根节点必须是黑色的
  3. 如果一个节点是红色的,那么他的孩子节点必须是黑色的
  4. 每一条路径从根节点到叶子节点中的黑色节点的个数必须相同
  5. 所有的叶子节点(这里指的是空节点)都是黑色的

红黑树节点的定义

红黑树中的节点不仅需要定义左右孩子的指针,父节点的指针,自身存储的值,还要存储这个节点的颜色,这里通过枚举来存储
并且需要满足新创建的节点是红色的,因为如果要是创建的是黑色的,那么在插入的过程中很难保证性质四——每一条路径从根节点到叶子节点中的黑色节点的个数必须相同

节点定义代码

static class RBTreeNode {public RBTreeNode left;public RBTreeNode right;public RBTreeNode parent;public int val;public COLOR color;public RBTreeNode(int val){this.val = val;//新创建的节点默认是红色this.color = COLOR.RED;}}

COLOR枚举

package rbTree;public enum COLOR {RED,BLACK
}

插入

在插入时和AVL树一样,要先按照平衡二叉树来进行遍历插入

先判断根节点是否为空,为空则直接插入
然后定义一个cur和parent,cur先为root,cur一直向下遍历。
如果val小于cur.val,cur就变成cur.left
大于的话就变成cur.right
如果等于,就说明已经有这个节点了,return false
在cur遍历的过程中,使parent始终为cur的上一个节点,使得当cur变成空时,能够记录上一个节点的位置
然后判断val和parent.val的大小关系,插到对应的位置上

RBTreeNode node = new RBTreeNode(val);
if(root == null){root = node;node.color = COLOR.BLACK;return true;
}
RBTreeNode parent = null;
RBTreeNode cur = root;
while(cur != null){if (cur.val < val){parent = cur;cur = cur.right;} else if (cur.val > val){parent = cur;cur = cur.left;} else {return false;}
}
if(parent.val < val){parent.right = node;
} else {parent.left = node;
}
node.parent = parent;
cur = node;

然后进行颜色的更改
因为默认插入的颜色是红色,因此如果父节点是黑色的话,那么就不违背任何性质,否则的话需要进行颜色的更改,因此循环的条件是parent不为空,parent的颜色是红色
定义parent的父节点grandfather节点
定义grandfather的另一个孩子节点uncle节点

while(parent != null && parent.color == COLOR.RED){//根不能是红色,所以一定有父节点RBTreeNode grandFather = parent.parent;if(parent == grandFather.left){RBTreeNode uncle = grandFather.right;

在这里分为以下几种情况:

情况一

cur,parent为红,grandfather为黑,uncle存在且为红
在这里插入图片描述
此时cur和parent两个都是红色,因此不满足性质——如果一个节点是红色的,那么他的孩子节点必须是黑色的

此时如果把cur改成黑色,那么uncle这边就不满足性质—— 每一条路径从根节点到叶子节点中的黑色节点的个数必须相同

所以需要将parent和uncle都改成黑色节点

但是,这里还需要考虑grandfather的兄弟节点也会出现不满足性质—— 每一条路径从根节点到叶子节点中的黑色节点的个数必须相同,因此我们可以把grandfather改成红色的,这样就满足这个性质了

所以,如果grandparent是根节点,那么就不用改颜色了,如果不是根节点的话,我们就需要让grandparent变成红色的
在这里插入图片描述
然后我们可以把grandparent看成cur,继续向上调整

if(uncle != null && uncle.color == COLOR.RED){parent.color = COLOR.BLACK;uncle.color = COLOR.BLACK;grandFather.color = COLOR.RED;//向上迭代cur = grandFather;parent = cur.parent;

情况二

cur和parent为红色,grandfather为黑色,uncle不存在或为黑色
这种情况就相当于情况一的相反情况,因此写在情况一的else中
情况二出现在下图这样,先是情况一进行调整,迭代后出现情况二
在这里插入图片描述

这时我们需要右单旋grandparent,然后将原来的grandparent变成红色,parent变成黑色
在这里插入图片描述
关于右单旋,这个在上一篇博客avl树中讲过,不会的可以去上一篇博客看

//uncle不存在或者是黑色
//情况二
rotateRight(grandFather);
grandFather.color = COLOR.RED;
parent.color = COLOR.BLACK;

右单旋:

private void rotateRight(RBTreeNode parent) {RBTreeNode subL = parent.left;RBTreeNode subLR = subL.right;parent.left = subLR;subL.right = parent;if(subLR != null) {subLR.parent = parent;}RBTreeNode pParent = parent.parent;parent.parent = subL;//检查是否parent为根节点if(parent == root){//使subL为根节点root = subL;root.parent = null;} else {//使得parent的原parent节点的孩子为subLif (pParent.left == parent) {pParent.left = subL;} else {pParent.right = subL;}subL.parent = pParent;}
}

情况三

cur和parent为红色,grandfather为黑色,uncle不存在或者为黑色
情况三也是由下方迭代上来时,会出现的一种情况,例如下图
在这里插入图片描述
那么,我们需要将parent进行左单旋,这样问题就回到情况二了
在这里插入图片描述
因此,我们只需要左单旋一下parent,然后让cur和parent交换一下位置,然后再用情况二来处理就可以了

//情况三
if(cur == parent.right){rotateLeft(parent);RBTreeNode tmp = parent;parent = cur;cur = tmp;
}//情况三变成情况二//uncle不存在或者是黑色
//情况二
rotateRight(grandFather);
grandFather.color = COLOR.RED;
parent.color = COLOR.BLACK;

左单旋:

private void rotateLeft(RBTreeNode parent) {RBTreeNode subR = parent.right;RBTreeNode subRl = subR.left;parent.right = subRl;subR.left = parent;if(subRl != null){subRl.parent = parent;}RBTreeNode pParent = parent.parent;parent.parent = subR;if(root == parent){root = subR;root.parent = null;} else {if (pParent.left == parent){pParent.left = subR;} else {pParent.right = subR;}subR.parent = pParent;}
}

情况四,情况五,情况六

这三种情况就是uncle节点再parent的左侧的情况
情况四和情况一的处理是一样的

当cur是parent的right,就是情况五,那么和情况二处理方法类似,只是变成了左单旋grandparent
在这里插入图片描述

当cur是parent的left,就是情况六,那么和情况三处理方法类似,只是变成了右单旋parent
在这里插入图片描述

//parent == grandfather.right
RBTreeNode uncle = grandFather.left;
if(uncle != null && uncle.color == COLOR.RED){//情况四parent.color = COLOR.BLACK;uncle.color = COLOR.BLACK;grandFather.color = COLOR.RED;//向上迭代cur = grandFather;parent = cur.parent;
} else {//情况六if(cur == parent.left){rotateRight(parent);RBTreeNode tmp = parent;parent = cur;cur = tmp;}//情况五变成情况四//uncle不存在或者是黑色//情况五rotateLeft(grandFather);grandFather.color = COLOR.RED;parent.color = COLOR.BLACK;
}

插入的全部代码

public boolean insert(int val){RBTreeNode node = new RBTreeNode(val);if(root == null){root = node;node.color = COLOR.BLACK;return true;}RBTreeNode parent = null;RBTreeNode cur = root;while(cur != null){if (cur.val < val){parent = cur;cur = cur.right;} else if (cur.val > val){parent = cur;cur = cur.left;} else {return false;}}if(parent.val < val){parent.right = node;} else {parent.left = node;}node.parent = parent;cur = node;//调整颜色while(parent != null && parent.color == COLOR.RED){//根不能是红色,所以一定有父节点RBTreeNode grandFather = parent.parent;if(parent == grandFather.left){RBTreeNode uncle = grandFather.right;if(uncle != null && uncle.color == COLOR.RED){//情况一parent.color = COLOR.BLACK;uncle.color = COLOR.BLACK;grandFather.color = COLOR.RED;//向上迭代cur = grandFather;parent = cur.parent;} else {//uncle不存在或者是黑色//情况三if(cur == parent.right){rotateLeft(parent);RBTreeNode tmp = parent;parent = cur;cur = tmp;}//情况三变成情况二//情况二rotateRight(grandFather);grandFather.color = COLOR.RED;parent.color = COLOR.BLACK;}} else {//parent == grandfather.rightRBTreeNode uncle = grandFather.left;if(uncle != null && uncle.color == COLOR.RED){//情况四parent.color = COLOR.BLACK;uncle.color = COLOR.BLACK;grandFather.color = COLOR.RED;//向上迭代cur = grandFather;parent = cur.parent;} else {//uncle不存在或者是黑色//情况六if(cur == parent.left){rotateRight(parent);RBTreeNode tmp = parent;parent = cur;cur = tmp;}//情况六变成情况五//情况五rotateLeft(grandFather);grandFather.color = COLOR.RED;parent.color = COLOR.BLACK;}}}root.color = COLOR.BLACK;return true;
}

验证是否为红黑树

中序遍历

红黑树是二叉搜索树,所以应该满足中序遍历结果是一个从小到大的有序序列

public void inorder(RBTreeNode root){if (root == null){return;}inorder(root.left);System.out.println(root.val);inorder(root.right);
}

判断根节点的颜色

如果是空树,我们认为这棵树是红黑树,不是空树的话需要判断这棵树的根节点是否为黑色,如果不是黑色,说明这棵树不是红黑树

if(root == null){//空树是红黑树return true;
}if(root.color != COLOR.BLACK){System.out.println("根节点不是黑色");return false;
}

判断红色节点的孩子节点是否为红色节点

通过另外单写一个方法,可以实现递归查询每一个树的左子树是否满足和右子树是否满足

首先判断传入的节点是否为空,如果是空则返回true

然后判断这个节点是否为红色节点,如果是,则判断他的孩子节点有没有红色的,如果有,说明不满足性质——红色节点的孩子节点不能是红色的,那么就直接返回false

然后去分别判断root的左子树和root的右子树是否满足条件,必须都满足才能返回true,因此是&&的关系

private  boolean checkRedColor(RBTreeNode root){if(root == null){return true;}if (root.color == COLOR.RED){RBTreeNode parent = root.parent;if(parent.color == COLOR.RED){System.out.println("红色节点的孩子节点还是红色节点");return false;}}return checkRedColor(root.left) && checkRedColor(root.right);
}

判断每条路径的黑色节点总数是否相等

先求出红黑树的某一条路径的黑色节点个数,然后拿这个个数去和其他的路径进行比较

int blackNum = 0;
RBTreeNode cur = root;
while(cur != null){if(cur.color == COLOR.BLACK){blackNum++;}cur = cur.left;
}

单写一个判断黑色节点总数的方法,方便我们递归

这里的参数分别有如下的含义:pathBlackNum代表递归到现在时的黑色节点的总个数,而blackNum则是我们计算好了的某一条路径上的黑色节点的总个数

首先判断传入的节点是否为空,如果是空则返回true

然后判断传入的节点是否为黑色的,如果是黑色的,我们就需要让pathBlackNum++,代表这个路径上又多了一个黑色的节点

接着看传入的节点的左右孩子节点是否为空,如果都为空,说明当前传入的节点是叶子节点,那么我们就可以去看当前路径的黑色节点总数pathBlackNum和之前计算的路径中黑色节点个数blackNum是否相等,如果不相等,说明这个路径的黑色节点个数和别的不一致,那么就不是红黑树

然后,分别递归去看左子树的黑色节点个数和右子树的黑色节点个数是否符合要求

private boolean checkBlackNum(RBTreeNode root, int pathBlackNum, int blackNum) {if (root == null){return true;}if (root.color == COLOR.BLACK){pathBlackNum++;}if(root.left == null && root.right == null){if(pathBlackNum != blackNum){System.out.println("某条路径上的黑色节点总数和其他路径的黑色节点总数不一致");return false;}}return checkBlackNum(root.left, pathBlackNum, blackNum)&& checkBlackNum(root.right, pathBlackNum, blackNum);
}

完整检查是否为红黑树代码

public boolean isRBTree() {if(root == null){//空树是红黑树return true;}if(root.color != COLOR.BLACK){System.out.println("根节点不是黑色");return false;}//计算最红黑树的最左面路径的黑色节点个数int blackNum = 0;RBTreeNode cur = root;while(cur != null){if(cur.color == COLOR.BLACK){blackNum++;}cur = cur.left;}//检查是否有红色节点的孩子节点也是红色节点,检查是否某条路径上的黑色节点总数和其他路径的黑色节点总数不一致return checkRedColor(root) && checkBlackNum(root,0, blackNum);
}

主函数调用

package rbTree;public class Test {public static void main(String[] args) {//int[] array = {16,3,7,11,9,26,18,14,15};int[] array = {4,2,6,1,3,5,15,7,16,14};RBTree rbTree = new RBTree();for (int i = 0; i < array.length; i++) {rbTree.insert(array[i]);}rbTree.inorder(rbTree.root);System.out.println(rbTree.isRBTree());}
}

在这里插入图片描述
可以看到,我们的红黑树插入代码是正确的,最终的得到的红黑树是满足所有性质的


http://www.ppmy.cn/news/3354.html

相关文章

14:30面试,14:38就出来了 ,问的实在是太...

从外包出来&#xff0c;没想到算法死在另一家厂子&#xff0c;自从加入这家公司&#xff0c;每天都在加班&#xff0c;钱倒是给的不少&#xff0c;所以也就忍了。没想到8月一纸通知&#xff0c;所有人不许加班&#xff0c;薪资直降30%&#xff0c;顿时有吃不起饭的赶脚。 好在有…

16【C语言 趣味算法】求车速问题

Contents 一、Review二、New Problem2.1 Problem description and problem analysis2.2 Algorithm design2.3 Defining the framework of the process(确定程序框架)2.4 Full code and results2.5 Question expansion(问题拓展):使用while循环来解决一、Review 15【C语言…

不想写日报、周报,这个报表自动化软件太牛了,仅需三分钟

昨天看到一个哥们发帖说IT部门负责做报表的同事阳了&#xff0c;再加上年底各个业务部门报表需求旺盛&#xff0c;现在他们是忙的饭都吃不上&#xff0c;天天凌晨才能回家。京东的人倒是被解放了&#xff0c;毕竟强东说汇报只能1页ppt。但对于万千其他公司的朋友们来说&#xf…

thinkphp中 Db::query()和Db::name()区别 $db->query($sql); ->相当于访问类里面的方法

Db::query()是原生sql查询。 例如 Db::query(“select * from cmf_user where id9”); Db::name()是thinkphp基于原生sql二次封装的sql查询。 例如Db::name(‘user’)->where(‘id’,9)->find(); db是一个实例化好的数据库类&#xff0c;query是这个类里面的一个方法&am…

Django第二天学习记录

1.对于路由配置的正则化补充(re_path的正则匹配) 对于第一天学习的path转换器过于暴力&#xff0c;对于需要匹配的内容不能很精准的进行转换。为了实现精准的字符串匹配规则&#xff0c;因此引入了re_path&#xff08;reg,view,namexxx&#xff09;进行路由规则的精确匹配。 正…

第十四届蓝桥杯集训——JavaC组第十一篇——switch

第十四届蓝桥杯集训——JavaC组第十一篇——switch 目录 第十四届蓝桥杯集训——JavaC组第十一篇——switch swtich概述 switch语法 default作用 switch基础示例&#xff1a; String类型switch示例 switch枚举判断 巧用break 石头剪刀布 测试代码&#xff1a; swtich概…

单片机扫盲

一、从电路到集成电路 集成电路&#xff1a;使用微器件为“积木”&#xff0c;去搭建一个具备一定功能的电路板 微器件出现之前&#xff0c;一个电路功能需要很大一块电路板才能实现&#xff0c;有了微器件电路板的体积可以降到mm级别。 IC芯片就是将电路的所有微器件集成到一…

为什么 Google 总是在不断地关闭产品呢?

当听说 Google Reader 关闭的消息时&#xff0c;我感到万分震惊。我非常喜欢这个产品&#xff0c;就像喜欢微软的 Excel 一样&#xff0c;因为我感觉这两款产品赋予了我超能力。我可以通过 Reader 掌握网上的最新信息&#xff0c;无论发布者的频率有多高都不会错过。 这些年来…