红黑树——删除操作

由红黑树类比于四阶B树可知

在删除操作中

B树中，真正删除的元素都在叶子节点中

 一、删除-RED节点

直接删除不用做任何的调整

二、删除BLACK节点

（1）拥有2个RED子节点的black节点

不可能直接被删除，因为会找它的子节点替代删除

（2）拥有1个red子节点的black节点

判定条件：用以替代的子节点是red

将替代的子节点染成black即可保持红黑树性质

（3）删除black叶子节点

black叶子节点被删除后，会导致B树节点下溢

1.

判定条件：如果sibling（兄弟节点）至少有1个 red子节点

进行旋转操作

 2.

判定条件：sibling没有一个red子节点

将sibling染成red，parent染成black即可修复红黑树性质

如果parent是black，会导致parent也下溢，这是只需要把parent当做被删除的节点处理即可

3.

如果sibling是red

sibling染成black，parent染成red，进行旋转

于是又回到sibling是black的情况

 伪代码：

    protected void afterRemove(Node<E> node) {

        // 如果删除的节点是红色

        // 或者 用以取代删除节点的子节点是红色

        if (isRed(node)) {

            black(node);

            return;

        }

       

        Node<E> parent = node.parent;

        // 删除的是根节点

        if (parent == null) return;

       

        // 删除的是黑色叶子节点【下溢】

        // 判断被删除的node是左还是右

        boolean left = parent.left == null || node.isLeftChild();

        Node<E> sibling = left ? parent.right : parent.left;

        if (left) { // 被删除的节点在左边，兄弟节点在右边

            if (isRed(sibling)) { // 兄弟节点是红色

                black(sibling);

                red(parent);

                rotateLeft(parent);

                // 更换兄弟

                sibling = parent.right;

            }

           

            // 兄弟节点必然是黑色

            if (isBlack(sibling.left) && isBlack(sibling.right)) {

                // 兄弟节点没有1个红色子节点，父节点要向下跟兄弟节点合并

                boolean parentBlack = isBlack(parent);

                black(parent);

                red(sibling);

                if (parentBlack) {

                    afterRemove(parent);

                }

            } else { // 兄弟节点至少有1个红色子节点，向兄弟节点借元素

                // 兄弟节点的左边是黑色，兄弟要先旋转

                if (isBlack(sibling.right)) {

                    rotateRight(sibling);

                    sibling = parent.right;

                }

               

                color(sibling, colorOf(parent));

                black(sibling.right);

                black(parent);

                rotateLeft(parent);

            }

        } else { // 被删除的节点在右边，兄弟节点在左边

            if (isRed(sibling)) { // 兄弟节点是红色

                black(sibling);

                red(parent);

                rotateRight(parent);

                // 更换兄弟

                sibling = parent.left;

            }

           

            // 兄弟节点必然是黑色

            if (isBlack(sibling.left) && isBlack(sibling.right)) {

                // 兄弟节点没有1个红色子节点，父节点要向下跟兄弟节点合并

                boolean parentBlack = isBlack(parent);

                black(parent);

                red(sibling);

                if (parentBlack) {

                    afterRemove(parent);

                }

            } else { // 兄弟节点至少有1个红色子节点，向兄弟节点借元素

                // 兄弟节点的左边是黑色，兄弟要先旋转

                if (isBlack(sibling.left)) {

                    rotateLeft(sibling);

                    sibling = parent.left;

                }

               

                color(sibling, colorOf(parent));

                black(sibling.left);

                black(parent);

                rotateRight(parent);

            }

        }