- 红黑树本质是一个二叉搜索树(BST),了解红黑树之前需要先了解 BST 的特性
- BST 的特性只有一个:在 BST 中,任何一个根节点都大于等于所有 left children,都小于所有 right children,依据这一特性,BST 可以推出以下特性:
- BST 中序遍历的结果为一个有序的列表
- 查找 key:从根节点查找,小于当前节点再从left child 开始查找,大于当前节点则从right child 开始查找,直到查找到或者到叶子结点为止
- 最小值:二叉树的最左节点
- 最大值:二叉树的最大节点
- 前驱:
- 如果有left child,则为以left child 为根的最大值
- 如果没有 left child,再判断当前节点是否为root
- 如果是,没有前驱
- 如果不是,找到当前节点为 parent 的 right child 的那个 parent 节点,如果没有那个 parent,就没有前驱
- 后继:
- 如果有right child,则为以right child 为根的最小值
- 如果没有 right child,再判断当前节点是否为root
- 如果是,没有后继
- 如果不是,找到当前节点为 parent 的 left child 的那个 parent 节点,如果没有那个 parent,就没有后继
- 插入操作:要插入的 key 小于等于当前节点以 left child 为当前节点继续递归插入,要插入的 key 小于当前节点以right child 为当前节点继续递归插入,直到 child 为null 位置,child 为null 的位置就是要插入的位置。
- 删除操作:
- 如果要删除的节点没有 child,直接删除
- 如果只有一个 child,用 child 代替要删除的节点
- 如果有两个 child,找到后继节点,用后继节点的 key 替换要删除的那个节点的 key,接着递归删除后继节点操作
- BST 的特性只有一个:在 BST 中,任何一个根节点都大于等于所有 left children,都小于所有 right children,依据这一特性,BST 可以推出以下特性:
- 了解红黑树之前,还需要知道两个操作,左旋和右旋
- 左旋:以parent 为支点,原parent 变成 原 right child 的 left child,原 right child 变成 parent,原 right child 的 left child 变成原parent 的 right child,左旋完成后 BST 的特性不变
- 右旋:以parent 为支点,原parent 变成 原 left child 的right child,原 left child 变成 parent,原 left child 的 right child 变成原parent 的 left child,右旋完成后 BST 的特性不变
- 红黑树特性
- 每个 node 只能是 red 或 black
- 根节点是black
- leaf 节点数据为 NIL 且每个 leaf 结点是 black
- 如果一个 node 是 red,则它的 children 必须是 black
- 从一个 node 到其 children 的所有路径上包含相同的 black node 数量
- 红黑树操作 -- 添加:
- 将红黑树视为 BST,将节点插入
- 将插入的节点标记为 red
- 通过一系列插入修正操作,使之重新成为一颗红黑树
- 红黑树操作 -- 添加时的插入修正操作:红黑树添加得第3步的具体插入修正操作可以分成3类:
- 被插入的节点是根节点:直接标记为 black
- 被插入的节点的 parent 节点是 black:什么都不做
- 被插入的节点的 parent 是 red:此时,又可根据 uncle 节点来分为3类操作
- 当前节点的 parent 节点是红色,且 uncle 节点也是红色,操作流程为:
- 将 parent 和 uncle 标为黑色
- 将 grandparent 标为 红色
- 以 grandparent 为当前节点继续递归修正
- 当前节点的 parent 是 red,且是其 parent 的 left child,uncle 是 black ,操作流程为:
- 将 parent 设置为 black
- 将 grandparent 标为 red
- 以 grandparent 为支点右旋
- 当前节点的 parent 是红色,且是其 parent 的 right child,操作流程为:
- 以 parent 为支点进行左旋
- 左旋完成后变成情况2,按情况2 继续调整即可
- 当前节点的 parent 节点是红色,且 uncle 节点也是红色,操作流程为:
- 红黑树操作 -- 删除:
- 将红黑树视为一个 BST 来删除节点,这有3类情况:
- 待删除的节点是 red,直接删除即可
- 待删除的节点是 black,要顶替的节点是 red, 先删除,然后将要顶替的节点变成 black 即可
- 待删除的节点是 black,要顶替的节点也是 black,此时先删除,然后以要顶替的节点 为 x,通过一系列删除修正操作,使之重新成为一颗红黑树
- 将红黑树视为一个 BST 来删除节点,这有3类情况:
- 红黑树操作 -- 删除修正:红黑树的删除修正可分为以下 6 种情况:
- x 是 root 节点,什么都不用做
- x 的 parent、sibling、nephews 都是 black
- 把 x 的 sibling 变成 red 即可
- 以 x 的 parent 为当前节点继续递归进行删除修正操作
- x 的 parent 是 red,sibling 和 nephews 是 black
- 将 parent 变成 black,此时变成了情况1,再按情况1 继续调整即可
- x 的 parent 颜色随意,sibling 是 black,sibling 的 right child 是 red
- 以 x 的 parent 为支点左旋
- 原 parent 和 原 sibling 颜色交换,原 sibling 的 right child 变为 black
- x 的 parent 颜色随意,sibling 是 black,sibling 的 left child 是 red
- 以 sibling 为支点右旋,
- 原 sibling 标为 red,原 sibling 的 left child 标为 black
- 此时变成了情况3,再按情况3 继续调整即可
- x 的 sibling 是 red
- 以 x 的 parent 为支点进行左旋