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