红黑树

红黑树是自平衡二进制搜索树的类别。它由鲁道夫·拜耳(Rudolf Bayer)于1972年创建，他将其称为“对称二叉B树” 。

红黑树是二叉树，其中特定节点具有颜色作为额外属性，无论是红色还是黑色。通过检查从根到叶的任何简单路径上的节点颜色，红黑树确保该路径的长度不超过其他任何路径的两倍，因此树通常是平衡的。

红黑树的性质

红黑树必须满足以下属性：

• 根始终是黑色的。
• 零被识别为黑色。每个非NIL节点都有两个子节点的原因。
• 黑色子规则：任何红色节点的子都是黑色。
• 黑色高度规则：对于特定的节点v，存在整数bh(v)，这样从v到nil的特定向下路径具有正确的bh(v)黑色实(即非零)节点。将此部分称为v的黑色高度。我们将RB树的黑色高度确定为其根的黑色高度。

如果树的根是红色，则树T几乎是一棵红黑树(ARB树)，但是上面的其他条件成立。

RB树上的操作：

搜索树操作TREE-INSERT和TREE-DELETE在带有n个键的红黑树上运行时，花费O(log n)时间。因为他们自定义树，所以结论可能违反了红黑色属性。要恢复这些属性，我们必须更改树中某些节点的颜色，并更改指针结构。

1.轮播：

红黑树上的重组操作通常可以在旋转操作的细节中更清楚地表达。

显然，旋转操作会保留顺序(Ax C)。因此，如果我们从BST开始并且仅使用旋转进行重组，那么我们将仍然具有BST，即旋转不会破坏BST属性。

示例：在键{1,2,3 … 15}上绘制高度为3的完整二叉树。添加NIL叶子并以三种不同的方式为节点着色，以使生成的树的黑色高度为：2、3和4。

解：

黑高2的树

黑高3树

黑高4树

2.插入：

• 按照在“二进制搜索树”中的完成方式插入新节点。
• 将节点涂成红色
• 如果红黑树发生不一致，请根据差异类型修复树。

差异可以由父母和孩子都有红色决定。这种类型的差异取决于与祖父母有关的节点的位置以及父级的同级的颜色。

在插入新节点之后，将此新节点着色为黑色可能会违反黑色高度条件，而将此新节点着色为红色可能会违反着色条件，即根为黑色，红色节点没有红色子节点。我们知道违反黑高度的规定很难。因此，我们将节点涂成红色。此后，如果有任何颜色冲突，那么我们必须通过RB-INSERT-FIXUP过程进行纠正。

示例：显示在将键41、38、31、12、19、8依次插入到最初为空的红黑树之后生成的红黑树。

插入41

插入19

因此，最后一棵树是

3.删除：

首先，搜索要删除的元素

• 如果要删除的元素位于只有左子节点的节点中，请将该节点与包含左子树中最大元素的节点交换。 (此节点没有合适的孩子)。
• 如果要删除的元素在只有右子节点的节点中，请将该节点与包含右子树中最小元素的节点交换(该节点没有左子节点)。
• 如果要删除的元素在同时具有左子节点和右子节点的节点中，则可以通过以上两种方式中的任何一种进行交换。交换时，仅交换键，而不交换颜色。
• 现在，要删除的项目只有一个左孩子或只有一个右孩子。将此节点替换为其唯一的子节点。这可能违反红色约束或黑色约束。违反红色约束的问题很容易解决。
• 如果删除的节点为黑色，则违反黑色约束。消除黑色节点y会导致包含y的任何路径的黑色节点减少一个。
• 出现两种情况：
  • 替换节点为红色，在这种情况下，我们仅将其着色为黑色即可弥补一个黑色节点的损失。
  • 替换节点为黑色。

策略RB-DELETE是对TREE-DELETE程序的微小更改。拼接节点后，它会调用辅助过程RB-DELETE-FIXUP，该过程会更改颜色并执行旋转操作以恢复红黑色属性。

示例：在前面的示例中，我们发现了红黑树是由于将键41、38、31、12、19、8依次插入到最初为空的树中而产生的。现在显示成功删除键顺序为8、12、19、31、38、41的红黑树。

解：

删除38

删除41

没有树。