116
правок
Изменения
→Реализация операции Union
=== Реализация операции Union ===
Пусть <tex> T_A, T_B </tex> {{- --}} деревья, реализующие множества <tex>A</tex> и <tex>B</tex> соответственно.Пусть размер одного из деревьев меньше 4; не умаляя общности {{--- }} <tex>size(T_B) < 4</tex>. Тогда действуем следующим образом:
# <tex>\forall v \in T_B : \: p(v) := root(T_A), \: rank(v) := 0</tex>
# <tex> rank(root(T_A)) := max \: \{ rank(root(T_A)), 1 \: \}</tex>
