Использование обхода в глубину для поиска компонент сильной связности

Постановка задачи

Дан ориентированный граф [math]G[/math]. Требуется найти в этом графе компоненты сильной связанности.

Алгоритм

Определение:

Дополнением или обратным к графу [math]G[/math] называется такой граф [math]H[/math], имеющий то же множество вершин, что и [math]G[/math], но в котором две несовпадающие вершины смежны тогда и только тогда, когда они не смежны в [math]G[/math]

Данная задачи решается с помощью поиска в глубину в 3 этапа:

1. Построить обратный граф
2. Выполнить в обратном графе поиск в глубину и найти [math]f[u][/math] - время окончания обработки вершины [math]u[/math]
3. Выполнить поиск глубину в [math]G[/math], перебирая вершины во внешнем цикле в порядке убывания [math]f[u][/math]

Полученные на 3-ем этапе деревья поиска в глубину будут являться компонентами сильной связности графа [math]G[/math].
Так как компоненты сильной связности исходного и обратного графа совпадают, то первый поиск в глубину для нахождения [math]f[u][/math] можно выполнить на графе [math]G[/math], а второй - на обратном.

Доказательство

Рассмотрим пару вершин [math]s[/math] и [math]t[/math]. Если вершины [math]s[/math] и [math]t[/math] взаимно достижимы, то они обязательно будут находиться в одном дереве поиска в глубину, поскольку, когда просматривается первая из них, вторая остаётся непосещённой и достижимой из первой и будет просмотрена, прежде чем завершится рекурсивный вызов из корня.
Теперь докажем, что если [math]s[/math] и [math]t[/math] находятся в одном дереве поиска, то они являются сильно связанными. Пусть [math]r[/math] - корень этого дерева. Тогда [math]s[/math] достижима из [math]r[/math], из чего следует, что в обратном графе [math]r[/math] достижима из [math]s[/math]. Но [math]r[/math] имеет большее время окончания обработки [math]f[r][/math] > [math]f[s][/math], из чего следует что в обратном графе существует путь из [math]r[/math] в [math]s[/math]. Тогда в исходном графе существуют пути как из [math]s[/math] в [math]r[/math], так и из [math]r[/math] в [math]s[/math], т.е. [math]r[/math] и [math]s[/math] сильно связаны. Те же рассуждения доказывают, что [math]t[/math] и [math]r[/math] сильно связаны, из чего следует что [math]t[/math] и [math]s[/math] также сильно связаны.

Пример реализации

   vector<vector<int>> g, g1;                                 //g хранит граф в виде списка смежностей, g1 - обратный
   vector<int> color, ord, component;                         //цвет вершины, список вершин в порядке окончания обработки, номер компоненты, к который относиться вершина
   int col;                                                   //номер текущей компоненты
   
   void dfs(int & v)                                          //первый поиск в глубину, определяющий порядок обхода
   {
       color[v] = 1;
       for (unsigned i = 0; i < g[v].size(); ++i)
       {
           if (color[g[v][i]] == 0)
               dfs(g[v][i]);
       }
       ord.push_back(v);                                     
   }
   
   void dfs2(int & v)                                         //второй поиск в глубину, выявляет компоненты сильной связности в графе 
   {
       component[v] = col;
       for (unsigned i = 0; i < g1[v].size(); ++i)
       {
           if (component[g1[v][i]] == 0)
               dfs2(g1[v][i]);
       }
   }
   
   int main()
   {
       ...                                                    //считываем исходные данные, формируем массивы g и g1
       for (int i = 1; i <= n; ++i)                           //формируем массив ord[]
       {
           if (color[i] == 0)
               dfs(i);
       }
       col = 1;
       for (int i = ord.size(); i > 0; --i)                   //ищем компоненты связности, вызывая вершины в обратном порядке
       {                                                      //от сохранённого в ord[], что соответствует уменьшению времени конца обработки f[]
           if (component[ord[i - 1]] == 0)
               dfs2(ord[i - 1]), col++;
       }
   }

По окончании выполнения алгоритма в [math]component[i][/math] имеем номер компоненты, к которой принадлежит вершина [math]i[/math].

Литература

• Р.Седжвик. "Фундаментальные алгоритмы на С++. Алгоритмы на графах" - СПб, ДиаСофтЮП, 2002