Итак, у меня есть красное черное дерево следующим образом:
2 = Root Black
Children = 1 (Black/Left), 4 (Red/Right)
Children of 1 = NIL & NIL => Height of Black Subtree is then 2
Children of 4 = 3 (Black/Left), 5 (Black/Right)
Children of 3 = NIL & NIL, Height of Black Subtree is then 2
Children of 5 = 7 (Red/Right)& NIL, Height is still then of course 2.
Итак, когда я вставляю 6 (конечно, цвет красный), и он становится левым дочерним элементом 7. В этом веб-приложении, за которым я следую, он выполняет вращение 6 с 7. Почему? Насколько я вижу, это не нарушает никаких свойств RBT.
Примечание. Исходное веб-приложение — это веб-приложение Java, для которого требуется версия 1.7. Источник: http://gauss.ececs.uc.edu/RedBlackTester/redblack.html