Я читаю Введение в алгоритмы, 3-е издание (ISBN-10: 9780262033848), и в нем описан следующий алгоритм «исправления» красно-черного дерева после вставки красного узла.
В строке 3 говорится, что для y = установлено значение «правый дочерний элемент родителя z» (правый дядя z). Мой вопрос: что, если z - это только третья вставка, и это левый дочерний элемент левого дочернего элемента? Разве не нужен был бы другой случай, когда z не имеет правого дяди, а его родительский элемент является красным левым дочерним элементом?
gp (blck)
/
p (red)
/
z (red)