Красно-черное дерево — различия между версиями
Ministr (обсуждение | вклад) (→Высота красно-черного дерева) |
Ministr (обсуждение | вклад) |
||
| Строка 13: | Строка 13: | ||
{{Теорема | {{Теорема | ||
|statement=Красно-чёрное дерево с <tex>n</tex> ключами имеет высоту <tex>h \geqslant \log(n + 1) = O(\log n)</tex>. | |statement=Красно-чёрное дерево с <tex>n</tex> ключами имеет высоту <tex>h \geqslant \log(n + 1) = O(\log n)</tex>. | ||
| − | ||proof= | + | ||proof= |
| − | 1. Совмещаем все красные узлы с родительскими чёрными (они существуют по свойству 2) начиная с корня | + | '''1.''' Совмещаем все красные узлы с родительскими чёрными (они существуют по свойству 2) начиная с корня |
| − | 2. В результате получим дерево, каждый узел котрого имеет 2, 3 или 4 потомка | + | '''2.''' В результате получим дерево, каждый узел котрого имеет 2, 3 или 4 потомка |
| − | 3. В следствии свойства 4 красно-чёрного дерева, все листья 2-3-4 дерева будут иметь одинаковую глубину – black-height корня исходного дерева | + | '''3.''' В следствии свойства 4 красно-чёрного дерева, все листья 2-3-4 дерева будут иметь одинаковую глубину – black-height корня исходного дерева |
| − | 4. Пусть дерево из п.2 имеет высоту <tex>h'</tex>. Тогда <tex>h' \geqslant h/2</tex>, т.к. не более половины узлов на каждом пути – красные | + | '''4.''' Пусть дерево из п.2 имеет высоту <tex>h'</tex>. Тогда <tex>h' \geqslant h/2</tex>, т.к. не более половины узлов на каждом пути – красные |
| Строка 27: | Строка 27: | ||
| − | 5. Количество листьев не изменяется и равно <tex>n + 1</tex> для обоих деревьев, т.к. в красно-чёрном дереве все внутренние узлы имеют ровно два листа | + | '''5.''' Количество листьев не изменяется и равно <tex>n + 1</tex> для обоих деревьев, т.к. в красно-чёрном дереве все внутренние узлы имеют ровно два листа |
| − | 6. В 2-3-4 дереве высоты <tex>h'</tex> количество листьев <tex>n + 1</tex> ограничено: | + | '''6.''' В 2-3-4 дереве высоты <tex>h'</tex> количество листьев <tex>n + 1</tex> ограничено: |
<tex>2^{h'} \leqslant n + 1 \leqslant 4^{h'}</tex> | <tex>2^{h'} \leqslant n + 1 \leqslant 4^{h'}</tex> | ||
| − | 7. Тогда: | + | '''7.''' Тогда: |
<tex>n + 1 \geqslant 2^{h'}</tex> | <tex>n + 1 \geqslant 2^{h'}</tex> | ||
Версия 21:46, 22 марта 2012
При этом все листья дерева являются фиктивными и не содержат данных.
Содержание
Свойства
Красно-чёрным называется бинарное поисковое дерево, у которого каждому узлу сопоставлена дополнительный аттрибут – цвет и для которого выполняются следующие свойства:
- Каждый узел промаркирован красным или чёрным цветом
- Корень и конечные узлы (листья) дерева – чёрные
- У красного узла родительский узел – чёрный
- Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов – black-height(x)
- Чёрный узел может иметь чёрного родителя
Высота красно-черного дерева
| Теорема: |
Красно-чёрное дерево с ключами имеет высоту . |
| Доказательство: |
|
1. Совмещаем все красные узлы с родительскими чёрными (они существуют по свойству 2) начиная с корня 2. В результате получим дерево, каждый узел котрого имеет 2, 3 или 4 потомка 3. В следствии свойства 4 красно-чёрного дерева, все листья 2-3-4 дерева будут иметь одинаковую глубину – black-height корня исходного дерева 4. Пусть дерево из п.2 имеет высоту . Тогда , т.к. не более половины узлов на каждом пути – красные
6. В 2-3-4 дереве высоты количество листьев ограничено:
7. Тогда:
|
Операции
Вставка элемента
Каждый элемент вставляется вместо листа, поэтому для выбора места вставки идём от корня до тех пор, пока указатель на следующего сына не станет nil(т.е. этот сын - лист). Вставляем вместо него новый элемент с nil-потомками и красным цветом. Теперь проверяем балансировку. Если отец нового элемента красный, то достаточно рассмотреть только два случая:
1. "Дядя" этого узла тоже красный. Тогда просто перекрашиваем "отца" и "дядю" в чёрный цвет, а "деда" - в красный. Проверяем, не нарушает ли он теперь балансировку. Если в результате этих перекрашиваний мы дойдём до корня, то в нём в любом случае ставим чёрный цвет.
2. "Дядя" чёрный. Если выполнить только перекрашивание, то может нарушиться постоянство чёрной высоты дерева по всем ветвям. Поэтому выполняем поворот. Если добавляемый узел был правым потомком, то необходимо сначала выполнить левое вращение, которое сделает его левым потомком.
Удаление вершины
При удалении вершины могут возникнуть три случая в зависимости от количества её детей:
- Если у вершины нет детей, то изменяем указатель на неё у родителя на nil.
- Если у неё только один ребёнок, то делаем у родителя ссылку на него вместо этой вершины.
- Если же имеются оба ребёнка, то находим вершину со следующим значением ключа. У такой вершины нет левого ребёнка. Удаляем уже эту вершину описанным во втором пункте способом, скопировав её ключ в изначальную вершину.
Проверим балансировку дерева. Т.к. при удалении красной вершины свойства дерева не нарушаются, то восстановление балансировки потребуется только при удалении чёрной. Рассмотрим ребёнка удалённой вершины.
1. Если брат этого ребёнка красный, то делаем вращение вокруг ребра между отцом и братом, тогда брат становится родителем отца. Красим его в чёрный, а отца - в красный цвет.
2. Если брат текущей вершины был чёрным, то получаем три случая:
- Оба ребёнка у брата чёрные. Красим брата в красный цвет и рассматриваем далее отца вершины.
- Если у брата правый ребёнок чёрный,а левый красный, то перекрашиваем брата и его левого сына и делаем вращение.
- В же у брата правый ребёнок красный, то перекрашиваем брата в цвет отца, его ребёнка и отца - в чёрный, делаем вращение и выходим из алгоритма.
Продолжаем тот же алгоритм, пока текущая вершина чёрная и мы не дошли до корня дерева. Из рассмотренных случаев ясно, что при удалении выполняется не более трёх вращений.
Объединение красно-чёрных деревьев
Объединение двух красно-чёрных деревьев и по элементу x выполняется, когда и . Найдём чёрные высоты деревьев. Предположим также, что . Тогда в дереве ищем среди чёрных вершин, имеющих чёрную высоту , вершину y с наибольшим ключом. Пусть — поддерево с корнем y. Объединяем это дерево с в одно с красным корнем x. Теперь родителем вершины x становится бывший отец вершины y. Осталось восстановить свойства красно-черного дерева, чтобы у красной вершины не было красных детей. Делается аналогично алгоритму добавления вершины.
Т.к. общее время выполнения каждой из операций порядка высоты дерева ,то все они выполняются за .
Преимущество красно-чёрных деревьев
Одно из основных преимуществ красно-чёрных деревьев заключается в том, что процедуру балансировки практически всегда можно выполнять параллельно с процедурами поиска, т.к. алгоритм поиска не зависит от аттрибута цвета узлов. Вращение поддеревьев не может выполнятся одновременно с поиском, но при вставке выполняется не более вращений.
Красно-чёрные деревья являются наиболее активно используемыми на практике самобалансирующимися деревьями поиска. В частности, ассоциативные контейнеры библиотеки STL (map, set, multiset, multimap) основаны на красно-чёрных деревьях. Легко видеть, что красно-чёрные деревья изометричны 2-3-4 B-деревьям. Каждый чёрный узел можно объединить с его красными потомками. Результирующий узел будет иметь не более трех ключей и не более четырех потомков.
