Красно-черное дерево — это самобалансирующееся бинарное дерево поиска с дополнительным свойством цвета узлов (красный или черный), что обеспечивает балансировку и гарантирует логарифмическое время операций вставки, удаления и поиска.

Основные свойства:

Каждый узел либо красный, либо черный.
Корень всегда черный.
Все листья (NIL-узлы) считаются черными.
Если узел красный, то оба его потомка черные (нет двух красных подряд).
Для каждого узла все пути от него до листьев содержат одинаковое число черных узлов (черная высота).

Эти свойства обеспечивают, что дерево остается примерно сбалансированным, предотвращая вырождение в список.

Пример использования в Java — класс TreeMap, который основан на красно-черном дереве для хранения ключей в отсортированном порядке с эффективным доступом.

Можете объяснить структуру и основные свойства красно-черных деревьев?