红黑树、B树、234树

最新推荐文章于 2024-03-31 02:05:33 发布

未知吗

最新推荐文章于 2024-03-31 02:05:33 发布

阅读量1.7k

点赞数

分类专栏：算法文章标签：算法

本文链接：https://blog.csdn.net/weizhijava/article/details/121286785

版权

算法专栏收录该内容

1 篇文章 0 订阅

订阅专栏

本文深入探讨了红黑树的插入与删除操作，详细解析了其保持平衡的策略，包括旋转和颜色调整。同时，介绍了B树的特性、插入与删除过程，强调了B树在保持数据分布平衡上的处理。通过对比，展示了两种数据结构在实际应用中的差异和选择依据。

摘要由CSDN通过智能技术生成

一、红黑树

特性：1.每个节点是黑色或者红色的

2.根节点是黑色的

3.每个叶节点（NIL）是黑色的

4.不能有相连的红色节点

5.对每个节点，从该节点到其所有叶节点的路径上，均包含相同数量的黑色节点。

红黑树插入：

详细插入：

接上

插入总结：

1.插入红节点（如果黑节点就会出现链表情况，不违反红黑树的特性）

2.待插入节点z与父节点p冲突。

2.1 叔节点u为红色。则需将爷爷节点pp变红，p和u变红。且将pp标记为新的z

2.2 u为黑色。则需要旋转（以z的父节点为轴旋转）。并将父节点p标记为新的z

3.一次以p的旋转必然伴随着一次以pp的旋转。（当z与p与pp同一条线即同一侧，则直接以pp旋转一次即可）

4.循环的修复红黑树的特性，目标是修复到z.p.color为黑色的时候退出循环

红黑树删除（比较复杂，引入算法导论中伪代码与图形）：

1.位置替换伪代码：

/**
 *    只是处理了u.p的指针指向。在外部还需手动处理v的子类指针
 **/
RB-TRANSPLANT(T, u, v) {
    if(u.p == T.nil) {
        T.root = v
    }
    else if (u == u.p.left) {
        u.p.left = v
    }
    else 
        u.p.right = v
    v.p = u.p
}

2. 删除伪代码：

RB-DELETE(T, z) {
    y = z
    y-original-color = y.color
    if (z.left == T.nil) {
        x = z.right
        RB-TRANSPLANT(T, z, z.right)
    } else if (z.right == T.nil) {
        x = z.left
        RB-TRANSPLANT(T, z, z.left);
    } else {
        y = TREE-MINIMUM(z.right) // z的后继节点
        y-original-color = y.color
        x = y.right
        if (y.p == z) { // y为z的右子节点，且是后继节点
            x.p = y
            // z被y替换时。y的右节点不需要处理。左节点需要自处理
        }
        else {
            RB-TRANSPLANT(T, y, y.right) 
            // 为z被y替换处理，子节点需要自处理。左右节点都需要处理
            y.right = z.right 
            y.right.p = y
        } 
        RB-TRANSPLANT(T, z, y)
        // z被y替换之后，子节点的自处理。此处只需要处理左节点
        y.left = z.left
        y.left.p = y
        y.color = z.color // 将y置为z的color.最终影响树性质的，决定权在y的原始颜色，y-original-color
    }
    // z只存在一个子节点的时候。y==z。y == z.color.影响树的性质，依然由y-original-color控制
    if (y-original-color == BLACK) {
        RB-DELETE-FIXUP(T, x)
    }

}

3.删除-红黑树性质修复伪代码：

y的原始颜色y-original-color==RED时。

1.黑高不会变换。

2.y一定不是根节点，所以根节点依然是黑色

3.y只存在一个子节点的时候，y == z 。z被y的唯一子节点代替，无任何改变红黑树性质的可能。

4.y存在两个子节点，且y为z的右子节点时，即y也是z的后继节点。后继节点必然为其右子树中最小的，且y不存在左节点了。y为红色则y.right一定为黑色。y.right替换掉y之后红黑树性质也不可能冲突。

y的原始颜色y-original-color==BLACK时。

1.y为根节点，则其子节点替换，根节点就变红色，则违反了性质2。

2.删除之后，x与x.p(删除之前y.p)都为红色。则违反了性质4

3.将包含y的任一子树的黑节点个数都少一。因此y的任何祖先都补满足性质5。针对这一情况，算法导论中的处理方式为：将y的黑色下方到x，x为红色（自身黑属性+下方红），黑色（自身黑属性+下方黑色），x多出来的黑色并不是体现在x的color属性上，而是针对的x节点。包含x的子树中，x共享了一重黑色，或则两重黑色，从而保证了性质5。但是x却违反了性质1。

RB-DELETE-FIXUP：

RB-DELETE-FIXUP(T, x) {
    while (x != T.root && x.color == BLACK) {
        // x作为左节点
        if (x == x.p.left) {
            // x的兄弟节点w
            w = x.p.right
            // 情况1：x的兄弟结点w为红色，x.p.color必然为黑色。
            // 为保证红黑树的特性，可以将x.p与w的颜色改变
            // 接着以x.p为轴左转，并不会影响特性。就变成情况2，3，4
            if (w.color == RED) {
                w.color = BLACK
                x.p.color = RED
                LEFT-ROTATE(T, x.p)
                w = x.p.right
            }
            // 经过情况1的过滤：2，3，4的w必然是为黑色的
            // 情况2：w黑色，w的两个子节点都是黑色的
            // 将x上移至x.p，则w子树就会随着x多了一层黑，则需将w变红
            if (w.left.color == BLACK && w.right.color == BLACK) {
                x = x.p // 如果是情况1过来的，则此时x为红黑色，x.color = RED。所以得退出循环，并将x.color = BLACK
                w.color = RED
            } 
            // 情况3：w黑色， w左孩子红色，w的有孩子为黑色
            // 交换w.left和w的颜色，并以w向右旋转。则特性不会变。并将w置为x.p.right.
            // 情况3就变为情况4了
            else if (w.right.color == BLACK) {
                w.left.color = BLACK
                w.color = RED
                RIGHT-ROTATE(T, w)
                w = x.p.right
            }
            // 情况4：w黑色，w的右孩子是红色的
            // 将x.p、w、w.right的颜色变换，并以x.p为轴向左旋转，即可保证特性，也可顺带去掉x的多一层黑色。
            else {
                // w与x.p的颜色交换
                // 以x.p为轴旋转，则w子树必然少一个黑，所以将w.right置黑。
                // 而x所在子树因转来个x.p的黑节点，则多一黑，刚好x的颜色多了黑直接去掉
                // x置为root 退出循环。
                w.color = x.p.color 
                x.p.color = BLACK 
                w.right.color = BLACK
                LEFT-ROTATE(T, x.p)
                x = T.root
            }
            
        }
    }
    x.color = BLACK
}

4.删除-图形示例：