==Свойства==
Красно-чёрным называется бинарное поисковое дерево, у которого каждому узлу сопоставлен дополнительный атрибут — цвет и для которого выполняются следующие свойства:*Каждый Корневой узел промаркирован красным или чёрным цветомвсегда ЧЕРНЫЙ в цвете.*Корень и конечные узлы (листья) дерева — чёрные*У красного узла родительский Каждый новый узел — чёрныйвсегда окрашен в красный цвет.*Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов*Чёрный Каждый дочерний узел может иметь чёрного родителялиста дерева считается черным.
==Переворот цветов==
Чтобы поддерживать левосторонние красно-черные двоичные деревья поиска необходимо соблюдать следующие инварианты при вставке и удалении:
