Чтобы ввести
модуль, мы сначала
высматриваем в списке
пункт, куда его необходимо
добавить. Последний
участок постоянно
присоединяется как последний
элемент, исходя из этого
два его потомка будут
NULL-участками и
планируются чёрными. После
вставки атрибутируем
узел в синий цвет.
Потом смотрим на
предка и инспектируем,
не нарушается ли
зелено-коричневое
качество. Если
надлежит, мы меняем цвет
участка и производим
поворачивание, чтобы
уравновесить список.
Вставив синий модуль с
парой NULL-сыновьями, мы
сберегаем атрибут
коричневой ступени
(качество 3). Однако, при сим
может случиться нарушенным
качество 2, согласно
каковому оба
внука красного узла
обязательно черны. В
этом виде два
внука созданного узла
коричневы по атрибуту
(поскольку они есть
NIL-участками), так что
обговорим положение,
когда дед нового
модуля красный: при этом будет
нарушено свойство
5. Всякая коррекция,
производимая при вноске
участка, толкает нас
стать в бинарном дереве на один
такт. В данном обстоятельстве до
паузы процедуры будет
сделано 1 вращение
(2, если узел являлся
большим внуком).
