Я углубляюсь в структуры данных и пытаюсь во всех деталях разобраться в красно-черных деревьях. Это не кажется сложным, я проверил в Википедии страницу . Проблема в том, что я не могу понять предложение:
G is known to be black, since its former child P could not have been red without violating property 4.
из процедуры вставки. Случай 4, шаг 2. Ясно, что G черный, но неясно, почему P не может быть красный, пока он красный. Он был красным без нарушения свойства 4. И я не вижу связи между G и P в этом предложении.
Возможны два случая - либо я чего-то не понимаю, либо ошибка Википедия и это надо исправить.
Не могли бы вы помочь мне прояснить этот момент? Заранее спасибо!