Изменения

== Задача Алгоритм проверки наличия пути между двумя вершинами ==Дан [[Основные определения теории графов|неориентированный граф]] G и две вершины U и V. Необходимо проверить существует ли путь из вершины U в вершину V по рёбрам графа G.

{{Задача|definition =Дан граф <tex>G = Алгоритм ==Небольшая модификация алгоритма [[Обход в глубину(V, цвета вершин|обхода в глубину]]. Смысл алгоритма заключается в том, чтобы запустить обход в глубину из E)</tex> и две вершины U <tex>s</tex> и проверять при каждом посещении вершины<tex>t</tex>. Необходимо проверить, не является существует ли она искомой вершиной V.Так как в первый момент времени все пути в графе "белые", то если вершина V и была достижима путь из U, то по [[Лемме о белых путях|Лемма о белых путях]] в какой-то момент времени мы зайдём вершины <tex>s</tex> в вершину V, чтобы её покрасить<tex>t</tex> по рёбрам графа <tex>G</tex>.}}=== Алгоритм ===

== Алгоритм ==Заведём счётчик количества Небольшая модификация алгоритма [[Обход в глубину, цвета вершин которые мы ещё не посетили|обхода в глубину]]. В стандартной процедуре dfs() будем уменьшать счётчик на единицу перед выходом Смысл алгоритма заключается в том, чтобы запустить обход в глубину из процедуры. Запустимся от какой-то вершины нашего графа<tex>s</tex> и проверять при каждом посещении вершины, не является ли она искомой вершиной <tex>t</tex>. По окончании работы процедуры dfs() сравним счётчик с нулём. Если они равныТак как в первый момент времени все пути в графе "белые", то мы побывали во всех вершинах графа, а следовательно он связен. Если счётчик отличен от нуляесли вершина <tex>t</tex> и была достижима из <tex>s</tex>, то по [[Лемма о белых путях|лемме о белых путях]] в какой-то момент времени мы зайдём в графе несколько компонент связностивершину <tex>t</tex>, чтобы её покрасить. Работает алгоритм за Время работы алгоритма <tex>O(M |V| + N|E|)</tex>.

  vector<boolfont color=green> // visited; {{---}} массив цветов вершин</font> <font color=green>/вектор для хранения информации о ''пройденных'' и ''не пройденных'' вершинах/ t {{---}} конечная вершина</font>

'''bool ''' dfs(u, t: '''int u''', visited: '''bool[]''') {: '''if(''' u == t) '''return ''' ''true; '' visited[u] = ''true; '' <font color=green>//помечаем вершину как пройденную</font> '''for (''' v таких, что (u, v) - ребро в G) : uv <tex>\in</tex> E <font color=green>//проходим по смежным с u вершинам</font> '''if (!''' '''not''' visited[v]) <font color=green>//проверяем, не находились ли мы ранее в выбранной вершине</font> '''if(''' dfs(v), t, visited) retrun '''return''' ''true;'' '''return ''' ''false;'' } == Алгоритм проверки связности графа G == int main() {{Задача|definition = Дан [[Основные определения теории графов|неориентированный граф]] <tex>G = (V, E)</tex>.Необходимо проверить, является ли он связным.}} === Алгоритм ===Снова небольшая модификация алгоритма [[Обход в глубину, цвета вершин|обхода в глубину]], в которой будем возвращать количество посещенных вершин. Запустим такой <code>dfs()</code> от некоторой вершины графа <tex>G</tex>, если его результат равен <tex>|V|</задание tex>, то мы побывали во всех вершинах графа G с количеством вершин n и вершин S и T, а следовательно он связен, иначе какие-то вершины остались непосещенными. Работает алгоритм за <tex>O(|V| + |E|)</tex>. === Реализация ===  <font color=green>// visited.assign{{---}} массив цветов вершин</font> '''int''' dfs(nu: '''int''', falsevisited: '''bool[]'''); : '''int''' visitedVertices = 1 visited[u] = ''true'' <font color=green>//в начале все вершины в графе помечаем вершину как пройденную</font> '''for'не пройденные''v: uv <tex>\in</tex> E <font color=green>// проходим по смежным с u вершинам</font> '''if(''' '''not''' visited[v] <font color=green>// проверяем, не находились ли мы ранее в выбранной вершине</font> visitedVertices += dfs(s)v, visited) std::out '''return''' visitedVertices ==Проверка связности вершин в режиме онлайн=={{Задача|definition =Дан пустой граф <tex>G</tex>, состоящий из <tex>n< "Путь /tex> вершин. Поступают запросы, каждый из S которых {{---}} это пара вершин, между которыми надо добавить ребро. Необходимо в T существует";любой момент времени для двух выбранных вершин отвечать на вопрос, являются ли они связанными. else }} std::out ===Алгоритм===Описываемая здесь идея довольна проста и будет основываться на [[СНМ (наивные реализации)|системе непересекающихся множеств]].  В каждом множестве будем хранить компоненты связности графа <tex>G< "Пути из S /tex>. Тогда ответ на запросы второго типа будет заключаться в определении множеств, в которых находятся данные вершины, т.е. две вершины являются связанными, если они лежат в одной компоненте связности. Изначально все вершины находятся в разных компонентах связности. При добавлении ребра объединяем множества, в T нет";которых находятся его концы, если те различны. == См. также == return 0;*[[Обход в глубину, цвета вершин]] }*[[Использование обхода в глубину для поиска цикла]]