Окраска узлов дерева

Для того, чтобы вставить модуль, мы сперва выслеживаем в дереве пункт, куда его нужно вместить. Свежий узел всегда приращивается как элемент с указателем NULL, оттого два его наследника будут NIL-узлами и будут тёмными. После включения красим модуль в красный окрас. Потом обращаем внимание на предка и проверяем, не нарушается ли сине-чёрное свойство. В случае если нужно, мы меняем окрас модуля и производим поворот, для того, чтобы согласовать список.

Записав красный узел с двумя NIL-правнуками, мы сохраняем предикат коричневой высоты (свойство 3). Но, при этом может случиться нарушенным качество 1, соответственно какому два потомка синего участка обязательно черны. В этом случае оба правнука созданного модуля черны по атрибуту (ввиду того, что они являются NIL-участками), так что рассмотрим обстоятельство, если прадед свежего модуля синий: при этом будет преступлено качество 3. Каждая коррекция, производимая при вписке узла, толкает нас пройти в списке на один шаг. В сим обстоятельстве до паузы метода будет сделано 1 оборот (2, в случае если модуль был значимым потомком).