288
правок
Изменения
→Удаление минимума
==Удаление минимума==
Поддерживаем инвариант: вершина или левый ребенок вершины красный.
Заметим, что если левый потомок вершины и левый потомок левого потомка вершины черные, необходимо переместить левого потомка вершины для сохранения инварианта.
[[File:MoveRedLeftEasy.png|310px|thumb|upright|Перемещение красного потомка. Простой случай]]
[[File:MoveRedLeftNoEasy.png|310px|thumb|upright|Перемещение красного потомка. Сложный случай]]
