Red-Black Tree

红黑树可保证：在每次插入或删除之后的重平衡过程中，全树拓扑结构的更新仅涉及常数个节点。

红黑树满足如下条件：（外部节点为空的假节点）

1. 树根始终为黑色。
2. 外部节点均为黑色。
3. 其余节点若为红色，则其孩子节点必为黑色。
4. 从任一外部节点到根节点的沿途，黑节点数目相等。（外部节点黑深度统一）

---

红黑树的高度不超过黑高度的两倍。

插入

创建一个红节点。

双红修正。

• RR-1
  • 插入节点 x 的父节点 p 的兄弟节点 u 为黑节点
  • 做“3+4”重构（不用考虑 u）

    “3+4"重构

    考虑失衡节点 x、父节点 p、祖父节点 g，它们共有4棵子树 T0~T3。

    将 x、p、g 按大小排列，得到 a、b、c 。

    重构结果为

    

     

•  RR-2
  • u 为红节点
  • 将 p，u 染黑，g 染红。
  • 将 g 等效地视作新插入的节点，检查上一层是否有双红。（至多迭代 O(log n) 次）
  • 若最后导致原树根分裂，g 成为新树根，则应将 g 染红。
• 复杂度不超过 O(log n)。