Этот алгоритм "исправления" вставки красно-черного дерева является неполным?

Question

Я читаю Введение в алгоритмы, 3-е издание (ISBN-10: 9780262033848), и в нем описан следующий алгоритм "исправления" красно-черного дерева после вставки красного узла.

В строке 3 говорится, что для y = установлено значение "правый потомок родителя z" (правый дядя z). Мой вопрос: что, если z - это только третья вставка, и это левый дочерний элемент левого дочернего элемента? Разве не нужен был бы другой случай, в котором z не имеет правого дяди, а его родительский элемент является красным левым дочерним элементом?

   gp (blck)
   /
  p (red)
 /
z (red)

Answer 1

О третьем случае уже позаботились строки 12-14.

Взгляните на следующее изображение, которое объясняет ваш случай:

Не стесняйтесь задавать любые сомнения