577
правок
Изменения
→Свойства
# Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов
# Чёрный узел может иметь чёрного родителя
Определим ослабленное красно-чёрное дерево как красно-чёрное дерево, корень которого может быть как чёрным, так и красным. Тогда корень всегда может быть изменен с красного на чёрный с сохранением всех свойств. Но вот при изменении цвета корня с чёрного на красный дерево может перестать удовлетворять свойствам <tex>3</tex> и <tex>4</tex>. Тогда даже если мы перекрасим все вершины так, чтобы у красного узла не было красных потомков, свойство <tex>4</tex> все равно может не выполняться.
{{Определение
