Деревья Эйлерова обхода

Материал из Викиконспекты
Версия от 12:21, 11 декабря 2016; Sokolova (обсуждение | вклад) (Задача о динамической связности)
Перейти к: навигация, поиск

Задача о динамической связности

Задача:
Для динамически изменяющегося дерева выполнить следующие запросы:
  • [math]\mathrm{link(u, w)}[/math] — добавить ребро [math](u, w)[/math] (при условии, что вершины [math]u[/math] и [math]w[/math] принадлежат разным деревьям),
  • [math]\mathrm{cut(u, w)}[/math] — разрезать ребро [math](u, w)[/math] (при условии, что ребро [math](u, w)[/math] принадлежит дереву),
  • [math]\mathrm{isConnected(u, w)}[/math] — определить принадлежат ли вершины [math]u[/math] и [math]w[/math] одной компоненте связности.


Определение:
Дерево эйлерова обхода (англ.Euler tour tree) — способ представления динамического дерева, позволяющий выполнять указанные запросы за [math]O(\log n)[/math].


Представление деревьев в виде эйлерова графа

Пример дерева
Соответствующий эйлеров граф

Для представления дерева в виде эйлерового графа заменим каждое ребро [math]\{u, v\} \[/math] дерева на два ребра [math](u, v)[/math] и [math](v, u)[/math].

Получившийся ориентированный граф будет эйлеровым согласно критерию.







Свойство эйлерова обхода

Представим дерево в виде последовательности вершин, посещеннных в порядке эйлерова обхода с корнем в вершине [math]a[/math].

Tour1.png

При этом последовательность вершин между первым и последним вхождением вершины [math]h[/math] дает эйлеров обход поддерева с корнем [math]h[/math].

Tour2.png

Операции

Изменение корня дерева (переподвешивание)

Дано дерево с корнем в вершине [math]a[/math]. Требуется переподвесить его к вершине [math]h[/math].

Tour13.png

Для переподвешивания (англ. rerooting) необходимо:

  • Разбить эйлеров обход на три части [math]S1 [/math], [math]H[/math], и [math]S2 [/math], где [math]H[/math] состоит из вершин между первым и последним вхождением нового корня [math]h[/math].
  • Удалить первую вершину в [math]S1 [/math].
  • Соединить в следующем порядке: [math]H[/math], [math]S2 [/math], [math]S1 [/math].
  • Добавить [math]\{h\}[/math] в конец последовательности.

В результате получим:

Proba.png

Добавление ребра

Link11.png

Для связывания деревьев [math]T1 [/math] и [math]T2[/math], где [math]c\in T1\ [/math], а [math]g\in T2\[/math] добавлением ребра [math]\{c, g\} \[/math] необходимо:

  • Переподвесить дерево [math]T1[/math] к вершине [math]c[/math].
  • Переподвесить дерево [math]T2[/math] к вершине [math]g[/math].
  • Соединить получившиеся эйлеровы обходы.
  • Добавить [math]\{c\}[/math] в конец последовательности.
Link2.png

В результате получим:

Link3.png

Разрезание ребра

Cut1.png

Для разбиения дерева на два поддерева путем разрезания ребра [math]\{g, j\} \[/math] необходимо:

  • Переподвесить дерево к вершине [math]g[/math].
  • Разделить дерево на части [math]E1, V, E2[/math], где [math]V[/math] отрезок между первым и последним вхождением вершины [math]j[/math].
  • Эйлеров обход первого поддерева образуется соединением [math]E1[/math] и [math]E2[/math], с удалением повторного [math]\{g\}[/math] в месте их соединения.
  • Эйлеров обход второго поддерева образует [math]V[/math].
Cut2.png

В результате получим:

Cut3.png

Реализация структуры

Задача:
Определить структуру данных для хранения эйлеровых обходов деревьев для наиболее эффективного выполнения указанных операций.


При представлении деревьев в виде их эйлерова обхода выполнение каждой операции [math]\mathrm{link}[/math] и [math]\mathrm{cut}[/math] сводится к [math]O(1)[/math] соединений и разбиений отрезков в последовательности вершин эйлерова обхода.

Рассмотрим следующие структуры данных для определения времени выполнения разбиения и соединения последовательностей, а также определение принадлежности вершин одной компоненте связности.

Связные списки

Linked lists.png


Каждое разбиение и соединение последовательностей требует [math]O(1)[/math].

Для каждой вершины будем хранить указатели на первое и последнее вхождение вершины в последовательность. Тогда возможно определять первое и последнее вхождение вершины за [math]O(1)[/math].

Однако,используя двусвязные списки определение принадлежности вершин одной компоненте связности занимает [math]O(\log n)[/math] в худшем случае.

Balanced Trees

Пример

Представим последовательность вершин эйлерова обхода в виде сбалансированного двоичного дерева. Будем использовать красно-черное дерево.

Объединение и разделение красно-черных деревьев выполняется за [math]O(\log n)[/math].

Для каждой вершины храним указатели на её первое и последнее вхождение в последовательность. Значит, имеем доступ к ним за [math]O(1)[/math].

Запрос о принадлежности вершин к одной компоненте связности выполняется за [math]O(\log n)[/math] проверкой лежат ли эти вершины в одном дереве.

Пример

См. также

Источники информации