Красно-черное дерево
Красно-чёрное дерево (англ. red-black tree) — двоичное дерево поиска, в котором баланс осуществляется на основе "цвета" узла дерева, который принимает только два значения: "красный" (англ. red) и "чёрный" (англ. black).
При этом все листья дерева являются фиктивными и не содержат данных, но относятся к дереву и являются чёрными.
Для экономии памяти фиктивные листья можно сделать одним общим фиктивным листом.
Содержание
Свойства
Оригинальные
Красно-чёрным называется бинарное поисковое дерево, у которого каждому узлу сопоставлен дополнительный атрибут — цвет и для которого выполняются следующие свойства:
- Каждый узел промаркирован красным или чёрным цветом
- Корень и конечные узлы (листья) дерева — чёрные
- У красного узла родительский узел — чёрный
- Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов
- Чёрный узел может иметь чёрного родителя
Определим ослабленное красно-чёрное дерево как красно-чёрное дерево, корень которого может быть как чёрным, так и красным. Докажем, что при таком условии не будут выполняться и некоторые другие свойства красно-черных деревьев. При добавлении вершины около корня могут возникнуть повороты, и корневая вершина перейдет в какое-то поддерево. Из-за этого может возникнуть ситуация, в которой подряд будут идти две красные вершины. То же самое может произойти из-за перекрашиваний возле корня. Если мы продолжим вставлять элементы подобным образом, свойства дерева перестанут выполняться, и оно перестанет быть сбалансированным. Таким образом, время выполнения некоторых операций ухудшится.
Перед тем, как перейдем к примеру, договоримся, что мы разрешим в ослабленном красно-чёрном дереве при первом добавлении вершин (обеих, правой и левой) к красному корню делать их черными (немного модифицированный алгоритм вставки). Предыдущее условие можно заменить на другое, позволяющее корю иметь красных детей.
Рассмотрим пример справа. Получим такое дерево добавляя ключи в следующем порядке: . На примере можно видеть, что после добавления вершины с ключом и соответствующих перекрашиваний вершина с ключом становится красной с красным родителем. Дальше добавим . Так как мы добавляем к черной вершине, все свойства дерева сохраняются без перекрашиваний. Но добавим после этого . Тогда вершина с ключом станет красной ( и — черными) и у нас образуются три красные вершины подряд. Продолжая добавлять вершины таким образом, мы можем сделать сильно разбалансированное дерево.
Альтернативные
В книге Кормена "Алгоритмы: построение и анализ" дается немного иное определение красно-черного дерева, а именно:
Двоичное дерево поиска является красно-чёрным, если обладает следующими свойствами:
- Каждая вершина — либо красная, либо черная
- Каждый лист — черный
- Если вершина красная, оба ее ребенка черные
- Все пути, идущие от корня к листьям, содержат одинаковое количество черных вершин
То, что только черная вершина может иметь красных детей, совместно с -тым свойством говорит о том, что корень дерева должен быть черным, а значит определения можно считать эквивалентными.
Высота красно-черного дерева
| Определение: |
| Будем называть чёрной высотой (англ. black-height) вершины число чёрных вершин на пути из в лист, не учитывая саму вершину . |
| Лемма: |
В красно-черном дереве с черной высотой количество внутренних вершин не менее . |
| Доказательство: |
|
По индукции докажем, что поддерево любого узла с черной высотой содержит не менее внутренних узлов. База индукции: Если высота узла равна то — это лист, Индукционный переход: Пусть наше предположение верно для высот до Теперь рассмотрим внутреннюю вершину с двумя потомками, для которой . Тогда если ее потомок — черный, то его высота , а если красный, то . Но поскольку высота потомка меньше, чем высота узла , для него выполняется индукционное предположение. В таком случае в поддереве узла содержится не менее чем . Следовательно, утверждение верно и для всего дерева. |
| Теорема: |
Красно-чёрное дерево с ключами имеет высоту . |
| Доказательство: |
|
Рассмотрим красно-чёрное дерево с высотой Так как у красной вершины чёрные дети по свойству количество красных вершин не больше Тогда чёрных вершин не меньше, чем По доказанной лемме, для количества внутренних вершин в дереве выполняется неравенство:
Прологарифмировав неравенство, имеем:
|
Операции
Узел, с которым мы работаем, на картинках имеет имя .
Вставка элемента
Каждый элемент вставляется вместо листа, поэтому для выбора места вставки идём от корня до тех пор, пока указатель на следующего сына не станет (то есть этот сын — лист). Вставляем вместо него новый элемент с -потомками и красным цветом. Теперь проверяем балансировку. Если отец нового элемента черный, то никакое из свойств дерева не нарушено. Если же он красный, то нарушается свойство , для исправления достаточно рассмотреть два случая:
1. "Дядя" этого узла тоже красный. Тогда, чтобы сохранить свойства и , просто перекрашиваем "отца" и "дядю" в чёрный цвет, а "деда" — в красный. В таком случае черная высота в этом поддереве одинакова для всех листьев и у всех красных вершин "отцы" черные. Проверяем, не нарушена ли балансировка. Если в результате этих перекрашиваний мы дойдём до корня, то в нём в любом случае ставим чёрный цвет, чтобы дерево удовлетворяло свойству .
2. "Дядя" чёрный. Если выполнить только перекрашивание, то может нарушиться постоянство чёрной высоты дерева по всем ветвям. Поэтому выполняем поворот. Если добавляемый узел был правым потомком, то необходимо сначала выполнить левое вращение, которое сделает его левым потомком. Таким образом, свойство и постоянство черной высоты сохраняются.
Псевдокод:
func insert(key)
Node t = Node(key, red, nil, nil) // конструктор, в который передаем ключ, цвет, левого и правого ребенка
if root == nil
root = t
t.parent = nil
else
Node p = root
Node q = nil
while p != nil
q = p
if p.key < t.key
p = p.right
else
p = p.left
t.parent = q
if q.key < t.key
q.right = t
else
q.left = t
fixInsertion(t) // проверяем, не нарушены ли свойства красно-черного дерева
func fixInsertion(t: Node)
if root == t
t.colour = black
return
while t.parent != nil and t.parent.colour == red
Node grandfather = t.parent.parent
Node uncle = nil
if grandfather.left == t.parent
if grandfather.right != nil
uncle = grandfather.right
if uncle.colour == red
// случай, когда "дядя" красный
t.parent.colour = black
uncle.colour = black
grandfather.colour = red
t = grandfather
else
if t.parent.right == t
t = t.parent
leftRotate(t)
t.parent.colour = black
grandfather.colour = red
rightRotate(g)
else
if grandfather.left != nil
uncle = grandfather.left;
if uncle.colour == red
// случай, когда "дядя" красный
t.parent.colour = black
uncle.colour = black
grandfather.colour = red
t = grandfather
else
if t.parent.left == t
t = t.parent
rightRotate(t)
t.parent.colour = black
grandfather.colour = red
leftRotate(grandfather)
root.colour = black // восстанавливаем свойство корня
Удаление вершины
При удалении вершины могут возникнуть три случая в зависимости от количества её детей:
- Если у вершины нет детей, то изменяем указатель на неё у родителя на .
- Если у неё только один ребёнок, то делаем у родителя ссылку на него вместо этой вершины.
- Если же имеются оба ребёнка, то находим вершину со следующим значением ключа. У такой вершины нет левого ребёнка (так как такая вершина находится в правом поддереве исходной вершины и она самая левая в нем, иначе бы мы взяли ее левого ребенка. Иными словами сначала мы переходим в правое поддерево, а после спускаемся вниз в левое до тех пор, пока у вершины есть левый ребенок). Удаляем уже эту вершину описанным во втором пункте способом, скопировав её ключ в изначальную вершину.
Проверим балансировку дерева. Так как при удалении красной вершины свойства дерева не нарушаются, то восстановление балансировки потребуется только при удалении чёрной. Рассмотрим ребёнка удалённой вершины.
1. Если брат этого ребёнка красный, то делаем вращение вокруг ребра между отцом и братом, тогда брат становится родителем отца. Красим его в чёрный, а отца — в красный цвет, сохраняя таким образом черную высоту дерева. Хотя все пути по-прежнему содержат одинаковое количество чёрных узлов, сейчас имеет чёрного брата и красного отца. Таким образом, мы можем перейти к следующему шагу.
2. Если брат текущей вершины был чёрным, то получаем три случая:
- Оба ребёнка у брата чёрные. Красим брата в красный цвет и рассматриваем далее отца вершины. Делаем его черным, это не повлияет на количество чёрных узлов на путях, проходящих через , но добавит один к числу чёрных узлов на путях, проходящих через , восстанавливая тем самым влиянние удаленного чёрного узла. Таким образом, после удаления вершины черная глубина от отца этой вершины до всех листьев в этом поддереве будет одинаковой.
- Если у брата правый ребёнок чёрный, а левый красный, то перекрашиваем брата и его левого сына и делаем вращение. Все пути по-прежнему содержат одинаковое количество чёрных узлов, но теперь у есть чёрный брат с красным правым потомком, и мы переходим к следующему случаю. Ни , ни его отец не влияют на эту трансформацию.
- Если у брата правый ребёнок красный, то перекрашиваем брата в цвет отца, его ребёнка и отца - в чёрный, делаем вращение. Поддерево по-прежнему имеет тот же цвет корня, поэтому свойство и не нарушаются. Но у теперь появился дополнительный чёрный предок: либо стал чёрным, или он и был чёрным и был добавлен в качестве чёрного дедушки. Таким образом, проходящие через пути проходят через один дополнительный чёрный узел. Выходим из алгоритма.
Продолжаем тот же алгоритм, пока текущая вершина чёрная и мы не дошли до корня дерева. Из рассмотренных случаев ясно, что при удалении выполняется не более трёх вращений.
Псевдокод:
func delete(key)
Node p = root
// находим узел с ключом key
while p.key != key
if p.key < key
p = p.right
else
p = p.left
// случай, когда нет детей
if p.left == nil and p.right == nil
if p == root
root = nil
else
if p.parent.left == p
p.parent.left = nil
else
p.parent.right = nil
return
Node y = nil
Node q = nil
if p.left == nil or p.right == nil
// один ребенок
y = p
else
// два ребенка
if p.left != nil
y = p.left
while y.right != nil
y = y.right
else
y = p.right;
while y.left != nil
y = y.left
if y.left != nil
q = y.left
else
q = y.right
if q != nil
q.parent = y.parent;
if y.parent == nil
root = q
else
if y is leftChild
y.parent.left = q
else
y.parent.right = q
if y != p
p.colour = y.colour
p.key = y.key
if y.colour == black
// при удалении черной вершины могла быть нарушена балансировка
fixDeleting(q)
func fixDeleting(p: Node)
Node brother = nil
while p != root and p isBlack
if p is leftChild
brother = p.parent.right
if brother isRed
brother.colour = black
p.parent.colour = red
leftRotate(p.parent)
brother = p.parent.right
if brother.left isBlack and brother.right isBlack
brother.colour = red
p = p.parent
else
if brother.right isBlack
brother.left.colour = black
brother.colour = red
rightRotate(brother)
brother = p.parent.right
brother.colour = p.parent.colour
p.parent.colour = black
brother.right.colour = black
leftRotate(p.parent)
p = root
else // p is rightChild
brother = p.parent.left
if brother isRed
brother.colour = black
p.parent.colour = red
rightRotate(p.parent)
brother = p.parent.left
if brother.left isBlack and brother.right isBlack
brother.colour = red
p = p.parent
else
if brother.left isBlack
brother.right.colour = black
brother.colour = red
leftRotate(brother);
brother = p.parent.left
brother.colour = p.parent.colour
p.parent.colour = black
brother.left.colour = black
rightRotate(p.parent)
p = root
p.colour = black
root.colour = black
Объединение красно-чёрных деревьев
Объединение двух красно-чёрных деревьев и по элементу выполняется, когда и , где — максимальные ключи дерева . Найдём чёрные высоты деревьев. Предположим также, что . Тогда в дереве ищем среди чёрных вершин, имеющих чёрную высоту , вершину с наибольшим ключом. Пусть — поддерево с корнем . Объединяем это дерево с в одно с красным корнем . Теперь родителем вершины становится бывший отец вершины . Осталось восстановить свойства красно-черного дерева, чтобы у красной вершины не было красных детей. Делается аналогично алгоритму добавления вершины.
Если , то слияние происходит аналогично, только теперь мы ищем в дереве среди чёрных вершин, имеющих чёрную высоту , вершину с наименьшим ключом.
Так как общее время выполнения каждой из операций порядка высоты дерева ,то все они выполняются за .
Рассмотрим пример объединения двух красно-чёрных деревьев и вершины:
Узнаём чёрную высоту левого и правого дерева. Чёрная высота левого и правого деревьев равна и соответственно. Так как чёрная высота левого дерева больше, то ищем в левом дереве чёрную вершину, имеющую чёрную высоту правого дерева, с наибольшим ключом. Чёрная высота вершины левого дерева равна высоте правого дерева и ключ является наибольшим. Поэтому вершина становится левым сыном вершины, а правое дерево будет правым сыном. Вершина станет правым сыном вершины:
Далее проверяем: не нарушили ли мы свойства красно-чёрного дерева. Так как присутствует нарушение(у красной вершины есть красный сын), то перекрасим вершины и сделаем поворот:
Преимущества красно-чёрных деревьев
- Самое главное преимущество красно-черных деревьев в том, что при вставке выполняется не более вращений. Это важно, например, в алгоритме построения динамической выпуклой оболочки. Ещё важно, что примерно половина вставок и удалений произойдут задаром.
- Процедуру балансировки практически всегда можно выполнять параллельно с процедурами поиска, так как алгоритм поиска не зависит от атрибута цвета узлов.
- Сбалансированность этих деревьев хуже, чем у АВЛ, но работа по поддержанию сбалансированности в красно-чёрных деревьях обычно эффективнее. Для балансировки красно-чёрного дерева производится минимальная работа по сравнению с АВЛ-деревьями.
- Использует всего 1 бит дополнительной памяти для хранения цвета вершины. Но на самом деле в современных вычислительных системах память выделяется кратно байтам, поэтому это не является преимуществом относительно, например, АВЛ-дерева, которое хранит 2 бита. Однако есть реализации красно-чёрного дерева, которые хранят значение цвета в бите. Пример — Boost Multiindex. В этой реализации уменьшается потребление памяти красно-чёрным деревом, так как бит цвета хранится не в отдельной переменной, а в одном из указателей узла дерева.
Красно-чёрные деревья являются наиболее активно используемыми на практике самобалансирующимися деревьями поиска. В частности, ассоциативные контейнеры библиотеки STL(map, set, multiset, multimap) основаны на красно-чёрных деревьях. TreeMap в Java тоже реализован на основе красно-чёрных деревьев.
Связь с 2-3 и 2-4 деревьями
Изоморфизм деревьев
Красно-черные деревья изоморфны B-деревьям 4 порядка. Реализация B-деревьев трудна на практике, поэтому для них был придуман аналог, называемый симметричным бинарным B-деревом[1]. Особенностью симметричных бинарных B-деревьев является наличие горизонтальных и вертикальных связей. Вертикальные связи отделяют друг от друга разные узлы, а горизонтальные соединяют элементы, хранящиеся в одном узле B-дерева. Для различения вертикальных и горизонтальных связей вводится новый атрибут узла — цвет. Только один из элементов узла в B-дереве красится в черный цвет. Горизонтальные связи ведут из черного узла в красный узел, а вертикальные могут вести из любого узла в черный.
Корректность сопоставления деревьев
Сопоставив таким образом цвета узлам дерева, можно проверить, что полученное дерево удовлетворяет всем свойствам красно-черного дерева.
| Утверждение: |
У красного узла родитель не может быть красного цвета. |
| В узле 2-4 дерева содержится не более трех элементов, один из которых обязательно красится в черный при переходе к симметричному бинарному B-дереву. Тогда оставшиеся красные элементы, если они есть, подвешиваются к черному. Из этих элементов могут идти ребра в следующий узел 2-4 дерева. В этом узле обязательно есть черная вершина, в нее и направляется ребро. Оставшиеся элементы узла, если они есть, подвешиваются к черной вершине аналогично первому узлу. Таким образом, ребро из красной вершины никогда не попадает в красную, значит у красного элемента родитель не может быть красным. |
| Утверждение: |
Число черных узлов на любом пути от листа до вершины одинаково. |
| В B-дереве глубина всех листьев одинакова. Из каждого узла B-дерева выбирается только один элемент для окраски в черный цвет, и путь в симметричным бинарным B-дереве состоит только из элементов, лежащих на одном пути в B-дереве. Значит количество черных элементов на любом пути от листа до вершины одинаково. |
| Утверждение: |
Корень дерева — черный. |
| Вершина B-дерева состоит из узла, в котором один элемент — черный. Он и выбирается в качестве корня симметричного бинарного B-дерева. |
Сопоставление операций в деревьях
Все операции, совершаемые в B-дереве, сопоставляются операциям в красно-черном дереве. Для этого достаточно доказать, что изменение узла в B-дереве соответствует повороту в красно-черном дереве.
| Утверждение: |
Изменение узла в B-дереве соответствует повороту в красно-черном дереве. |
|
В 2-4 дереве изменение узла необходимо при добавлении к нему элемента. Рассмотрим, как будет меняться структура B-дерева и, соответственно, красно-черного дерева при добавлении элемента:
|
| Теорема: |
Приведенное выше сопоставление B-деревьев и красно-черных деревьев является изоморфизмом. |
| Доказательство: |
| Доказательство следует непосредственно из приведенных выше утверждений. |
