Алгоритм Джонсона — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Описание)
(Псевдокод)
Строка 67: Строка 67:
  
 
  Строится граф <tex>G' = (V',\;E')</tex>, где <tex>V' = V \cup \{s\}</tex>,  
 
  Строится граф <tex>G' = (V',\;E')</tex>, где <tex>V' = V \cup \{s\}</tex>,  
  для некоторой новой вершины <tex>s \not\in V</tex>, а <tex>E' = E \cup \{(s,\;v): v \in V\}</tex>
+
  для некоторой новой вершины <tex>s \not\in V</tex>, а <tex>E' = E \cup \{(s,\;v): \omega(s, v) = 0,\ v \in V \}</tex>
 
  '''if''' Bellman_Ford<tex>(G',\;\omega,\;s)</tex> == FALSE
 
  '''if''' Bellman_Ford<tex>(G',\;\omega,\;s)</tex> == FALSE
 
     '''then''' out << «Входной граф содержит цикл с отрицательным весом»
 
     '''then''' out << «Входной граф содержит цикл с отрицательным весом»
Строка 81: Строка 81:
 
             '''for''' для каждой вершины <tex>v \in V</tex>
 
             '''for''' для каждой вершины <tex>v \in V</tex>
 
                 '''do''' <tex>d_{uv} \leftarrow \delta_\varphi(u,\;v) + \varphi(v) - \varphi(u)</tex>
 
                 '''do''' <tex>d_{uv} \leftarrow \delta_\varphi(u,\;v) + \varphi(v) - \varphi(u)</tex>
     '''return''' D
+
     '''return''' d
  
 
Итого, в начале алгоритм Форда-Беллмана либо строит потенциальную функцию такую, что после перевзвешивания все веса ребер будут неотрицательны, либо выдает сообщение о том, что в графе присутствует отрицательный цикл.
 
Итого, в начале алгоритм Форда-Беллмана либо строит потенциальную функцию такую, что после перевзвешивания все веса ребер будут неотрицательны, либо выдает сообщение о том, что в графе присутствует отрицательный цикл.

Версия 20:42, 3 ноября 2011

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

Алгоритм

Описание

Алгоритм Джонсона позволяет найти кратчайшие пути между всеми парами вершин в течение времени [math] O(V^2 * \log(V) + VE) [/math]. Для разреженных графов этот алгоритм ведет себя асимптотически быстрее алгоритма Флойда. Этот алгоритм либо возвращает матрицу кратчайших расстояний между всеми парами вершин, либо сообщение о том, что в графе существует цикл отрицательной длины.

В этом алгоритме используется метод изменения веса (англ. reweighting). Суть его заключается в том, что для заданного графа [math] G [/math] строится новая весовая функция [math] \hat{\omega} [/math], неотрицательная для всех ребер графа [math] G [/math] и сохраняющая кратчайшие пути. Такая весовая функция строится при помощи так называемой потенциальной функции.


Определение:
Пусть [math] \varphi : V \rightarrow \mathbb R [/math] - произвольное отображение из множества вершин в вещественные числа. Тогда новой весовой функцией будет [math] \omega_\varphi(u, v) = \omega(u, v) + \varphi(u) - \varphi(v) [/math].


Такая потенциальная функция строится при помощи добавлении фиктивной вершины в [math] G [/math] и запуском алгоритма Форда-Беллмана из нее. На этом же этапе мы сможем обнаружить наличие отрицательного цикла в графе.

Теперь, когда мы знаем, что веса всех ребер неотрицательны, и кратчайшие пути сохранятся, можно запустить алгоритм Дейкстры из каждой вершины и таким образом найти кратчайшие расстояния между всеми парами вершин.

Сохранение кратчайших путей

Утверждается, что если какой-то путь [math] P [/math] был кратчайшим относительно весовой функции [math] \omega [/math], то он будет кратчайшим и относительно новой весовой функции [math] \hat{\omega} [/math].

Лемма:
Пусть [math]P,\; Q : a \rightsquigarrow b\;[/math] и [math]w(P) \lt w(Q).[/math] Тогда [math]\forall \varphi: \; w_\varphi(P) \lt w_\varphi(Q)[/math]
Доказательство:
[math]\triangleright[/math]
[math]P: \;u_0 \rightarrow u_1 \rightarrow u_2 \rightarrow ... \rightarrow u_k [/math]
[math]w_\varphi(P) = w_\varphi(u_0u_1) + w_\varphi(u_1u_2) + ... + w_\varphi(u_{k-1}u_k) = \varphi(u_0) + w(u_0u_1) - \varphi(u_1) + ... + \varphi(u_{k-1}) + w(u_{k-1}u_k) - \varphi(u_k) = \varphi(u_0) + w(P) - \varphi(u_k)[/math]
[math]w(P) \lt w(Q)[/math]
[math]w_\varphi(P) = \varphi(a) + w(P) - \varphi(b)[/math]
[math]w_\varphi(Q) = \varphi(a) + w(Q) - \varphi(b)[/math]
Отсюда, [math]w_\varphi(P) \lt w_\varphi(Q)[/math]
[math]\triangleleft[/math]

Теорема о существовании потенциальной функции

Теорема:
В графе [math]G[/math] нет отрицательных циклов [math]\Leftrightarrow[/math] существует потенциальная функция [math] \phi:\; \forall uv \in E\; w_\varphi(uv) \ge 0 [/math]
Доказательство:
[math]\triangleright[/math]

[math]\Leftarrow [/math]: [math]C[/math] - цикл в графе [math]G[/math]

[math]w(C) = w_\varphi(C) - \sum\limits_{uv \in C} (\varphi(u) - \varphi(v))= w_\varphi(C) \ge 0[/math]

[math]\Rightarrow [/math]: Добавим вершину [math]s[/math] в граф, соединим её со всеми вершинами графа [math]G[/math] ребрами весом [math]w = 0[/math].

Обозначение : [math]\delta(i,\;j)[/math] - минимальное расстояние между вершинами [math]i,\; j[/math] графа [math]G[/math].
[math]\phi(u) = \delta(s,\;u)[/math]
[math]w_\phi(uv) = \phi(u) + w(uv) - \phi(v) = \delta(s,\;u) + w(uv) - \delta(s,\;v)[/math].
[math]\delta(s,\;u) + w(uv) = [/math] {какой-то путь [math]s \rightsquigarrow v[/math]}.
[math]\delta(s,\;v) =[/math] {минимальный путь [math]s \rightsquigarrow v[/math]}.
Следовательно, [math]w_\phi(uv) \ge 0[/math]
[math]\triangleleft[/math]

Псевдокод

Алгоритм Джонсона

Строится граф [math]G' = (V',\;E')[/math], где [math]V' = V \cup \{s\}[/math], 
для некоторой новой вершины [math]s \not\in V[/math], а [math]E' = E \cup \{(s,\;v): \omega(s, v) = 0,\ v \in V \}[/math]
if Bellman_Ford[math](G',\;\omega,\;s)[/math] == FALSE
   then out << «Входной граф содержит цикл с отрицательным весом»
   else for для каждой [math]v \in V'[/math]
        do присвоить величине [math]\varphi(v)[/math] значение [math]\delta(s,\;v)[/math],
           вычисленное алгоритмом Беллмана — Форда
        for для каждого ребра [math](u,\;v) \in E'[/math]
            do [math]w_\varphi(u,\;v) \leftarrow w(u,\;v) + \varphi(u) - \varphi(v)[/math]
        for для каждой вершины [math]u \in V[/math]
            do вычисление с помощью алгоритма Дейкстры
            [math](G,\;w_\varphi,\;u)[/math] величин [math]\delta_\varphi(u,\;v)[/math]
            для всех вершин [math]v \in V[/math]
            for для каждой вершины [math]v \in V[/math]
                do [math]d_{uv} \leftarrow \delta_\varphi(u,\;v) + \varphi(v) - \varphi(u)[/math]
   return d

Итого, в начале алгоритм Форда-Беллмана либо строит потенциальную функцию такую, что после перевзвешивания все веса ребер будут неотрицательны, либо выдает сообщение о том, что в графе присутствует отрицательный цикл.

Затем из каждой вершины запускается алгоритм Дейкстры для составления искомой матрицы. Так как все веса ребер теперь неотрицательны, алгоритм Дейкстры будет работать корректно. А поскольку перевзвешивание таково, что кратчайшие пути относительно обеих весовых функций совпадают, алгоритм Джонсона в итоге корректно найдет все кратчайшие пути между всеми парами вершин.

Сложность

Алгоритм Джонсона работает за [math]O(VE + VD)[/math], где [math]O(D)[/math] - время работы алгоритма Дейкстры. Если в алгоритме Дейкстры неубывающая очередь с приоритетами реализована в виде фибоначчиевой кучи, то время работы алгоритма Джонсона равно [math]O(V^2\log V + V E)[/math].

См. также

Литература

  • Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ.[1] — 2-е изд. — М.: Издательский дом «Вильямс», 2007. — С. 1296.