Правило объединения по рангу - прикреплять наименьшее дерево к корню самого большого дерева.
На первом шаге A объединяется с D (это просто пример Я думаю - вы могли бы поступить любым другим способом), поэтому после union(A, D) вы можете иметь либо A_0 -> D_1 или D_O -> A_1, поскольку 2 одиночных дерева имеют одинаковый ранг, вы выбираете одно случайное, в данном случае D, чтобы получить корень.