红黑树,是一种二叉搜索树,但在每个结点上增加一个存储位表示结点的颜色,可以是Red或Black。
通过任何一条从根到叶子的路径上各个结点着色方式的限制,红黑树确保没有一条路径会比其他路径长出俩倍,因而是接近平衡的。
红黑树不追求绝对平衡,只需保证最长路径不超过最短路径的2倍,相对而言,降低了平衡时旋转的次数,所以在经常进行增删的结构中性能比AVL树更优。
红黑树的性质:
性质1:每个节点要么是黑色,要么是红色。
性质2:根节点是黑色。
性质3:每个叶子节点是黑色。
性质4:每个红色节点的两个子节点一定都是黑色。不能有两个红色节点相连。
性质5:任意一节点到每个叶子节点的路径都包含数量相同的黑结点。俗称:黑高!
从性质5又可以推出:如果一个节点存在黑色子节点,那么该结点肯定有两个子节点
左子树和右子树的黑结点的层数是相等的,也即任意一个结点到到每个叶子结点的路径都包含数量相同的黑结点(性质5)。所以我们叫红黑树这种平衡为黑色完美平衡。
红黑树能保持这些性质,它靠的是什么?三种操作:左旋、右旋和变色。
1.变色:结点的颜色由红变黑或由黑变红。
2.左旋:以某个结点作为支点(旋转结点),其右子结点变为旋转结点的父结点,右子结点的左子结点变为旋转结点的右子结点,左子结点保持不变。
3.右旋:以某个结点作为支点(旋转结点),其左子结点变为旋转结点的父结点,左子结点的右子结点变为旋转结点的左子结点,右子结点保持不变。
插入后修复红黑树平衡的方法
- 情景1:红黑树为空树,根节点变成黑色即可
- 情景2:插入节点的key已经存在,不用处理
- 情景3:插入节点的父节点为黑色,不用处理
- 情景4:插入节点的父节点为红色
- 情景4.1:叔叔节点存在,并且为红色(父-叔 双红)。将叔父节点变黑,爷爷节点变红,继续对爷爷节点进行处理
- 情景4.2:叔叔节点不存在,或者为黑色,父节点为爷爷节点的左子树
- 情景4.2.1:插入节点为其父节点的左子节点(LL情况),父节点变黑,爷爷节点变红,右旋爷爷节点。
- 情景4.2.2:插入节点为其父节点的右子节点(LR情况),左旋(父节点),当前节点设置为父节点,变成LL情况处理。
- 情景4.3:叔叔节点不存在,或者为黑色,父节点为爷爷节点的右子树
- 情景4.3.1:插入节点为其父节点的右子节点(RR情况),父节点变黑,爷爷节点变红,左旋爷爷节点。
- 情景4.3.2:插入节点为其父节点的左子节点(RL情况),右旋(父节点),当前节点设置为父节点,变成RR情况处理。
/**
* ①创建RBTree,定义颜色
* ②创建RBNode
* ③辅助方法定义:parentOf(node),isRed(node),setRed(node),setBlack(node),inOrderPrint(RBNode tree)
* ④左旋方法定义:leftRotate(node)
* ⑤右旋方法定义:rightRotate(node)
* ⑥公开插入接口方法定义:insert(K key, V value);
* ⑦内部插入接口方法定义:insert(RBNode node);
* ⑧修正插入导致红黑树失衡的方法定义:insertFIxUp(RBNode node);
* ⑨测试红黑树正确性
*
*
* @author 巍巍老师
* @since 1.0.0
*/
public class RBTree <K extends Comparable<K>, V> {
//定义颜色常量
private static final boolean RED = true;
private static final boolean BLACK = false;
//红黑树的树根
private RBNode root;
public RBNode getRoot() {
return root;
}
/**
* 公开的插入接口
* @param key 键
* @param value 值
*/
public void insert(K key, V value) {
RBNode node = new RBNode();
node.setKey(key);
node.setValue(value);
node.setColor(RED);
insert(node);
}
/**
* 内部插入接口定义
*/
private void insert(RBNode node) {
//1.找到插入的位置
RBNode parent = null;
RBNode x = this.root; // 从根开始找
while(x != null) {
parent = x;
//a > b 则返回 1,否则返回 -1 ,相等返回0
int cmp = node.key.compareTo(parent.key);
if(cmp < 0) {
x = x.left;
} else if(cmp == 0) {
parent.setValue(node.value); // 相等直接设置value即可
return;
} else {
x = x.right;
}
}
node.parent = parent;
if(parent != null) {
if(node.key.compareTo(parent.key) < 0) { // 看看放左边还是右边
parent.left = node;
} else {
parent.right = node;
}
} else {
this.root = node; // 父节点为空,说明创建的是根
}
//插入之后需要进行修复红黑树,让红黑树再次平衡。
insertFixUp(node);
}
/**
* 插入后修复红黑树平衡的方法
* |---情景1:红黑树为空树,根节点变成黑色即可
* |---情景2:插入节点的key已经存在,不用处理
* |---情景3:插入节点的父节点为黑色,不用处理
*
* 情景4 需要咱们去处理
* |---情景4:插入节点的父节点为红色
* |---情景4.1:叔叔节点存在,并且为红色(父-叔 双红)
* |---情景4.2:叔叔节点不存在,或者为黑色,父节点为爷爷节点的左子树
* |---情景4.2.1:插入节点为其父节点的左子节点(LL情况)
* |---情景4.2.2:插入节点为其父节点的右子节点(LR情况)
* |---情景4.3:叔叔节点不存在,或者为黑色,父节点为爷爷节点的右子树
* |---情景4.3.1:插入节点为其父节点的右子节点(RR情况)
* |---情景4.3.2:插入节点为其父节点的左子节点(RL情况)
*/
private void insertFixUp(RBNode node) {
RBNode parent = parentOf(node);
RBNode gparent = parentOf(parent);
//存在父节点且父节点为红色
if(isRed(parent)) {
//父节点是红色的,那么一定存在爷爷节点
//父节点为爷爷节点的左子树
if(parent == gparent.left) {
RBNode uncle = gparent.right;
//4.1:叔叔节点存在,并且为红色(父-叔 双红)
//将父和叔染色为黑色,再将爷爷染红,并将爷爷设置为当前节点,进入下一次循环判断
if(isRed(uncle)) {
setBlack(parent);
setBlack(uncle);
setRed(gparent);
insertFixUp(gparent);
return;
}
//叔叔节点不存在,或者为黑色,父节点为爷爷节点的左子树
if(uncle == null || isBlack(uncle)) {
//插入节点为其父节点的右子节点(LR情况)=>
//左旋(父节点),当前节点设置为父节点,进入下一次循环
if(node == parent.right) {
leftRotate(parent);
insertFixUp(parent);
return;
}
//插入节点为其父节点的左子节点(LL情况)=>
//变色(父节点变黑,爷爷节点变红),右旋爷爷节点
if(node == parent.left) {
setBlack(parent);
setRed(gparent);
rightRotate(gparent);
}
}
} else {//父节点为爷爷节点的右子树
RBNode uncle = gparent.left;
//4.1:叔叔节点存在,并且为红色(父-叔 双红)
//将父和叔染色为黑色,再将爷爷染红,并将爷爷设置为当前节点,进入下一次循环判断
if(uncle != null && isRed(uncle)) {
setBlack(parent);
setBlack(uncle);
setRed(gparent);
insertFixUp(gparent);
return;
}
//叔叔节点不存在,或者为黑色,父节点为爷爷节点的右子树
if(uncle == null || isBlack(uncle)) {
//插入节点为其父节点的左子节点(RL情况)
//右旋(父节点)得到RR情况,当前节点设置为父节点,进入下一次循环
if(node == parent.left) {
rightRotate(parent);
insertFixUp(parent);
return;
}
//插入节点为其父节点的右子节点(RR情况)=>
//变色(父节点变黑,爷爷节点变红),右旋爷爷节点
if(node == parent.right) {
setBlack(parent);
setRed(gparent);
leftRotate(gparent);
}
}
}
}
setBlack(this.root);
}
/**
* 左旋方法
* 左旋示意图:左旋x节点
* p p
* | |
* x y
* / \ ----> / \
* lx y x ry
* / \ / \
* ly ry lx ly
*
* 左旋做了几件事?
* 1.将y的左子节点赋值给x的右边,并且把x设置为y的左子节点的父节点
* 2.将x的父节点(非空时)指向y,更新y的父节点为x的父节点
* 3.将y的左子节点指向x,更新x的父节点为y
*/
private void leftRotate(RBNode x) {
RBNode y = x.right;
//将y的左子节点赋值给x的右边
x.right = y.left;
//并且把x设置为y的左子节点的父节点
if(y.left != null) {
y.left.parent = x;
}
//将x的父节点(非空时)指向y
if(x.parent != null) {
//如果x是parent左子树,则把y安放到parent的左边
if(x.parent.left == x) {
x.parent.left = y;
} else {//否则把y安放到parent的右边
x.parent.right = y;
}
//更新y的父节点为x的父节点
y.parent = x.parent;
} else {
this.root = y;
this.root.parent = null;
}
y.left = x;
x.parent = y;
}
/**
* 右旋方法
* 右旋示意图:右旋y节点
*
* p p
* | |
* y x
* / \ ----> / \
* x ry lx y
* / \ / \
*lx ly ly ry
*
* 右旋都做了几件事?
* 1.将x的右子节点 赋值 给了 y 的左子节点,并且更新x的右子节点的父节点为 y
* 2.将y的父节点(不为空时)指向x,更新x的父节点为y的父节点
* 3.将x的右子节点指向y,更新y的父节点为x
*/
private void rightRotate(RBNode y) {
//1.将x的右子节点赋值给y的左子节点,并将y赋值给x右子节点的父节点(x右子节点非空时)
RBNode x = y.left;
y.left = x.right;
if(x.right != null) {
x.right.parent = y;
}
//2.将y的父节点p(非空时)赋值给x的父节点,同时更新p的子节点为x(左或右)
x.parent = y.parent;
if(y.parent != null) {
if(y.parent.left == y) {
y.parent.left = x;
} else {
y.parent.right = x;
}
} else {
this.root = x;
this.root.parent = null;
}
//3.将x的右子节点赋值为y,将y的父节点设置为x
x.right = y;
y.parent = x;
}
/**
* 获取当前节点的父节点
*/
private RBNode parentOf(RBNode node) {
if(node != null) {
return node.parent;
}
return null;
}
/**
* node节点是否为红色
* @return boolean true 表示是红色 false 表示不是红色
*/
private boolean isRed(RBNode node) {
if(node != null) {
return node.isColor() == RED;
}
return false;
}
/**
* 设置节点为红色
*/
private void setRed(RBNode node) {
if(node != null) {
node.setColor(RED);
}
}
/**
* 设置节点为黑色
*/
private void setBlack(RBNode node) {
if(node != null) {
node.setColor(BLACK);
}
}
/**
* 中序打印,可以将二叉查找树有顺序的打印出来
*/
public void inOrderPrint() {
if(this.root != null) {
inOrderPrint(this.root);
}
}
private void inOrderPrint(RBNode node) {
if(node != null) {
inOrderPrint(node.left);
System.out.println("key -> " + node.key + ", value -> " + node.value);
inOrderPrint(node.right);
}
}
/**
* node节点是否为黑色
* @return boolean true 表示是黑色 false 表示不是黑色
*/
private boolean isBlack(RBNode node) {
if(node != null) {
return node.isColor() == BLACK;
}
return false;
}
/**
* 红黑树Node
*/
static class RBNode<K extends Comparable<K>, V> {
//颜色
private boolean color;
//左子节点
private RBNode left;
//右子节点
private RBNode right;
//父节点
private RBNode parent;
//key
private K key;
//value
private V value;
public RBNode(boolean color, RBNode left, RBNode right, RBNode parent, K key, V value) {
this.color = color;
this.left = left;
this.right = right;
this.parent = parent;
this.key = key;
this.value = value;
}
public RBNode() {
}
public boolean isColor() {
return color;
}
public void setColor(boolean color) {
this.color = color;
}
public RBNode getLeft() {
return left;
}
public void setLeft(RBNode left) {
this.left = left;
}
public RBNode getRight() {
return right;
}
public void setRight(RBNode right) {
this.right = right;
}
public RBNode getParent() {
return parent;
}
public void setParent(RBNode parent) {
this.parent = parent;
}
public K getKey() {
return key;
}
public void setKey(K key) {
this.key = key;
}
public V getValue() {
return value;
}
public void setValue(V value) {
this.value = value;
}
}
/*****************************************************************************
* Print Method
*****************************************************************************/
public void padding ( String ch, int n ) {
int i;
for ( i = 0; i < n; i++ )
System.out.printf(ch);
}
void print_node (RBNode root, int level ) {
if ( root == null ) {
padding ( "\t", level );
System.out.println( "NIL" );
} else {
print_node ( root.right, level + 1 );
padding ( "\t", level );
if(root.color == BLACK) {
System.out.printf(root.key + "(" + (root.isColor() ? "红" : "黑") +")" + "\n");
} else
System.out.printf(root.key + "(" + (root.isColor() ? "红" : "黑") +")" + "\n");
print_node ( root.left, level + 1 );
}
}
void print_tree() {
print_node(this.root,0);
System.out.printf("-------------------------------------------\n");
}
}