577
правок
Изменения
→Свойства
То, что только черная вершина может иметь красных детей, совместно с <tex>4</tex>-тым свойством говорит о том, что корень дерева должен быть черным, а значит определения можно считать эквивалентными.
Зачем в дереве красные узлы? Если при добавлении вершины маркеровать ее черным цветом, то после некоторых операций свойство <tex>4</tex> перестанет выполняться, тогда дерево перестанет быть сбалансированным и превратится в обычное бинарное дерево поиска.
== Высота красно-черного дерева ==