98
правок
Изменения
Нет описания правки
При этом все листья дерева являются фиктивными и не содержат данных, но относятся к дереву и являются чёрными.
== Свойства ==
# Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов – black-height(x)
# Чёрный узел может иметь чёрного родителя
{{Определение
|definition=Будем называть чёрной высотой вершины <tex>x</tex> число чёрных вершин на пути из <tex>x</tex> в лист, не учитывая саму вершину <tex>x</tex>.
}}
== Высота красно-черного дерева ==