Красное-чёрное дерево

Пример КЧД

Красно-чёрное дерево(англ. red-black tree) - самобалансирующееся бинарное дерево поиска (англ. Binary Search Tree, BST) со следующими свойствами:

1. Каждая вершина имеет цвет: красный или чёрный
2. Корень дерева - чёрный
3. У каждой нелистовой вершины ровно два ребёнка
4. Все листья чёрные и фиктивные
5. У красной вершины оба ребёнка чёрные
6. Чёрная высота каждой вершины определена корректно

Чёрная высота

На пути от любой вершины красно-чёрного дерева до её потомка-листа одинаковое количество чёрных вершин.

Чёрная высота вершины $x$ (Обозначаем $bh(x)$) - количество чёрных вершин на пути от $x$ до любого её потомка-листа, не считая самого $x$.

Лемма 1

В поддереве вершины $x$ как минимум $2^{bh(x)} - 1$ вершин.

[развернуть]

Доказательство

Пусть $c(x)$ - количество вершин в поддереве x.

Индукция по $h(x)$:

• База: $h(x) = 0$ - очевидное отверждение
• Переход:
  К потомкам $x$ - $y$ и $z$ применимо предположение индукции.
  Заметим также, что $bh(y) \geq bh(x) - 1$ и $bh(z) \geq bh(x) - 1$.
  Тогда $c(x) \geq 1 + 2^{bh(y)} - 1 + 2^{bh(z)} - 1 \geq 2^{bh(x) - 1} + 2^{bh(x) - 1} - 1 \eq 2^{bh(x)} - 1$

Высота красно-чёрного дерева

Лемма 2

Если $T$ - красно-чёрное дерево, то $h(T) \leq log_2 (n + 1)$.

[развернуть]

Доказательство

Из свойств дерева, на любом пути из вершины $x$ в лист красных вершин не больше чёрных.
Отсюда $h(x) \leq 2 bh(x)$. Тогда по Л1 $n \geq 2^{bh(root)} - 1$.
Отсюда $log_2 (n + 1) \geq bh(root) \geq 0.5 \cdot h(root) \rightarrow h(root) \leq 2 \cdot log_2 (n + 1)$

Вставка

Рассмотрим, как поддерживать свойства красно-чёрного дереве при операции insert.

Производим вставку элемента в дерево как в любом BST и сразу красим его в красный цвет.

Тривиальные случаи

• $x$ - новый корень КЧД. Тогда красим его в чёрный цвет для поддрежания 2 свойства КЧД.
• Наш родитель $p$ - чёрный. Тогда вставка красного листа не нарушает свойств КЧД, а значит ничего делать не нужно.

Теперь если $p$ родитель $x$ оказался красным, то его родитель $gp$ обязан быть чёрным. Посмотрим на "дядюшку" $x$ - $u$.

Случай 1

Первый случай

$u$ - Красный.