[[Категория:Дискретная математика и алгоритмы]]
[[Категория:Деревья поиска]]
== Свойства ==
Красно-чёрным называется бинарное поисковое дерево, у которого каждому узлу сопоставлен дополнительный аттрибут – цвет и для которого выполняются следующие свойства:
# Каждый узел промаркирован красным или чёрным цветом
# Корень и конечные узлы (листья) дерева – чёрные
# У красного узла родительский узел – чёрный
# Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов – black-height(x)
# Чёрный узел может иметь чёрного родителя
{{Определение
|definition=Будем называть чёрной высотой вершины
