Изменения

Пусть <tex> union(v1,v2) </tex> - — процедура слития объединения двух множеств содержащих <tex> v1 </tex>,и <tex> v2 </tex>, а <tex> get(v) </tex> - поиск корня поддерева содержащего <tex> v </tex>. Рассмотрим <tex> n </tex> операций <tex> union </tex> и <tex> m </tex> операций <tex> get </tex>. Для удобства и без потери , не теряя общности , будем считать , что <tex> union </tex> принимает в качестве аргументов корни поддеревьев и <tex> m > n </tex>, то есть <tex> union(v1,v2) </tex> заменяем на <tex> union(get(v1),get(v2)) </tex>.