Согласно этому объяснению красно-черного дерева, дерево должно иметь следующие свойства:
- Узел может быть красным или черным.
- Корень черный. (Это правило иногда опускается. Поскольку корень всегда можно изменить с красного на черный, но не обязательно наоборот, это правило мало влияет на анализ.)
- Все листья (NIL) черные. (Все листья того же цвета, что и корень.)
- Оба дочерних элемента каждого красного узла черные.
- Каждый простой путь от данного узла к любому из его дочерних листьев содержит одинаковое количество черных узлов.
Что мешает сделать каждый узел черным?