Изменения

Перейти к: навигация, поиск

Красно-черное дерево

387 байт добавлено, 16:16, 3 июня 2018
Корректность сопоставления деревьев
Число черных узлов на любом пути от листа до вершины одинаково.
|proof=
В B-дереве глубина всех листьев одинакова. Из каждого узла B-дерева выбирается только один элемент для окраски в черный цвет, следовательно, одинаково и путь в симметричным бинарным B-дереве состоит только из элементов, лежащих количество внутренних узлов на одном каждом пути в . Мы сопоставляем чёрный цвет одному элементу внутреннего узла B-дереведерева. Значит , количество черных чёрных элементов на любом пути от листа до вершины одинаково.
}}
{{Утверждение
Корень дерева {{---}} черный.
|proof=
Вершина BЕсли в корне один элемент, то он {{--дерева состоит из узла-}} чёрный. Если же в корне несколько элементов, то заметим, в котором что один элемент окрашен в чёрный цвет, остальные {{---}} черныйв красный. Горизонтальные связи, соединяющие элементы внутри одного узнала, ведут из чёрного элемента в красный, следовательно, красные элементы будут подвешены к чёрному. Он и выбирается в качестве корня симметричного бинарного B-дерева.
}}
Анонимный участник

Навигация