Изменения

Перейти к: навигация, поиск

Алгоритм Дейкстры

5862 байта добавлено, 19:30, 4 сентября 2022
м
rollbackEdits.php mass rollback
В ориентированном взвешанном графе {{Задача|definition=Для заданного взвешенного графа <tex>G = (V, E)</tex>, вес рёбер которого неотрицателен и определяется весовой функцией <tex>w(uv) \geqslant 0</tex>, Алгоритм Дейкстры находит длину кратчайшего найти кратчайшие пути из одной заданной вершины <tex>s</tex> до всех остальныхвершин. Веса всех рёбер неотрицательны.}}
== Алгоритм ==
В [[Ориентированный граф|ориентированном]] взвешенном [[Основные определения: граф, ребро, вершина, степень, петля, путь, цикл|графе]] <tex>G = (V, E)</tex>, вес [[Основные определения: граф, ребро, вершина, степень, петля, путь, цикл|рёбер]] которого неотрицателен и определяется весовой функцией <tex>w : E \to \mathbb{R}</tex>, алгоритм Дейкстры находит длины кратчайших [[Основные определения: граф, ребро, вершина, степень, петля, путь, цикл|путей]] из заданной [[Основные определения: граф, ребро, вершина, степень, петля, путь, цикл|вершины]] <tex>s</tex> до всех остальных.<br>В алгоритме поддерживается множество вершин <tex>U</tex>, для которых уже вычислены кратчайшие пути к ним длины кратчайших путей до них из вершины <tex>s</tex>. На каждой итерации основного цикла выбирается вершина <tex> u \notin U</tex>, которой на текущий момент соответствует минимальная оценка кратчайшего пути. Вершина <tex>u</tex> добавляется в множество <tex>U</tex> и производится релаксация всех исходящих из неё рёбер.
== Псевдокод ==
<code>Для всех</code> '''func''' dijkstra(s)''':''' '''for''' <tex>u v \in V</tex> : d[v] = <tex>d[u] \gets \infty</tex><tex> used[v] = ''false'' d[s] \gets = 0\</tex> <code>Пока</code> '''for''' <tex>i \exists v \notin Uin V</tex>: <code>Пусть</code> v = ''null'' '''for''' <tex>v j \notin Uin V</tex> <codefont color="green"> — вершина // найдём вершину с минимальнымрасстоянием</codefont> '''if''' !used[j] '''and''' (v == ''null'' '''or''' d[j] <tex>d[v]</tex>) v = j: <code>Для всех</code> '''if''' d[v] == <tex>u \notin Uinfty</tex> '''break''' used[v] = ''true'' '''for''' e : исходящие из ''v'' рёбра <codefont color="green">таких// произведём релаксацию по всем рёбрам, что</code> <tex>vu \in Eисходящим из ''v''</texfont>:: <code>если</code> <tex> '''if''' d[uv] > + e.len < d[ve.to] + w(vu)</tex> <code>то</code>::: <tex> d[ue.to] \gets = d[v] + w (vu)</tex>: <tex>U \gets v </tex>e.len
== Обоснование корректности ==
{{Теорема|statement=Пусть <tex>pG = (V, E)</tex> {{---}} ориентированный взвешенный граф, вес рёбер которого неотрицателен, <tex>s</tex> {{---}} стартовая вершина.Тогда после выполнения алгоритма Дейкстры <tex>d(u) = \rho(s, u)</tex> для всех <tex>u</tex>, где <tex>\rho(s, vu)</tex> {{---}} длина кратчайшего пути из вершины <tex>us</tex> в вершину <tex>vu</tex>. |proof=Докажем по индукции, что в момент посещения любой вершины <tex>u</tex>, <tex>d(u) = p\rho(s, u)</tex>, где .* На первом шаге выбирается <tex>s</tex> - стартовая вершина.* Первая вершина - стартовая , для неё выполнено: <tex>d(s) = l\rho(s, s) = 0</tex>* Пускай мы выбрали Пусть для посещения вершину <tex>n</tex> первых шагов алгоритм сработал верно и на <tex>n + 1</tex> шагу выбрана вершина <tex>u \ne s</tex>. Докажем, что в этот момент <tex>d(u) = p\rho(s, u)</tex>. Для начала отметим, что для любой вершины <tex>v</tex>, всегда выполняется <tex>d(v) \ge pgeqslant \rho(s, v)</tex> (алгоритм не может найти путь короче, чем кратчайший из всех существующих). Пусть <tex>P</tex> — кратчайший путь из <tex>s</tex> в <tex>u</tex>, <tex>v</tex> {{---}} первая непосещённая вершина на <tex>P</tex>, <tex>z</tex> {{---}} предшествующая ей (следовательно, посещённая). Поскольку путь <tex>P</tex> кратчайший, его часть, ведущая из <tex>s</tex> через <tex>z</tex> в <tex>v</tex>, тоже кратчайшая, следовательно <tex>p\rho(s, v) = p\rho(s, z) + w(zv)</tex>. По предположению индукции, в момент посещения вершины <tex>z</tex> выполнялось <tex>d(z) = p\rho(s, z)</tex>, следовательно, вершина <tex>v</tex> тогда получила метку не больше чем <tex>d(z) + w(zv) = p\rho(s, z) + w(zv) = p\rho(s, v)</tex> (если существует <tex>k</tex>, такое что <tex>p(s, k) + w(kv) < p(s, z) + w(zv)</tex> то <tex>z</tex> не принадлежит <tex>P</tex>). Следовательноследовательно, <tex>d(v) = p\rho(s, v)</tex>. С другой стороны, поскольку сейчас мы выбрали вершину <tex>u</tex>, её метка минимальна среди непосещённых, то есть <tex>d(u) \le leqslant d(v) = p\rho(s, uv) \le pleqslant \rho(s, u)</tex>, где второе неравенсто верно из-за ранее упомянутого определения вершины <tex>v)</tex>в качестве первой непосещённой вершины на <tex>P</tex>, то есть вес пути до промежуточной вершины не превосходит веса пути до конечной вершины вследствие неотрицательности весовой функции. Комбинируя это с <tex>d(u) \ge pgeqslant \rho(s, u)</tex>, имеем <tex>d(u) = p\rho(s, u)</tex>, что и требовалось доказать.
*Поскольку алгоритм заканчивает работу, когда все вершины посещены, в этот момент <tex>d(u) = p\rho(s, u)</tex> для всех <tex>u</tex>.}}
== Оценка сложности ==
Основной цикл выполняется <tex>V</tex> раз. Релаксация выполниться всего <tex>E</tex> раз. В реализации алгоритма присутствует функция выбора вершины с минимальным значением <tex>d</tex>, асимптотика её и релаксация по всем рёбрам для данной вершины. Асимптотика работы зависит от реализации.
Таким образом:Пусть <tex>n</tex> {{---}} количество вершин в графе, <tex>m</tex> {{---}} количество рёбер в графе. {| borderclass="1wikitable" cellpadding|-! rowspan="52" cellspacing="0" style="text-align:center" width=30%|!stylecolspan="background:#f2f2f23"|Структура данных Время работы!stylerowspan="background:#f2f2f22"|Время работыОписание|-! Поиск минимума! Релаксация! Общее
|-
|stylealign="background:#f9f9f9center"|Наивная реализация|stylealign="background:#f9f9f9center"|<tex>O(Vn)</tex>| align="center" | <tex>O(1)</tex>| align="center" | <tex>O(n^2+Em)</tex>| align="center" | <tex>n</tex> раз осуществляем поиск вершины с минимальной величиной <tex>d</tex> среди <tex>O(n)</tex>непомеченных вершин и <tex>m</tex> раз проводим релаксацию за <tex>O(1)</tex>. Для плотных графов (<tex>m \approx n^2</tex>) данная асимптотика является оптимальной.
|-
|stylealign="background:#f9f9f9center"|[[Двоичная куча]]|stylealign="background:#f9f9f9center"|<tex>O(E\log{Vn})</tex>| align="center" | <tex>O(\log{n})</tex>| align="center" | <tex>O(m\log{n})</tex>| align="center" | Используя двоичную кучу можно выполнять операции извлечения минимума и обновления элемента за <tex>O(\log{n})</tex>. Тогда время работы алгоритма Дейкстры составит <tex>O(n\log{n} + m\log{n}) = O(m\log{n})</tex>.
|-
|stylealign="background:#f9f9f9center"| [[Фибоначчиевы кучи|Фибоначчиева куча]]| align="center" | <tex>O(\log{n})</tex>| align="center" | <tex>O(1)</tex>| align="center" | <tex>O(n\log{n} + m)</tex>|stylealign="background:#f9f9f9center"|Используя Фибоначчиевы кучи можно выполнять операции извлечения минимума за <tex>O(\log{n})</tex> и обновления элемента за <tex>O(1)</tex>. Таким образом, время работы алгоритма составит <tex>O(Vn\log{Vn}+Em)</tex>.
|}
На практике удобно использовать стандартные контейнеры (например, '''std::set''' или '''std::priority_queue''' в C++). <br>При реализации необходимо хранить вершины, которые упорядочены по величине <tex>d</tex>, для этого в контейнер можно помещать пару {{---}} расстояние-вершина. В результате будут храниться пары, упорядоченные по расстоянию.  Изначально поместим в контейнер стартовую вершину <tex>s</tex>. Основной цикл будет выполняться, пока в контейнере есть хотя бы одна вершина. На каждой итерации извлекается вершина с наименьшим расстоянием <tex>d</tex> и выполняются релаксации по рёбрам из неё. При выполнении успешной релаксации нужно удалить из контейнера вершину, до которой обновляем расстояние, а затем добавить её же, но с новым расстоянием.<br>В обычных кучах нет операции удаления произвольного элемента. При релаксации можно не удалять старые пары, в результате чего в куче может находиться одновременно несколько пар расстояние-вершина для одной вершины (с разными расстояниями). Для корректной работы при извлечении из кучи будем проверять расстояние: пары, в которых расстояние отлично от <tex>d[v]</tex> будем игнорировать. При этом асимптотика будет <tex>O(m\log{m})</tex> вместо <tex>O(m\log{n})</tex>. == Источники информации ==* ''Кормен, Томас Х., ЛейзерсонКормен, Чарльз И., РивестЛейзерсон, Рональд Л.Ривест, Клиффорд Штайн Клиффорд'' '''Алгоритмы: построение и анализ''', 2-е издание. Пер. с англизд. — М.:Издательский дом "Вильямс"«Вильямс», 20102007. — 1296 с.: ил. — Парал. тит. англ459. — ISBN 978-5-84598489-0857-5 (рус4* [http://e-maxx.)ru/algo/dijkstra MAXimal :: algo :: Нахождение кратчайших путей от заданной вершины до всех остальных вершин алгоритмом Дейкстры]* [httphttps://ru.wikipedia.org/wiki/Алгоритм_Дейкстры Википедия — свободная энциклопедияАлгоритм Дейкстры]* [https://en.wikipedia.org/wiki/Dijkstra%27s_algorithm Wikipedia — Dijkstra's algorithm]
[[Категория: Алгоритмы и структуры данных]]
[[Категория: Кратчайшие пути в графах ]]
1632
правки

Навигация