数据结构系列（5）之 红黑树

时间  2019-12-13
标签 数据 结构 系列 繁體版
原文   原文链接

本文将主要讲述平衡二叉树中的红黑树，红黑树是一种咱们常用的树，相较于 AVL 树他不管是增长仍是删除节点，其结构的变化都能控制在常树次；在 JDK 中的 TreeMap 一样也是使用红黑树实现的；java

1、结构概述

红黑树是在AVL 树平衡条件的基础上，进一步放宽条件，从而使得红黑树在动态变化的时候，其结构的变化在常数次；其标准大体能够表示为； 任一节点左、右子树的高度，相差不得超过两倍。node

同他的名字，红黑树的节点是有颜色的，如图所示：学习

rbtree

其性质以下：this

  • 树根始终为黑色
  • 外部节点均为黑色（图中的 leaf 节点，一般在表述的时候会省略）
  • 红色节点的孩子节点必为黑色（一般插入的节点为红色）
  • 从任一外部节点到根节点的沿途，黑节点的数目相等

（2,4）B 树，若是将红黑树的红色节点和其父节点合并为一个超级节点，则其结构和（2，4）B 树 的结构彻底同样，因此在学习红黑树的时候，能够对照 B 的转换方法，帮助理解；3d

public class RBTree<T extends Comparable<T>> {  
  private static final boolean RED = false;
  private static final boolean BLACK = true;
  private RBTNode<T> root;  // 根结点

  public class RBTNode<T extends Comparable<T>> {
    boolean color;      // 颜色
    T key;              // 关键字(键值)
    RBTNode<T> left;    // 左孩子
    RBTNode<T> right;   // 右孩子
    RBTNode<T> parent;  // 父结点
  }
}

2、红重平衡

由于一般状况下插入的节点会标记为红色，那么就有可能致使两个红色的节点练成父子，因此须要经过一下方法修复；code

1. RR-1

rbtreerr1

如图所示，若是插入的红色节点和父节点一块儿组成了3个关键码的超级节点，在 B 树的角度上则只须要从新标记颜色，使黑色节点位于中间便可；表如今红黑树中就须要进行旋转操做，如图：blog

双红节点同边：rem

rbtreerr1

  • 如图中，两个红色节点都是左孩子或者都是右孩子时
  • 只须要旋转其祖父节点
  • 而后祖父节点和其父节点反转颜色便可


双红节点异边：class

rbtreerr1

  • 如图中， 两个红色节点是异边的时候
  • 首先须要旋转父节点，转为上面同边的状况，在旋转其祖父节点；
  • 而后祖父节点和其父节点反转颜色便可

其实在这里若是忽略颜色，其旋转操做就可 AVL 树是同样的；那么在实现的时候一样可使用以前讲过的 3+4 重构；基础

1. RR-2

rbtreerr2

如图所示，若是红色节点上移后，同其父节点组成的超级节点是4个关键码，则发生了上溢，须要将其分裂为两个节点；但此时表如今红黑树上其结构并未发生变化，因此只须要从新染色便可；

  • 如图所示，若是父亲是红色节点，同时叔父也是红色节点，此时就构成了4个关键码的超级节点
  • 这个时候只须要将父亲节点和叔父节点变成黑色，祖父节点变红便可；

如图所示：

rbtreerr2


3、黑重平衡

当删除黑节点的时候，会使得该分支的黑高度下降，从而不知足每一个分支的黑高度相等，因此下面将删除黑节点分红几种状况进行修复；

1. BB-1

rbtreebb1

当删除的节点是黑色节点，且其兄弟节点是黑色，同时有红孩子的时候；若是转化为 （2,4）B 树：

rbtreebb1

如图所示：

  • 图中的绿色节点，表示颜色任意；
  • 若是将以状况看做是 B 树，则至关于删除 x 节点后，使得该节点关键码不足，发生下溢；因而经过旋转父节点向其兄弟节点借一个关键码；
  • 对于红黑树则是，旋转父节点，同时相同位置的颜色保持不变；


2. BB-2-R

若是父节点是红色，有黑色兄弟节点，而且没有红色孩子：

rbtreebb2r

转化为 （2,4）B 树：

rbtreebb2r

如图所示，

  • 此时至关于删除黑色节点，使得该节点的关键码不足，发生下溢
  • 同时兄弟节点没有红色孩子，没办法借出，因此只能从父节点以一个关键码合并两个孩子节点；
  • 同时父节点为红色，借出一个关键码后，其黑高度不变；
  • 在红黑树中则为删除的位置由父节点代替，而且兄弟姐弟节点变红；总体结构不变；


3. BB-2-B

若是父节点是黑色，有黑色兄弟节点，而且没有红色孩子：

rbtreebb2r

转化为 （2,4）B 树：

rbtreebb2b

如图所示：

  • 总体状况和 bb-2-r 同样，可是其父节点为黑色；
  • 也就是在父节点借出一个节点后，父节点会继续发生下溢；并根据状况再次判断调整；可是下溢总体不会超过O(logn) 次；


4. BB-3

若是父节点是黑色，有红色兄弟节点：

rbtreebb3

转化为 （2,4）B 树：

rbtreebb3

如图所示：

  • 若是有黑色父节点，且兄弟节点为红色；
  • 则至关于能够从兄弟节点借一个节点，同时结构不会改变；
  • 对于红黑树而言，至关于旋转父节点，同时父节点和兄弟节点变色；


3、实现

1. 查找

private RBTNode<T> search(RBTNode<T> x, T key) {
  if (x == null) return x;
  int cmp = key.compareTo(x.key);
  if (cmp < 0)
    return search(x.left, key);
  else if (cmp > 0)
    return search(x.right, key);
  else
    return x;
}

2. 插入

public void insert(T key) {
  insert(new RBTNode<T>(key, BLACK, null, null, null));
}
  
private void insert(RBTNode<T> node) {
  int cmp;
  RBTNode<T> y = null;
  RBTNode<T> x = this.root;

  // 1. 将红黑树看成一颗二叉查找树，将节点添加到二叉查找树中。
  while (x != null) {
    y = x;
    cmp = node.key.compareTo(x.key);
    if (cmp < 0)
      x = x.left;
    else
      x = x.right;
  }

  node.parent = y;
  if (y != null) {
    cmp = node.key.compareTo(y.key);
    if (cmp < 0)
      y.left = node;
    else
      y.right = node;
  } else {
    this.root = node;
  }

  // 2. 设置节点的颜色为红色
  node.color = RED;

  // 3. 将它从新修正为一颗二叉查找树
  insertFixUp(node);
}
  
private void insertFixUp(RBTNode<T> node) {
  RBTNode<T> parent, gparent;

  // 若“父节点存在，而且父节点的颜色是红色”
  while (((parent = parentOf(node)) != null) && isRed(parent)) {
    gparent = parentOf(parent);

    //若“父节点”是“祖父节点的左孩子”
    if (parent == gparent.left) {
      // Case 1条件：叔叔节点是红色
      RBTNode<T> uncle = gparent.right;
      if ((uncle != null) && isRed(uncle)) {
        setBlack(uncle);
        setBlack(parent);
        setRed(gparent);
        node = gparent;
        continue;
      }

      // Case 2条件：叔叔是黑色，且当前节点是右孩子
      if (parent.right == node) {
        RBTNode<T> tmp;
        leftRotate(parent);
        tmp = parent;
        parent = node;
        node = tmp;
      }

      // Case 3条件：叔叔是黑色，且当前节点是左孩子。
      setBlack(parent);
      setRed(gparent);
      rightRotate(gparent);
    } else {  //若“z的父节点”是“z的祖父节点的右孩子”
      // Case 1条件：叔叔节点是红色
      RBTNode<T> uncle = gparent.left;
      if ((uncle != null) && isRed(uncle)) {
        setBlack(uncle);
        setBlack(parent);
        setRed(gparent);
        node = gparent;
        continue;
      }

      // Case 2条件：叔叔是黑色，且当前节点是左孩子
      if (parent.left == node) {
        RBTNode<T> tmp;
        rightRotate(parent);
        tmp = parent;
        parent = node;
        node = tmp;
      }

      // Case 3条件：叔叔是黑色，且当前节点是右孩子。
      setBlack(parent);
      setRed(gparent);
      leftRotate(gparent);
    }
  }
}
  
/*
 * 对红黑树的节点(x)进行左旋转
 *
 * 左旋示意图(对节点x进行左旋)：
 *      px                  px
 *     /                   /
 *    x                   y
 *   /  \    --(左旋)-.   / \        #
 *  lx   y              x  ry
 *   /   \             /  \
 *  ly   ry           lx  ly
 *
 *
 */
private void leftRotate(RBTNode<T> x) {
  // 设置x的右孩子为y
  RBTNode<T> y = x.right;

  // 将 “y的左孩子” 设为 “x的右孩子”；
  // 若是y的左孩子非空，将 “x” 设为 “y的左孩子的父亲”
  x.right = y.left;
  if (y.left != null)
    y.left.parent = x;

  // 将 “x的父亲” 设为 “y的父亲”
  y.parent = x.parent;

  if (x.parent == null) {
    this.root = y;      // 若是 “x的父亲” 是空节点，则将y设为根节点
  } else {
    if (x.parent.left == x)
      x.parent.left = y;  // 若是 x是它父节点的左孩子，则将y设为“x的父节点的左孩子”
    else
      x.parent.right = y;  // 若是 x是它父节点的左孩子，则将y设为“x的父节点的左孩子”
  }

  // 将 “x” 设为 “y的左孩子”
  y.left = x;
  // 将 “x的父节点” 设为 “y”
  x.parent = y;
}

/*
 * 对红黑树的节点(y)进行右旋转
 *
 * 右旋示意图(对节点y进行左旋)：
 *         py                      py
 *         /                       /
 *        y                       x
 *       /  \    --(右旋)-.      /  \           #
 *      x   ry                 lx   y
 *     / \                    / \           #
 *    lx  rx                 rx  ry
 *
 */
private void rightRotate(RBTNode<T> y) {
  // 设置x是当前节点的左孩子。
  RBTNode<T> x = y.left;

  // 将 “x的右孩子” 设为 “y的左孩子”；
  // 若是"x的右孩子"不为空的话，将 “y” 设为 “x的右孩子的父亲”
  y.left = x.right;
  if (x.right != null)
    x.right.parent = y;

  // 将 “y的父亲” 设为 “x的父亲”
  x.parent = y.parent;

  if (y.parent == null) {

    this.root = x;      // 若是 “y的父亲” 是空节点，则将x设为根节点
  } else {
    if (y == y.parent.right)
      y.parent.right = x;  // 若是 y是它父节点的右孩子，则将x设为“y的父节点的右孩子”
    else
      y.parent.left = x;  // (y是它父节点的左孩子) 将x设为“x的父节点的左孩子”
  }

  // 将 “y” 设为 “x的右孩子”
  x.right = y;

  // 将 “y的父节点” 设为 “x”
  y.parent = x;
}

3. 删除

public void remove(T key) {
  RBTNode<T> node;
  if ((node = search(root, key)) != null)
    remove(node);
}
  
private void remove(RBTNode<T> node) {
  RBTNode<T> child, parent;
  boolean color;

  // 被删除节点的"左右孩子都不为空"的状况。
  if ((node.left != null) && (node.right != null)) {
    // 被删节点的后继节点。(称为"取代节点")
    // 用它来取代"被删节点"的位置，而后再将"被删节点"去掉。
    RBTNode<T> replace = node;

    // 获取后继节点
    replace = replace.right;
    while (replace.left != null)
      replace = replace.left;

    // "node节点"不是根节点(只有根节点不存在父节点)
    if (parentOf(node) != null) {
      if (parentOf(node).left == node)
        parentOf(node).left = replace;
      else
        parentOf(node).right = replace;
    } else {
      // "node节点"是根节点，更新根节点。
      this.root = replace;
    }

    // child是"取代节点"的右孩子，也是须要"调整的节点"。
    // "取代节点"确定不存在左孩子！由于它是一个后继节点。
    child = replace.right;
    parent = parentOf(replace);
    // 保存"取代节点"的颜色
    color = colorOf(replace);

    // "被删除节点"是"它的后继节点的父节点"
    if (parent == node) {
      parent = replace;
    } else {
      // child不为空
      if (child != null)
        setParent(child, parent);
      parent.left = child;

      replace.right = node.right;
      setParent(node.right, replace);
    }

    replace.parent = node.parent;
    replace.color = node.color;
    replace.left = node.left;
    node.left.parent = replace;

    if (color == BLACK)
      removeFixUp(child, parent);

    node = null;
    return;
  }

  if (node.left != null) {
    child = node.left;
  } else {
    child = node.right;
  }

  parent = node.parent;
  // 保存"取代节点"的颜色
  color = node.color;

  if (child != null)
    child.parent = parent;

  // "node节点"不是根节点
  if (parent != null) {
    if (parent.left == node)
      parent.left = child;
    else
      parent.right = child;
  } else {
    this.root = child;
  }

  if (color == BLACK)
    removeFixUp(child, parent);
  node = null;
}

private void removeFixUp(RBTNode<T> node, RBTNode<T> parent) {
  RBTNode<T> other;

  while ((node == null || isBlack(node)) && (node != this.root)) {
    if (parent.left == node) {
      other = parent.right;
      if (isRed(other)) {
        // Case 1: x的兄弟w是红色的
        setBlack(other);
        setRed(parent);
        leftRotate(parent);
        other = parent.right;
      }

      if ((other.left == null || isBlack(other.left)) &&
          (other.right == null || isBlack(other.right))) {
        // Case 2: x的兄弟w是黑色，且w的俩个孩子也都是黑色的
        setRed(other);
        node = parent;
        parent = parentOf(node);
      } else {

        if (other.right == null || isBlack(other.right)) {
          // Case 3: x的兄弟w是黑色的，而且w的左孩子是红色，右孩子为黑色。
          setBlack(other.left);
          setRed(other);
          rightRotate(other);
          other = parent.right;
        }
        // Case 4: x的兄弟w是黑色的；而且w的右孩子是红色的，左孩子任意颜色。
        setColor(other, colorOf(parent));
        setBlack(parent);
        setBlack(other.right);
        leftRotate(parent);
        node = this.root;
        break;
      }
    } else {

      other = parent.left;
      if (isRed(other)) {
        // Case 1: x的兄弟w是红色的
        setBlack(other);
        setRed(parent);
        rightRotate(parent);
        other = parent.left;
      }

      if ((other.left == null || isBlack(other.left)) &&
          (other.right == null || isBlack(other.right))) {
        // Case 2: x的兄弟w是黑色，且w的俩个孩子也都是黑色的
        setRed(other);
        node = parent;
        parent = parentOf(node);
      } else {

        if (other.left == null || isBlack(other.left)) {
          // Case 3: x的兄弟w是黑色的，而且w的左孩子是红色，右孩子为黑色。
          setBlack(other.right);
          setRed(other);
          leftRotate(other);
          other = parent.left;
        }

        // Case 4: x的兄弟w是黑色的；而且w的右孩子是红色的，左孩子任意颜色。
        setColor(other, colorOf(parent));
        setBlack(parent);
        setBlack(other.left);
        rightRotate(parent);
        node = this.root;
        break;
      }
    }
  }

  if (node != null) setBlack(node);
}

总结

  • 对于红黑树增长和删除的状况特别的多，不是特别好理解，因此这一部分最好对应 B 树，上溢和下溢的修复
相关文章
相关标签/搜索
每日一句
    每一个你不满意的现在，都有一个你没有努力的曾经。
本站公众号
   欢迎关注本站公众号,获取更多信息
联系我们 最近搜索 最新文章 沪ICP备13005482号-10 MyBatis教程 SQL 教程 MySQL教程 Java 教程 Thymeleaf 教程 Hibernate教程 Spring教程 Redis教程