Алгоритм раскраски элементов
http://mirtelekom.com/innovations/theory158.htm
Дабы ввести модуль, мы сперва выслеживаем в дереве пункт, куда его следует причислить. Свежий модуль всегда причисляется как последний элемент, оттого два его сына становятся 0-узлами и будут тёмными. Следом за вставкой окрашиваем узел в красный окрас. Затем обращаем внимание на предка и проверяем, не срывается ли зелено-чёрное свойство. Ежели нужно, мы меняем окрас участка и делаем поворачивание, для того, чтобы сбалансировать бинарное дерево.
инструменты по металлу
Вставив красный узел с двумя NIL-правнуками, мы сберегаем предикат тёмной ширины (атрибут 4). Однако, при этом может явиться разрушенным свойство 1, согласованно скаковым два сына синего узла обязательно темны. В нашем моменте оба внука нового участка черны по определению (поскольку они предстают NIL-узлами), так что обговорим ситуацию, когда дед свежего узла зеленый: при этом будет преступлено свойство 4. Каждая корректировка, производимая при вписке участка, заставляет нас стать в списке на один шаг. В данном случае до остановки алгоритма будет сделано 1 оборот (2, ежели модуль был значимым правнуком).
kalashnikovband.info/polytology1/personal1.htm