Задача о динамической связности — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 26: Строка 26:
  
  
<!--Рассмотрим возможные случаи изменения графа с точки зрения связности после выполнения update-запросов.-->
 
 
<!--После операции добавления могло возникнуть следующее:
 
* вершины у и в лежали в одной компоненте связности, значение коннектед() до и после запроса не изменилось ни для какой пары вершин
 
* вершины лежали в разных компонентах, теперь новое ребро их соединило 12321232123212321232123212321
 
 
После операции удаления:
 
* если удаляемое ребро - мост, то компонента связности распалась на две
 
* иначе значение коннектед() осталось прежним для любой пары вершин
 
 
чё это значит? смотрим видосик!!!-->
 
  
 
<!-- === Псевдокод === xz -->
 
<!-- === Псевдокод === xz -->
Строка 45: Строка 34:
 
  === Планарные графы === //da xz... chtobi o nih govorit' ischo... -->
 
  === Планарные графы === //da xz... chtobi o nih govorit' ischo... -->
  
== ==
+
 
 +
 
 +
 
 
<!--
 
<!--
 
== Алгоритм ==
 
== Алгоритм ==

Версия 23:20, 7 января 2018

Задача:
Есть неориентированный граф из [math]n[/math] вершин, изначально не содержащий рёбер. Требуется обработать [math]m[/math] запросов трёх типов:
  • [math]\mathrm{add(u,v)}[/math] — добавить ребро между вершинами [math]u[/math] и [math]v[/math];
  • [math]\mathrm{remove(u,v)}[/math] — удалить ребро между вершинами [math]u[/math] и [math]v[/math];
  • [math]\mathrm{connected(u,v)}[/math] — проверить, лежат ли вершины [math]u[/math] и [math]v[/math] в одной компоненте связности.

В этой статье будет приведено решение задачи online, то есть отвечать на get-запрос (проверять наличие пути между вершинами) мы будем сразу.

Динамическая связность в лесах

Если задача такова, что в графе нет и не может быть циклов, то она сводится к задаче о связности в деревьях эйлерова обхода. Время работы каждого запроса для упрощённой задачи — [math]O(\log n)[/math].

Обобщение задачи для произвольных графов

Существуют задачи, в которых граф не обязательно на протяжении нашей работы после каждой операции добавления ребра остаётся лесом. Но мы можем в каждой компоненте связности выделить остовные деревья, которые образуют остовный лес.

Произвольный граф
Остовный лес в графе










См. также

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