Эвристики для поиска кратчайших путей — различия между версиями
Xottab (обсуждение | вклад) м (→ALT) |
м (rollbackEdits.php mass rollback) |
||
(не показаны 62 промежуточные версии 5 участников) | |||
Строка 1: | Строка 1: | ||
== Проблема поиска кратчайшего пути == | == Проблема поиска кратчайшего пути == | ||
− | + | {{Задача | |
− | * ориентированный граф <tex>G=(V,E)</tex> | + | |definition = |
− | * <tex>l(u,v) \geqslant 0</tex> | + | Дана сеть автомобильных дорог: |
− | * <tex>|V|=n, |E|=m</tex> | + | * ориентированный граф <tex>G=(V,E)</tex>, где |
− | * отправная точка | + | ** <tex>V</tex> — множество перекрёстков, |
− | + | ** <tex>E</tex> — множество дорог; | |
+ | * <tex>l(u,v) \geqslant 0</tex> — среднее время, которое занимает проезд по дороге, | ||
+ | * <tex>|V|=n, |E|=m</tex>, | ||
+ | * отправная точка — вершина <tex>s</tex>, пункт назначения — вершина <tex>t</tex> | ||
Цель: найти кратчайший путь <tex> s \rightsquigarrow t</tex> | Цель: найти кратчайший путь <tex> s \rightsquigarrow t</tex> | ||
− | + | }} | |
− | + | Количество перекрёстков и дорог может быть очень большим, тогда обычные алгоритмы поиска пути будут работать очень долго, поэтому попытаемся оптимизировать их для более быстрой работы. | |
− | |||
− | |||
− | |||
==Алгоритм Дейкстры== | ==Алгоритм Дейкстры== | ||
− | + | [[Алгоритм Дейкстры]]: | |
− | * | + | * На каждом шаге выбирает из множества непросмотренных вершин вершину с наименьшим расстоянием до старта и релаксирует рёбра, исходящие из неё, |
− | * завершает свою работу, когда цель достигнута (или просмотрены все вершины) | + | * завершает свою работу, когда цель достигнута (или просмотрены все вершины). |
Скорость работы алгоритма Дейкстры сильно зависит от скорости операций с приоритетной очередью. | Скорость работы алгоритма Дейкстры сильно зависит от скорости операций с приоритетной очередью. | ||
Строка 22: | Строка 22: | ||
Поскольку мы рассматриваем сеть автомобильных дорог, то <tex>m = O(n)</tex> (граф планарен почти везде). | Поскольку мы рассматриваем сеть автомобильных дорог, то <tex>m = O(n)</tex> (граф планарен почти везде). | ||
− | Для фибоначчиевых куч время работы алгоритма составляет <tex>O( | + | Для фибоначчиевых куч время работы алгоритма составляет <tex>O(n\log{n}+n)</tex>, для двоичных куч: <tex>O(n\log{n})</tex> |
Но на практике чаще используются 2-, 4- и 8-ичные кучи: они более простые, оценка времени работы содержит меньшее количество скрытых констант. | Но на практике чаще используются 2-, 4- и 8-ичные кучи: они более простые, оценка времени работы содержит меньшее количество скрытых констант. | ||
===Улучшения алгоритма Дейкстры=== | ===Улучшения алгоритма Дейкстры=== | ||
− | ====Многоуровневые корзины (multi-level buckets, MLB)==== | + | ====Многоуровневые корзины (англ. ''multi-level buckets, MLB'')==== |
<div >[[Файл:multilevel_buckets.jpg ]]</div> | <div >[[Файл:multilevel_buckets.jpg ]]</div> | ||
− | {| | + | {| class="wikitable" style="width:7cm; text-align: center" border=1 align="right" |
|+ Сравнение различных структур данных для поиска кратчайшего пути на карте Европы (CPU 2,4GHz, 16MB RAM) | |+ Сравнение различных структур данных для поиска кратчайшего пути на карте Европы (CPU 2,4GHz, 16MB RAM) | ||
! Структура данных !! Время работы (сек) | ! Структура данных !! Время работы (сек) | ||
Строка 46: | Строка 46: | ||
|} | |} | ||
Подходит только графов с целочисленными рёбрами. | Подходит только графов с целочисленными рёбрами. | ||
− | * Будем складывать вершины в "корзины" <tex>B[i] \ | + | * Будем складывать вершины в "корзины" <tex>B[i] = \{u \in B[i] : d(u)=i\}</tex>, |
− | * | + | * наша структура данных будет поддерживать индекс <tex>L = \{\forall i : i<L \Rightarrow B[i] = \emptyset\}</tex> |
− | * | + | * на каждом шаге алгоритма, если <tex>B[L]</tex> пусто, то увеличим <tex>L</tex>, а иначе достанем одну вершину из <tex>B[L]</tex>, |
− | * | + | * при релаксации будем убирать вершину из исходной корзины и класть в корзину, соответствующую новому значению <tex>d(u)</tex>. |
− | |||
− | |||
− | + | Можно заметить, что при такой реализации, все операции с приоритетной очередью будут выполняться за <tex>O(1)</tex>. Тогда, для одноуровневой реализации время работы алгоритма Дейкстры можно оценить как <tex>O(m+nC)</tex>, где <tex>C</tex> — максимальная длина ребра в графе. | |
− | + | При двухуровневой реализации будем поддерживать два уровня корзин: первый уровень будет соответствовать одноуровневой реализации, а корзины второго уровня будут содержать диапазон значений корзин первого уровня, которые в них входят. В этом случае, нам нужно поддерживать два индекса <tex>L_{top}</tex> и <tex>L_{bottom}</tex> для каждого из уровней соответственно. | |
При такой реализации, время работы алгоритма Дейкстры можно оценить как <tex>O(m+n(1+ \sqrt{C}))</tex> | При такой реализации, время работы алгоритма Дейкстры можно оценить как <tex>O(m+n(1+ \sqrt{C}))</tex> | ||
− | ====Калибровка (caliber)==== | + | ====Калибровка (англ. ''caliber'')==== |
− | Введём величину <b> | + | Введём величину <b>''калибр''</b> вершины <tex>c(v)</tex> — вес минимального ребра, входящего в <tex>v</tex> , или <tex>\infty</tex>, если в вершину не входит ни одно ребро. Будем говорить, что текущее значение <tex>d(v)</tex> точно, если оно равно длине пути <tex>s \rightsquigarrow v</tex>. |
{{Лемма | {{Лемма | ||
|about = 1 | |about = 1 | ||
|statement = | |statement = | ||
− | Предположим, что длины рёбер неотрицательны. Пусть <tex>\mu</tex> | + | Предположим, что длины рёбер неотрицательны. Пусть <tex>\mu</tex> — минимальное из текущих значений <tex>d(v):v \in V</tex>. Тогда, если существует такая вершина <tex>u</tex>, что <tex>\mu + c(u) \geqslant d(u)</tex>, то текущее значение <tex>d(u)</tex> точно. |
}} | }} | ||
− | Эта лемма позволяет нам смягчить правило выбора текущей вершины в алгоритме Дейкстры, при этом сохраняя инвариант(почти все вершины обрабатываются единожды). | + | Эта лемма позволяет нам смягчить правило выбора текущей вершины в алгоритме Дейкстры, при этом сохраняя инвариант (почти все вершины обрабатываются единожды). |
Калибровка использует Лемму 1 чтобы находить и обрабатывать вершины с точными текущими значениями расстояния до них. | Калибровка использует Лемму 1 чтобы находить и обрабатывать вершины с точными текущими значениями расстояния до них. | ||
− | Модифицируем нашу MLB | + | Модифицируем нашу MLB — структуру: будем хранить помеченные вершины в двух структурах: дерево поиска <tex>F</tex> и приоритетная очередь <tex>B</tex>, реализованная на MLB. |
− | Алгоритм, приведённый ниже, называется <b> | + | Алгоритм, приведённый ниже, называется <b>''алгоритмом умной очереди''</b> (англ. ''smart queue''). |
− | Вершины в <tex>F</tex> будут иметь точные метки. Если <tex>F</tex> непусто, мы удалим оттуда вершину и прорелаксируем всех её соседей. Если же <tex>F</tex> пусто, мы достанем из | + | Вершины в <tex>F</tex> будут иметь точные метки <tex>d(u)</tex>. Если <tex>F</tex> непусто, мы удалим оттуда вершину и прорелаксируем всех её соседей. Если же <tex>F</tex> пусто, мы достанем из |
<tex>B</tex> вершину с минимальной меткой и прорелаксируем всех её соседей. | <tex>B</tex> вершину с минимальной меткой и прорелаксируем всех её соседей. | ||
− | Рассмотрим механизм релаксации: пусть мы уменьшаем <tex>d(u)</tex>. Заметим, что в этом случае <tex>u</tex> не могло лежать в <tex>F</tex>(иначе <tex>d(u)</tex> было не точно). Если <tex>u \in B</tex> | + | Рассмотрим механизм релаксации: пусть мы уменьшаем <tex>d(u)</tex>. Заметим, что в этом случае <tex>u</tex> не могло лежать в <tex>F</tex> (иначе <tex>d(u)</tex> было не точно). Если <tex>u \in B</tex> — применим <tex>\mathtt{decrease — key}</tex> к <tex>u</tex>. Эта операция либо переместила <tex>u</tex> внутри <tex>B</tex>, либо определила, что метка <tex>d(u)</tex> точна и переместила <tex>u</tex> в <tex>F</tex>. |
− | Если же <tex>u \notin F | + | Если же <tex>u \notin F </tex> и <tex>u \notin B</tex>, мы применим операцию <tex>\mathtt{insert}</tex>, и <tex>u</tex> запишется в |
<tex>F</tex> или <tex>B</tex>, в зависимости от того, выполняется ли условие леммы. | <tex>F</tex> или <tex>B</tex>, в зависимости от того, выполняется ли условие леммы. | ||
Строка 82: | Строка 80: | ||
Мы можем уменьшить количество посещённых вершин в алгоритме Дейкстры, просто запустив его и из начальной и из конечной вершины. Такая эвристика не испортит скорость работы в худшем случае. | Мы можем уменьшить количество посещённых вершин в алгоритме Дейкстры, просто запустив его и из начальной и из конечной вершины. Такая эвристика не испортит скорость работы в худшем случае. | ||
− | Создадим две приоритетных очереди и запустим на одной из них алгоритм Дейкстры, ищущий <tex>d_{forward}(v)</tex> из <tex>s</tex>, а на другой | + | Создадим две приоритетных очереди и запустим на одной из них алгоритм Дейкстры, ищущий <tex>d_{forward}(v)</tex> из <tex>s</tex>, а на другой — ищущий <tex>d_{reverse}(v)</tex> из <tex>t</tex>. Алгоритм завершит свою работу, когда какая-нибудь вершина <tex>z</tex> будет удалена из обеих очередей. |
− | Тонкость этого алгоритма заключается в том, что кратчайший путь <tex>s \rightsquigarrow t</tex> не обязательно пройдёт через вершину <tex> | + | Тонкость этого алгоритма заключается в том, что кратчайший путь <tex>s \rightsquigarrow t</tex> не обязательно пройдёт через вершину <tex>z</tex>. Поэтому после остановки двунаправленного поиска, нам необходимо перебрать все рёбра из вершин, имеющих <tex>d_{forward}(u)</tex> в |
− | вершины с <tex>d_{reverse}(v)</tex> и найти ребро <tex>uv</tex> с минимальным <tex>d_{forward}(u)+\ell(uv)+ d_{reverse}(v) </tex>. Если эта величина меньше, чем длина первоначально найденного пути | + | вершины с <tex>d_{reverse}(v)</tex> и найти ребро <tex>uv</tex> с минимальным <tex>d_{forward}(u)+\ell(uv)+ d_{reverse}(v) </tex>. Если эта величина меньше, чем длина первоначально найденного пути — то это и есть результат работы алгоритма. |
На практике, такой двунаправленный поиск быстрее обычного алгоритма Дейкстры примерно в два раза. | На практике, такой двунаправленный поиск быстрее обычного алгоритма Дейкстры примерно в два раза. | ||
==Алгоритм A*== | ==Алгоритм A*== | ||
− | + | Приведём немного изменённую версию [[Алгоритм A*|этого алгоритма]]. | |
− | |||
− | |||
− | Возьмём функцию <tex>h(v): V \rightarrow \mathbb{R} </tex> | + | Возьмём функцию <tex>h(v): V \rightarrow \mathbb{R} </tex> — <b>''потенциал''</b> (aнгл. ''potential'') вершины. Тогда, с её помощью можно определить <b>''потенциальную стоимость''</b> (англ. ''reduced cost'') каждого ребра как <tex>\ell_{h}(v,w) = \ell(v,w)-h(v)+h(w)</tex> |
Заметим, что замена <tex>\ell</tex> на <tex>\ell_{h}</tex> не изменит кратчайших путей: возьмём любой путь <tex>P = (s=v_{0},v_{1},...,v_{k},v_{k+1}=t)</tex>. Тогда <tex>\ell_{h}(P) = \ell_{h}(s,v_{1}), \ell_{h}(s,v_{w})</tex>. Тогда <tex>\ell_{h}(P) = \ell_{h}(s,v_{1})+\ell_{h}(v_{1},v_{2})+...+\ell_{h}(v_{k},t) =</tex> <tex> \ell(s,v_{1})-h(s)+h(v_{1})+\ell(v_{1},v_{2})-h(v_1)+h(v_{2})+...+\ell(v_{k},t)-h(v_k)+h(t) = </tex> <tex>\ell(P)-h(s)+h(t)</tex>. | Заметим, что замена <tex>\ell</tex> на <tex>\ell_{h}</tex> не изменит кратчайших путей: возьмём любой путь <tex>P = (s=v_{0},v_{1},...,v_{k},v_{k+1}=t)</tex>. Тогда <tex>\ell_{h}(P) = \ell_{h}(s,v_{1}), \ell_{h}(s,v_{w})</tex>. Тогда <tex>\ell_{h}(P) = \ell_{h}(s,v_{1})+\ell_{h}(v_{1},v_{2})+...+\ell_{h}(v_{k},t) =</tex> <tex> \ell(s,v_{1})-h(s)+h(v_{1})+\ell(v_{1},v_{2})-h(v_1)+h(v_{2})+...+\ell(v_{k},t)-h(v_k)+h(t) = </tex> <tex>\ell(P)-h(s)+h(t)</tex>. | ||
Строка 102: | Строка 98: | ||
В нашем случае, алгоритм A* будет эквивалентен алгоритму Дейкстры, на графе <tex>G_{h}</tex>, у которого стоимости рёбер заменили на их потенциальные стоимости. На каждом шаге необходимо будет выбирать из очереди вершину <tex>v</tex> с минимальным значением <tex>\ell(P_{s \rightsquigarrow v})-h(s)+h(v)</tex>. Очевидно, <tex>h(s)</tex> будет одинаковым для любой вершины <tex>v</tex>. | В нашем случае, алгоритм A* будет эквивалентен алгоритму Дейкстры, на графе <tex>G_{h}</tex>, у которого стоимости рёбер заменили на их потенциальные стоимости. На каждом шаге необходимо будет выбирать из очереди вершину <tex>v</tex> с минимальным значением <tex>\ell(P_{s \rightsquigarrow v})-h(s)+h(v)</tex>. Очевидно, <tex>h(s)</tex> будет одинаковым для любой вершины <tex>v</tex>. | ||
− | Назовём функцию <tex>h</tex> <b>правдоподобной | + | Назовём функцию <tex>h</tex> <b>правдоподобной</b> (англ. ''feasible''), если <tex>\forall (u,v): \ell_{h}(u,v) \geqslant 0</tex>. Известно, что, если <tex>h(t)\leqslant 0</tex> и <tex>h</tex> правдоподобна, то для любого <tex>v</tex>, <tex>h(v)</tex> — нижняя граница <tex>d(v,t)</tex> |
− | Главное отличие от алгоритма Дейкстры в том, что A* является <b>информированным</b> алгоритмом | + | Главное отличие от алгоритма Дейкстры в том, что A* является <b>информированным</b> алгоритмом — он обрабатывает в первую очередь те вершины, которые находятся ближе к результату. |
Скорость работы алгоритма A*: | Скорость работы алгоритма A*: | ||
− | * в худшем случае | + | * в худшем случае — <tex>h(v)=0</tex> — вырождается в алгоритм Дейкстры |
− | * в лучшем случае | + | * в лучшем случае — <tex>\forall v: h(v)=d(v,t)</tex> |
**<tex>\ell_{h}(v,w)=0</tex>, если ребро <tex>(v,w)</tex> лежит на кратчайшем пути, иначе потенциальная стоимость положительна | **<tex>\ell_{h}(v,w)=0</tex>, если ребро <tex>(v,w)</tex> лежит на кратчайшем пути, иначе потенциальная стоимость положительна | ||
**все посещённые вершины будут лежать на кратчайшем пути | **все посещённые вершины будут лежать на кратчайшем пути | ||
Строка 114: | Строка 110: | ||
Для двунаправленной версии алгоритма нам нужны две потенциальные функции: | Для двунаправленной версии алгоритма нам нужны две потенциальные функции: | ||
− | * <tex>p_{f}(v)</tex>, оценивающая <tex> | + | * <tex>p_{f}(v)</tex>, оценивающая <tex>d(v,t)</tex> |
− | * <tex>p_{r}(v)</tex>, оценивающая <tex> | + | * <tex>p_{r}(v)</tex>, оценивающая <tex>d(s,v)</tex> |
В этом случае появляется дополнительная проблема: различные потенциальные стоимости у рёбер для различных обходов: | В этом случае появляется дополнительная проблема: различные потенциальные стоимости у рёбер для различных обходов: | ||
− | *<tex>\ell_{p_{f}}(v,w) = \ell(v,w)-p_{f}(v)+p_{f}(w)</tex> | + | *<tex>\ell_{p_{f}}(v,w) = \ell(v,w)-p_{f}(v)+p_{f}(w)</tex> — если ребро обрабатывается в обходе, начатом в <tex>s</tex> |
− | *<tex>\ell_{p_{r}}(v,w) = \ell(v,w)-p_{r}(w)+p_{r}(v)</tex> | + | *<tex>\ell_{p_{r}}(v,w) = \ell(v,w)-p_{r}(w)+p_{r}(v)</tex> — если ребро обрабатывается в обходе, начатом в <tex>t</tex> |
− | Чтобы избежать этой проблемы, необходимо, чтобы <tex>\ell_{p_{f}}(v,w) = \ell_{p_{r}}(v,w) \Leftrightarrow p_{f}(v) + p_{r}(v) = p_{f}(w) + p_{r}(w) = const</tex>. Кроме того, функции должны | + | Чтобы избежать этой проблемы, необходимо, чтобы <tex>\ell_{p_{f}}(v,w) = \ell_{p_{r}}(v,w) \Leftrightarrow p_{f}(v) + p_{r}(v) = p_{f}(w) + p_{r}(w) = const</tex>. Кроме того, функции должны быть монотонными. |
− | Решение | + | Решение — использовать усреднённые потенциальные функции: |
− | *<tex>h_{f}(v) = \ | + | *<tex>h_{f}(v) = \dfrac{p_{f}(v)-p_{r}(v)}{2}</tex> |
− | *<tex>h_{r}(v) = \ | + | *<tex>h_{r}(v) = \dfrac{p_{r}(v)-p_{f}(v)}{2} = -h_{f}(v)</tex> |
При таком выборе потенциальных функций, выполняется <tex>\forall u : h_{f}(u)+h_{r}(u)=0</tex> и тогда двунаправленный A* становится аналогичен двунаправленному алгоритму Дейкстры | При таком выборе потенциальных функций, выполняется <tex>\forall u : h_{f}(u)+h_{r}(u)=0</tex> и тогда двунаправленный A* становится аналогичен двунаправленному алгоритму Дейкстры | ||
Строка 132: | Строка 128: | ||
К сожалению, двунаправленный алгоритм Дейкстры всего в два раза быстрее обычного, а это слишком медленно. Рассмотрим алгоритм поиска кратчайшего пути, состоящий из двух этапов: | К сожалению, двунаправленный алгоритм Дейкстры всего в два раза быстрее обычного, а это слишком медленно. Рассмотрим алгоритм поиска кратчайшего пути, состоящий из двух этапов: | ||
− | # Препроцессинг | + | # Препроцессинг: |
− | #* запускается единожды для графа | + | #* запускается единожды для графа, |
− | #* может занимать много времени | + | #* может занимать много времени, |
− | #* рассчитывает некую вспомогательную информацию | + | #* рассчитывает некую вспомогательную информацию. |
− | # Запрос | + | # Запрос: |
− | #* может использовать данные, полученные во время препроцессинга | + | #* может использовать данные, полученные во время препроцессинга, |
− | #* запускается по требованию для пары <tex>(s,t)</tex> | + | #* запускается по требованию для пары <tex>(s,t)</tex>, |
− | #* должен выполняться очень быстро (в реальном времени) | + | #* должен выполняться очень быстро (в реальном времени). |
Можно рассмотреть в этом ключе два примера: | Можно рассмотреть в этом ключе два примера: | ||
− | * Алгоритм Дейкстры: препроцессинг | + | * Алгоритм Дейкстры: препроцессинг — ничего не делать, запрос — выполнение алгоритма Дейкстры; |
− | * Полный перебор: препроцессинг | + | * Полный перебор: препроцессинг — посчитать таблицу расстояний размером <tex>n \times n</tex> (займёт порядка 5 лет времени и 1 петабайта памяти для карты Европы), запрос — обратиться к элементу таблицы. |
− | Оба эти примера | + | Оба эти примера — крайние случаи. Нам нужно нечто более гибкое: препроцессинг за часы/минуты, рост количества предпосчитанных данных линейно от размера графа и запросы в реальном времени. |
===ALT=== | ===ALT=== | ||
Строка 151: | Строка 147: | ||
Аббревиатура ALT расшифровывается как <b>A</b>* +<b>L</b>andmarks + <b>T</b>riangle inequality : A* + ориентиры + неравенство треугольника. | Аббревиатура ALT расшифровывается как <b>A</b>* +<b>L</b>andmarks + <b>T</b>riangle inequality : A* + ориентиры + неравенство треугольника. | ||
− | Препроцессинг: | + | #Препроцессинг: |
− | * взять небольшое количество вершин (например, 16), обозначив их как <b>ориентиры | + | #* взять небольшое количество вершин (например, 16), обозначив их как <b>ориентиры</b> (англ. ''landmarks''), |
− | * для каждого из ориентиров посчитать кратчайшие пути до <b>всех</b> вершин | + | #* для каждого из ориентиров посчитать кратчайшие пути до <b>всех</b> вершин, |
− | * сохранить эти пути | + | #* сохранить эти пути. |
− | + | #Запрос: | |
− | Запрос: | + | #* используем A*, |
− | * используем A* | + | #* если некоторое ребро находится на кратчайшем пути между исходной точкой и ориентиром — по нему идём в первую очередь. |
− | * если некоторое ребро находится на кратчайшем пути между исходной точкой и ориентиром | ||
− | [[Файл:ALT.jpg|right]] | + | [[Файл:ALT.jpg|right|frame|рис. 1]] |
− | Будем использовать неравенство треугольника для нижних оценок пути: | + | Будем использовать неравенство треугольника для нижних оценок пути (см. рис. 1). Пусть <tex>A</tex> — один из ориентиров, тогда: |
− | *<tex>dist(v,w)\ | + | *<tex>dist(v,w)\geqslant dist(A,w)-dist(A,v)</tex>, |
− | *<tex>dist(v,w)\ | + | *<tex>dist(v,w)\geqslant dist(v,A)-dist(w,A)</tex>, |
− | *<tex>dist(v,w)\ | + | *<tex>dist(v,w)\geqslant \max\{dist(A,w)-dist(A,v),dist(v,A)-dist(w,A)\}</tex>. |
Эта эвристика хорошо работает, на дорожных графах, для которых верно следующее: как правило, кратчайший путь затрагивает небольшое количество локальных дорог, потом крупную автомагистраль и снова некоторое количество локальных дорог. | Эта эвристика хорошо работает, на дорожных графах, для которых верно следующее: как правило, кратчайший путь затрагивает небольшое количество локальных дорог, потом крупную автомагистраль и снова некоторое количество локальных дорог. | ||
Сложности в выборе ориентиров: | Сложности в выборе ориентиров: | ||
− | * хороший ориентир для запроса <tex>s \rightsquigarrow t</tex> должен находиться "до" <tex>s</tex> (точно не будет общих рёбер на кратчайшем пути) или "за" <tex>t</tex> (чем острее угол, тем меньше отклонение от предварительно посчитанного кратчайшего пути до искомого) | + | * хороший ориентир для запроса <tex>s \rightsquigarrow t</tex> должен находиться "до" <tex>s</tex> (точно не будет общих рёбер на кратчайшем пути) или "за" <tex>t</tex> (чем острее угол, тем меньше отклонение от предварительно посчитанного кратчайшего пути до искомого), |
− | * | + | * нам нужно выбрать такие ориентиры, которые будут неплохими для всех запросов. |
Выглядит логичным выбирать ориентиры на краю дорожной сети, тогда будет больше острых углов и ориентиры будут лучше. | Выглядит логичным выбирать ориентиры на краю дорожной сети, тогда будет больше острых углов и ориентиры будут лучше. | ||
Строка 180: | Строка 175: | ||
====Плоскостной (planar)==== | ====Плоскостной (planar)==== | ||
− | * | + | * Разделим карту на <tex>k</tex> секторов одинаковой площади, |
− | * возьмём ориентиром наиболее удалённую точку от центра в каждом секторе | + | * возьмём ориентиром наиболее удалённую точку от центра в каждом секторе. |
Такой способ подходит, только если граф имеет относительно правильную форму. На практике обычно используется оптимизированная версия этого алгоритма. | Такой способ подходит, только если граф имеет относительно правильную форму. На практике обычно используется оптимизированная версия этого алгоритма. | ||
Строка 197: | Строка 192: | ||
Мы можем улучшить найденные ориентиры, если сначала, используя избирательный метод, найдём набор ориентиров в несколько (обычно, 4) раза больше, чем необходимо, а потом отсеем лишние минимизируя время запроса. | Мы можем улучшить найденные ориентиры, если сначала, используя избирательный метод, найдём набор ориентиров в несколько (обычно, 4) раза больше, чем необходимо, а потом отсеем лишние минимизируя время запроса. | ||
− | Оценим качество набора ориентиров <tex>S</tex> основываясь на покрытии дуг. Будем говорить, что ориентир <tex>L</tex> покрывает дугу <tex>(v,w)</tex>, если v находится на кратчайшем пути <tex>L \rightsquigarrow w</tex>. То есть, <tex>\ell(v,w) = dist(L,w)-dist(L,v)</tex>, тогда такой выбор ориентира даст нам нижнюю границу для всех путей, содержащих <tex>(v,w)</tex>. | + | Оценим качество набора ориентиров <tex>S</tex> основываясь на покрытии дуг. Будем говорить, что ориентир <tex>L</tex> покрывает дугу <tex>(v,w)</tex>, если вершина <tex>v</tex> находится на кратчайшем пути <tex>L \rightsquigarrow w</tex>. То есть, <tex>\ell(v,w) = dist(L,w)-dist(L,v)</tex>, тогда такой выбор ориентира даст нам нижнюю границу для всех путей, содержащих <tex>(v,w)</tex>. |
Если хотя бы один ориентир из <tex>S</tex> покрывает дугу <tex>(v,w)</tex>, то и весь <tex>S</tex> покрывает эту дугу. | Если хотя бы один ориентир из <tex>S</tex> покрывает дугу <tex>(v,w)</tex>, то и весь <tex>S</tex> покрывает эту дугу. | ||
Строка 206: | Строка 201: | ||
Эта эвристика основывается на интуитивном наблюдении: не стоит посещать "локальные" дороги, когда мы находимся достаточно далеко и от <tex>s</tex>, и от <tex>t</tex> | Эта эвристика основывается на интуитивном наблюдении: не стоит посещать "локальные" дороги, когда мы находимся достаточно далеко и от <tex>s</tex>, и от <tex>t</tex> | ||
− | Пусть вершина <tex>v | + | Пусть вершина <tex>v</tex> лежит на кратчайшем пути <tex>P: s \rightsquigarrow t</tex>. Тогда, назовём <b>охватом</b> (англ. ''reach'') вершины <tex>v</tex> относительно <tex>P</tex> величину <tex>r(v,P) = \min\{dist(s,v), dist(v,t)\}</tex>. Охватом вершины относительно всего графа назовём величину <tex>r(v) = \max\limits_{P} r(v,P)</tex> — максимум по всем кратчайшим путям, содержащим <tex>v</tex>. |
+ | |||
+ | Помимо этого, будет полезным ввести понятие охвата ребра. Назовём охватом ребра <tex>(v,w)\in P</tex> относительно <tex>P</tex> величину <tex>\min\{dist(s,v), dist(w,t)\}</tex>. Аналогично, охватом ребра относительно всего графа назовём величину <tex>r(v,w) = \max\limits_{P} r((v,w),P)</tex> — максимум по всем кратчайшим путям, содержащим <tex>(v,w)</tex>. | ||
+ | |||
[[Файл:reach1.jpg|right]] | [[Файл:reach1.jpg|right]] | ||
Заметим, что вершины с большим охватом находятся вблизи середины некоторого длинного кратчайшего пути, то есть | Заметим, что вершины с большим охватом находятся вблизи середины некоторого длинного кратчайшего пути, то есть | ||
− | * на больших автомагистралях вершины имеют большой охват | + | * на больших автомагистралях вершины имеют большой охват, |
− | * на локальных перекрёстках (внутри населённых пунктов) вершины имеют маленький охват | + | * на локальных перекрёстках (внутри населённых пунктов) вершины имеют маленький охват. |
Во время обработки ребра <tex>(v,w)</tex>: | Во время обработки ребра <tex>(v,w)</tex>: | ||
− | * удалим вершину <tex>w</tex>, если <tex>r(w)<min\{d(s,v)+\ell(v,w), LB(w,t)\}</tex> | + | * удалим вершину <tex>w</tex>, если <tex>r(w)<\min\{d(s,v)+\ell(v,w), LB(w,t)\}</tex>, |
* оценка <tex>LB(w,t)</tex> должна быть подобрана таким образом, чтобы, если бы <tex>P=(s,..,v,w,...,t)</tex> было кратчайшим путём, <tex>r(w)</tex> было бы больше. | * оценка <tex>LB(w,t)</tex> должна быть подобрана таким образом, чтобы, если бы <tex>P=(s,..,v,w,...,t)</tex> было кратчайшим путём, <tex>r(w)</tex> было бы больше. | ||
[[Файл:reach2.jpg|right]] | [[Файл:reach2.jpg|right]] | ||
Как искать нижнюю оценку длины пути <tex>LB(w,t)</tex>? | Как искать нижнюю оценку длины пути <tex>LB(w,t)</tex>? | ||
− | * Явно: Евклидово расстояние, с помощью ориентиров | + | * Явно: Евклидово расстояние, с помощью ориентиров. |
− | * Неявно: сделать поиск двунаправленным | + | * Неявно: сделать поиск двунаправленным. |
Например, радиус <tex>R_{t}</tex> поиска в обратную сторону может быть нижней оценкой, т.к. если вершина <tex>w</tex> не была посещена поиском в обратную сторону, то <tex>d(w,t)\geq R_{t}</tex> | Например, радиус <tex>R_{t}</tex> поиска в обратную сторону может быть нижней оценкой, т.к. если вершина <tex>w</tex> не была посещена поиском в обратную сторону, то <tex>d(w,t)\geq R_{t}</tex> | ||
− | Таким образом, будем удалять <tex>w</tex>, если <tex>r(w)\textless min\{d(s,v)+\ell(v,w), R_{t}\}</tex> | + | Таким образом, будем удалять <tex>w</tex>, если <tex>r(w)\textless \min\{d(s,v)+\ell(v,w), R_{t}\}</tex> |
Для улучшения результата, нам необходимо сбалансировать прямой и обратный поиск. | Для улучшения результата, нам необходимо сбалансировать прямой и обратный поиск. | ||
− | + | Рассмотрим препроцессинг: | |
+ | |||
[[Файл:reach3.jpg|right]] | [[Файл:reach3.jpg|right]] | ||
− | * на начальном этапе <tex>\forall v | + | * на начальном этапе <tex>\forall v: r(v)\leftarrow 0</tex>, |
− | * для каждой вершины <tex>s \in V</tex> рассмотрим дерево кратчайших путей до всех других вершин <tex>T_{s}</tex> | + | * для каждой вершины <tex>s \in V</tex> рассмотрим дерево кратчайших путей до всех других вершин <tex>T_{s}</tex>, |
− | **найдём наиболее длинный путь <tex>P_{s\rightsquigarrow t}</tex>, содержащий <tex>v</tex> | + | **найдём наиболее длинный путь <tex>P_{s\rightsquigarrow t}</tex>, содержащий <tex>v</tex>, |
− | **Назовём глубиной вершины <tex>d_{s}(v)</tex> расстояние от <tex>s</tex>, высотой вершины <tex>h_{s}(v)</tex> | + | **Назовём глубиной вершины <tex>d_{s}(v)</tex> расстояние от <tex>s</tex>, высотой вершины <tex>h_{s}(v)</tex> — расстояние до наиболее далёкого потомка вершины, |
− | ** Тогда, охватом вершины в этом дереве будет величина <tex>r_{s}(v) = min\{d_{s}(v),h_{s}(v)\}</tex> | + | ** Тогда, охватом вершины в этом дереве будет величина <tex>r_{s}(v) = \min\{d_{s}(v),h_{s}(v)\}</tex>, |
− | ** Тогда обновим значение охвата <tex>r(v) \leftarrow max\{r(v),r_{s}(v)\}</tex> | + | ** Тогда обновим значение охвата <tex>r(v) \leftarrow \max\{r(v),r_{s}(v)\}</tex>. |
+ | |||
+ | Сложность алгоритма: <tex>O(nm)</tex>, поэтому он слишком медленный для больших графов и его нужно улучшить. | ||
− | + | Финальная версия препроцессинга будет иметь две фазы: | |
+ | *основная фаза (строятся частично обработанные деревья и добавляются сокращающие путь рёбра) | ||
+ | *фаза отладки (вершины с большим охватом обрабатываются указанным выше алгоритмом — их гораздо меньше, поэтому обработка будет быстрой) | ||
− | + | ====Сокращение области поиска==== | |
− | Заметим, что нам нужны только вершины с маленьким охватом <tex>r(v)\textless \varepsilon</tex>. Заметим также, что если <tex>r(v) \ | + | Заметим, что нам нужны только вершины с маленьким охватом <tex>r(v)\textless \varepsilon, \varepsilon=const</tex>. Заметим также, что если <tex>r(v) \geqslant \varepsilon</tex>, то существует такой путь <tex>P</tex>, что на нем лежит вершина <tex>v \in P</tex>, для которой выполняется условие <tex>r(v,P)\geqslant \varepsilon</tex> |
− | + | Назовём кратчайший путь <tex>P_{s\rightsquigarrow t} = (s, s',...,v,...,t',t)</tex> <tex>\varepsilon</tex>-минимальным, если выполняются условия: | |
− | <tex>dist(s,v)\ | + | *<tex>dist(s,v)\geqslant\varepsilon</tex>, |
+ | *<tex>dist(s',v)\textless\varepsilon</tex>, | ||
+ | *<tex>dist(v,t)\geqslant\varepsilon</tex>, | ||
+ | *<tex>dist(v,t')\textless\varepsilon</tex>. | ||
Таким образом, алгоритм будет выглядеть так: | Таким образом, алгоритм будет выглядеть так: | ||
− | *найдём оценку охвата <tex>r'(v)</tex>, используя только <tex>\varepsilon</tex> | + | * найдём оценку охвата <tex>r'(v)</tex>, используя только <tex>\varepsilon</tex> — минимальные пути, |
− | * если <tex>r'(v)<\varepsilon</tex>, то оценка корректна: <tex>r(v)=r'(v)</tex> | + | * если <tex>r'(v)<\varepsilon</tex>, то оценка корректна: <tex>r(v)=r'(v)</tex>, |
− | * если же <tex>r'(v)\ | + | * если же <tex>r'(v)\geqslant \varepsilon</tex>, то она нас не интересует: <tex>r(v)\geqslant r'(v)</tex>. |
− | Полезно будет рассматривать <b>частично обработанные деревья</b> ( | + | Полезно будет рассматривать <b>частично обработанные деревья</b> (англ. ''partial trees'') — деревья кратчайших путей, хранящие пути длиной, меньшей определённого порога. Тогда дерево кратчайших путей будет глубиной порядка <tex>2\varepsilon</tex>: |
− | * | + | * установим <tex>G'\leftarrow G</tex> и <tex>\varepsilon\leftarrow \varepsilon_{0}</tex> (маленькое число), |
− | * | + | * пока <tex>G'</tex> не пусто: |
− | ** найдём | + | ** найдём частично обработанное дерево кратчайших путей из <tex>v</tex>, чтобы найти вершины с охватом <tex>r(v) \geqslant \varepsilon</tex>, |
− | ** удалим из <tex>G'</tex> оставшиеся вершины (с охватом <tex>\textless\varepsilon</tex>, уже обработанные) | + | ** удалим из <tex>G'</tex> оставшиеся вершины (с охватом <tex>r(v) \textless\varepsilon</tex>, уже обработанные), |
− | ** установим <tex>\varepsilon\leftarrow 3\varepsilon</tex> | + | ** установим <tex>\varepsilon\leftarrow 3\varepsilon</tex>. |
[[Файл:reach5.jpg|right]] | [[Файл:reach5.jpg|right]] | ||
[[Файл:reach6.jpg|right]] | [[Файл:reach6.jpg|right]] | ||
− | |||
− | |||
− | Пусть <tex>G_{i} = (V_{i}, | + | ====Пенальти==== |
+ | Предыдущее улучшение создаёт проблему: мы должны предполагать, что кратчайший путь может начинаться в вершине с маленьким охватом, которые мы отбрасываем на каждой итерации. Для того, чтобы принять их во внимание, мы введём новую величину — <b>пенальти</b>(англ. ''penalty'') — верхнюю оценку на длину кратчайшего пути в "отброшенной" зоне. | ||
+ | |||
+ | Пусть <tex>G_{i} = (V_{i},A_{i})</tex> — подграф исходного графа, полученный на <tex>i</tex>-й итерации алгоритма, описанного выше. Назовём входящим пенальти (<i>in-penalty</i>) вершины <tex>v\in V_{i}</tex> величину <tex>\max\{ \overline{r}(u,v) : u,v \in A \backslash A_{i}\}</tex>, если у <tex>v</tex> было как минимум одно выброшенное в процессе алгоритма входящее ребро, или ноль в противном случае. | ||
Аналогично определим исходящее пенальти для исходящих из вершины рёбер. | Аналогично определим исходящее пенальти для исходящих из вершины рёбер. | ||
Изменим алгоритм, чтобы заменить вершины на их пенальти. Для этого переопределим глубину и высоту вершины. | Изменим алгоритм, чтобы заменить вершины на их пенальти. Для этого переопределим глубину и высоту вершины. | ||
− | * Глубиной вершины <tex>v\in T_{x}</tex>, где <tex>T_{x}</tex> | + | * Глубиной вершины <tex>v\in T_{x}</tex>, где <tex>T_{x}</tex> — частично обработанное дерево с корнем в <tex>x</tex> величину <tex>depth(v)=d(v)+in\textrm{-}penalty(x)</tex> , где <tex>d(v)</tex> — длина пути от корня до вершины в дереве. |
− | * Чтобы определить высоту вершины, нам нужно понятие "ложных листьев". Для каждой вершины <tex>v</tex> в дереве кратчайших путей добавим потомка <tex>v'</tex> | + | * Чтобы определить высоту вершины, нам нужно понятие "ложных листьев". Для каждой вершины <tex>v</tex> в дереве кратчайших путей добавим потомка <tex>v'</tex> — ложный лист, и ребро <tex>(v,v') = out\textrm{-}penalty(v)</tex>. В некотором смысле, <tex>v'</tex> будет выступать в роли всех рёбер, изначально инцидентных вершине <tex>v</tex>, которые мы отсекли. Тогда высотой вершины <tex>v</tex> будет расстояние от неё, до наиболее далёкого ложного листа. Подчеркнём, что в данный момент ложные листья добавляются неявно, и только после того, как дерево будет частично обработано. |
+ | |||
+ | ====Сокращение путей==== | ||
+ | Представим последовательность вершин степени 2 с большим охватом, идущих подряд. Добавим, <b>сокращающее ребро</b> (англ. ''shortcut'') — ребро, проходящее из начала пути в его конец с длиной, равной длине этого пути. Таким образом мы можем уменьшить охваты вершин на этом пути и ускорить препроцессинг (уменьшив количество проходимых рёбер), но увеличим память, необходимую для хранения нашего графа. | ||
+ | |||
+ | На этом шаге мы будем искать <b>пропускаемые</b> (англ. ''bypassable'') вершины. Назовём вершину <tex>v</tex> пропускаемой, если выполняется одно из двух условий: | ||
+ | * <tex>v</tex> имеет только одно входящее ребро <tex>(u,v)</tex> и одно исходящее ребро <tex>(v,w)</tex>, | ||
+ | * <tex>v</tex> имеет два входящих ребра <tex>(u,v)</tex>, <tex>(w,v)</tex> и два исходящих ребра <tex>(v,w)</tex> ,<tex>(v,u)</tex>. | ||
+ | В обоих случаях подразумевается, что <tex>u\neq w</tex>, то есть у <tex>v</tex> обязательно есть только два соседа. В первом случае, <tex>v</tex> — кандидат на односторонний пропуск (англ. ''one-way bypass''), во втором — на двухсторонний (англ. ''two-way bypass''). Мы будем использовать сокращающие рёбра, чтобы пропускать такие вершины. | ||
+ | |||
+ | Линия (line) — путь в графе, содержащий как минимум три вершины, так, что все вершины, кроме начальной и конечной, пропускаемые. Каждая пропускаемая вершина может принадлежать только одной линии. Линии также могут быть односторонне- и двухсторонне- пропускаемыми, в зависимости от типа вершин, которые они содержат. Легко заметить, что на линии могут лежать вершины только одного типа. | ||
+ | |||
+ | Как только мы нашли линию, самым простым решением будет добавить одно сокращающее ребро из начала в конец. Но практика показывает, что лучше сократить ещё и входящие в её состав линии меньшего размера, это ещё более уменьшит охваты пропускаемых вершин. Для этого перед добавлением сокращающего ребра по линии, рекурсивно найдём вершину, которая находится примерно на её середине и обработаем левый и правый отрезки как полноценные линии. | ||
+ | ====Удаление пропущенных вершин==== | ||
+ | Представим одностороннюю линию, состоящую из трёх вершин <tex>u</tex>, <tex>v</tex>, <tex>w</tex>. Когда мы добавили сокращающее ребро <tex>(u,w)</tex>, мы знали, что ребро <tex>(u,v)</tex> больше никогда не будет использоваться на кратчайшем пути содержащем подпуть <tex>u\rightsquigarrow w</tex>. Кроме того, любой кратчайший путь, содержащий <tex>(u,v)</tex>, будет оканчиваться либо в <tex>v</tex>, либо в близлежащей вершине с низким охватом. | ||
+ | Тогда, корректной верхней оценкой охвата <tex>(u,v)</tex> является <tex>\overline{r}(u,v)=\ell(u,v)+out\textrm{-}penalty(v)</tex>. Аналогично, <tex>\overline{r}(v,w)=\ell(v,w)+in\textrm{-}penalty(v)</tex>. Зная это, мы можем удалить вершину <tex>v</tex> и смежные ей рёбра из графа и обновить соответствующие значения пенальти для её соседей. | ||
+ | |||
+ | Такую же процедуру можно проделать с двусторонней линией, т.к. помимо оценок, указанных выше, можно добавить: | ||
+ | * <tex>\overline{r}(w,v)=\ell(w,v)+out\textrm{-}penalty(v)</tex>, | ||
+ | * <tex>\overline{r}(v,u)=\ell(v,u)+in\textrm{-}penalty(v)</tex>. | ||
+ | |||
+ | ====Фаза отладки==== | ||
+ | Тот факт, что мы используем пенальти, для ускорения вычисления корректных верхних оценок охвата, приводит к тому, что оценки становятся менее точными в процессе работы алгоритма и с ростом пенальти. Следовательно, для вершин, которые дольше находятся в графе, ошибки накапливаются. Это плохо, потом что такие вершины и являются самыми важными в графе — у них высокий охват, их посещает большое количество кратчайших путей. Если бы мы могли сделать их более точными, во время запроса можно было бы пропустить большее количество вершин. | ||
+ | |||
+ | В этом и заключается цель фазы отладки. После того, как мы найдём верные значения верхних оценок, используя частично обработанные деревья, во время фазы отладки мы пересчитаем охват <tex>\delta = const</tex> вершин с наибольшими значениями охвата (в них больше всего ошибок). | ||
+ | |||
+ | Пусть <tex>V_{\delta} \subset G</tex> — множество вершин с высоким охватом мощностью <tex>\delta</tex>. Чтобы пересчитать их охваты, сначала необходимо найти подграф <tex>G_{\delta} = (V_{\delta},A_{\delta})</tex>. Этот граф содержит не только первоначальные рёбра, но и добавленные во время основной фазы сокращающие рёбра. Затем мы запустим поиск точных значений охвата для каждой вершины этого подграфа. Так как деревья кратчайших путей будут содержать только вершины из <tex>G_{\delta}</tex>, то нам всё ещё нужно использовать входящие и исходящие пенальти для остальных вершин. Но, тем не менее, они будут меньше, т.к. для самых больших мы подсчитали точное значение охвата. | ||
+ | |||
+ | Во время фазы отладки мы заботимся о точности, а не о скорости, поэтому не добавляем новых сокращающих рёбер и используем точный алгоритм. | ||
+ | Поэтому, время работы алгоритма как минимум <tex>\Omega(\delta^{2})</tex> | ||
+ | |||
+ | ==Итог== | ||
+ | {| class="wikitable" style="width:17cm; text-align: center" border=1 | ||
+ | |+ Сравнение различных эвристик для поиска кратчайшего пути на карте США | ||
+ | ! Метод !! Время препроцессинга, м !! Память для препроцессинга, MB !! Сканируемые запросом вершины, шт !! Время запроса, мс | ||
+ | |- | ||
+ | | Алгоритм Дейкстры || - || 536 || 11 808 864 || 5440,5 | ||
+ | |- | ||
+ | | ALT(16 ориентиров) || 18 || 2563 || 187 968 || 295,45 | ||
+ | |- | ||
+ | | Reach || 28 || 893 || 2 405 || 1,77 | ||
+ | |- | ||
+ | |} | ||
+ | |||
+ | |||
+ | {| border="0" cellspacing="0" cellpadding="5" | ||
+ | |+ Работа различных алгоритмов на карте севера США | ||
+ | ! Алгоритм Дейкстры !!ALT (16 ориентиров) !! Reach | ||
+ | |- | ||
+ | | [[Файл:Ex1.jpg]] || [[Файл:Ex2.jpg]] || [[Файл:Ex3.jpg]] | ||
+ | |- | ||
+ | |} | ||
+ | Условные обозначения: | ||
+ | * зелёный квадрат — начало пути | ||
+ | * синий квадрат — конец пути | ||
+ | * зелёные линии — пути, пройденные прямым обходом | ||
+ | * синие линии — пути, пройденные обратным обходом | ||
+ | * красные ромбы — ориентиры | ||
+ | * жёлтые ромбы — выбранные при поиске пути ориентиры | ||
− | ==== | + | ==См. также== |
− | + | *[[Алгоритм Дейкстры]] | |
+ | *[[Алгоритм A*]] | ||
− | == | + | ==Источники информации== |
+ | *[http://logic.pdmi.ras.ru/midas/sites/default/files/midas-werneck.pdf Презентация Renato Werneck c MIDAS 2010 - основа конспекта] | ||
*[http://research.microsoft.com/pubs/64511/tr-2004-24.pdf A* meets graph theory] | *[http://research.microsoft.com/pubs/64511/tr-2004-24.pdf A* meets graph theory] | ||
*[http://algo2.iti.kit.edu/schultes/hwy/hhStarSubmit.pdf Highway Hierarhies Star*] | *[http://algo2.iti.kit.edu/schultes/hwy/hhStarSubmit.pdf Highway Hierarhies Star*] |
Текущая версия на 19:31, 4 сентября 2022
Содержание
Проблема поиска кратчайшего пути
Задача: |
Дана сеть автомобильных дорог:
|
Количество перекрёстков и дорог может быть очень большим, тогда обычные алгоритмы поиска пути будут работать очень долго, поэтому попытаемся оптимизировать их для более быстрой работы.
Алгоритм Дейкстры
- На каждом шаге выбирает из множества непросмотренных вершин вершину с наименьшим расстоянием до старта и релаксирует рёбра, исходящие из неё,
- завершает свою работу, когда цель достигнута (или просмотрены все вершины).
Скорость работы алгоритма Дейкстры сильно зависит от скорости операций с приоритетной очередью.
Поскольку мы рассматриваем сеть автомобильных дорог, то
(граф планарен почти везде).Для фибоначчиевых куч время работы алгоритма составляет
, для двоичных куч:Но на практике чаще используются 2-, 4- и 8-ичные кучи: они более простые, оценка времени работы содержит меньшее количество скрытых констант.
Улучшения алгоритма Дейкстры
Многоуровневые корзины (англ. multi-level buckets, MLB)
Структура данных | Время работы (сек) |
---|---|
Двоичная куча | 12,38 |
4-куча | 11,53 |
8-куча | 11,52 |
MLB | 9,36 |
MLB + калибровка | 8,04 |
Подходит только графов с целочисленными рёбрами.
- Будем складывать вершины в "корзины" ,
- наша структура данных будет поддерживать индекс
- на каждом шаге алгоритма, если пусто, то увеличим , а иначе достанем одну вершину из ,
- при релаксации будем убирать вершину из исходной корзины и класть в корзину, соответствующую новому значению .
Можно заметить, что при такой реализации, все операции с приоритетной очередью будут выполняться за
. Тогда, для одноуровневой реализации время работы алгоритма Дейкстры можно оценить как , где — максимальная длина ребра в графе.При двухуровневой реализации будем поддерживать два уровня корзин: первый уровень будет соответствовать одноуровневой реализации, а корзины второго уровня будут содержать диапазон значений корзин первого уровня, которые в них входят. В этом случае, нам нужно поддерживать два индекса
и для каждого из уровней соответственно.При такой реализации, время работы алгоритма Дейкстры можно оценить как
Калибровка (англ. caliber)
Введём величину калибр вершины
— вес минимального ребра, входящего в , или , если в вершину не входит ни одно ребро. Будем говорить, что текущее значение точно, если оно равно длине пути .Лемма (1): |
Предположим, что длины рёбер неотрицательны. Пусть — минимальное из текущих значений . Тогда, если существует такая вершина , что , то текущее значение точно. |
Эта лемма позволяет нам смягчить правило выбора текущей вершины в алгоритме Дейкстры, при этом сохраняя инвариант (почти все вершины обрабатываются единожды). Калибровка использует Лемму 1 чтобы находить и обрабатывать вершины с точными текущими значениями расстояния до них.
Модифицируем нашу MLB — структуру: будем хранить помеченные вершины в двух структурах: дерево поиска
и приоритетная очередь , реализованная на MLB. Алгоритм, приведённый ниже, называется алгоритмом умной очереди (англ. smart queue).Вершины в
будут иметь точные метки . Если непусто, мы удалим оттуда вершину и прорелаксируем всех её соседей. Если же пусто, мы достанем из вершину с минимальной меткой и прорелаксируем всех её соседей.Рассмотрим механизм релаксации: пусть мы уменьшаем
. Заметим, что в этом случае не могло лежать в (иначе было не точно). Если — применим к . Эта операция либо переместила внутри , либо определила, что метка точна и переместила в . Если же и , мы применим операцию , и запишется в или , в зависимости от того, выполняется ли условие леммы.Двунаправленный поиск
Мы можем уменьшить количество посещённых вершин в алгоритме Дейкстры, просто запустив его и из начальной и из конечной вершины. Такая эвристика не испортит скорость работы в худшем случае.
Создадим две приоритетных очереди и запустим на одной из них алгоритм Дейкстры, ищущий
из , а на другой — ищущий из . Алгоритм завершит свою работу, когда какая-нибудь вершина будет удалена из обеих очередей.Тонкость этого алгоритма заключается в том, что кратчайший путь
не обязательно пройдёт через вершину . Поэтому после остановки двунаправленного поиска, нам необходимо перебрать все рёбра из вершин, имеющих в вершины с и найти ребро с минимальным . Если эта величина меньше, чем длина первоначально найденного пути — то это и есть результат работы алгоритма.На практике, такой двунаправленный поиск быстрее обычного алгоритма Дейкстры примерно в два раза.
Алгоритм A*
Приведём немного изменённую версию этого алгоритма.
Возьмём функцию
— потенциал (aнгл. potential) вершины. Тогда, с её помощью можно определить потенциальную стоимость (англ. reduced cost) каждого ребра какЗаметим, что замена
на не изменит кратчайших путей: возьмём любой путь . Тогда . Тогда .Таким образом длины все путей
изменятся на одну и ту же величинуВ нашем случае, алгоритм A* будет эквивалентен алгоритму Дейкстры, на графе
, у которого стоимости рёбер заменили на их потенциальные стоимости. На каждом шаге необходимо будет выбирать из очереди вершину с минимальным значением . Очевидно, будет одинаковым для любой вершины .Назовём функцию
правдоподобной (англ. feasible), если . Известно, что, если и правдоподобна, то для любого , — нижняя границаГлавное отличие от алгоритма Дейкстры в том, что A* является информированным алгоритмом — он обрабатывает в первую очередь те вершины, которые находятся ближе к результату.
Скорость работы алгоритма A*:
- в худшем случае — — вырождается в алгоритм Дейкстры
- в лучшем случае —
- , если ребро лежит на кратчайшем пути, иначе потенциальная стоимость положительна
- все посещённые вершины будут лежать на кратчайшем пути
Двунаправленный A*
Для двунаправленной версии алгоритма нам нужны две потенциальные функции:
- , оценивающая
- , оценивающая
В этом случае появляется дополнительная проблема: различные потенциальные стоимости у рёбер для различных обходов:
- — если ребро обрабатывается в обходе, начатом в
- — если ребро обрабатывается в обходе, начатом в
Чтобы избежать этой проблемы, необходимо, чтобы
. Кроме того, функции должны быть монотонными.Решение — использовать усреднённые потенциальные функции:
При таком выборе потенциальных функций, выполняется
и тогда двунаправленный A* становится аналогичен двунаправленному алгоритму ДейкстрыДвухэтапные алгоритмы
К сожалению, двунаправленный алгоритм Дейкстры всего в два раза быстрее обычного, а это слишком медленно. Рассмотрим алгоритм поиска кратчайшего пути, состоящий из двух этапов:
- Препроцессинг:
- запускается единожды для графа,
- может занимать много времени,
- рассчитывает некую вспомогательную информацию.
- Запрос:
- может использовать данные, полученные во время препроцессинга,
- запускается по требованию для пары ,
- должен выполняться очень быстро (в реальном времени).
Можно рассмотреть в этом ключе два примера:
- Алгоритм Дейкстры: препроцессинг — ничего не делать, запрос — выполнение алгоритма Дейкстры;
- Полный перебор: препроцессинг — посчитать таблицу расстояний размером (займёт порядка 5 лет времени и 1 петабайта памяти для карты Европы), запрос — обратиться к элементу таблицы.
Оба эти примера — крайние случаи. Нам нужно нечто более гибкое: препроцессинг за часы/минуты, рост количества предпосчитанных данных линейно от размера графа и запросы в реальном времени.
ALT
Аббревиатура ALT расшифровывается как A* +Landmarks + Triangle inequality : A* + ориентиры + неравенство треугольника.
- Препроцессинг:
- взять небольшое количество вершин (например, 16), обозначив их как ориентиры (англ. landmarks),
- для каждого из ориентиров посчитать кратчайшие пути до всех вершин,
- сохранить эти пути.
- Запрос:
- используем A*,
- если некоторое ребро находится на кратчайшем пути между исходной точкой и ориентиром — по нему идём в первую очередь.
Будем использовать неравенство треугольника для нижних оценок пути (см. рис. 1). Пусть
— один из ориентиров, тогда:- ,
- ,
- .
Эта эвристика хорошо работает, на дорожных графах, для которых верно следующее: как правило, кратчайший путь затрагивает небольшое количество локальных дорог, потом крупную автомагистраль и снова некоторое количество локальных дорог.
Сложности в выборе ориентиров:
- хороший ориентир для запроса должен находиться "до" (точно не будет общих рёбер на кратчайшем пути) или "за" (чем острее угол, тем меньше отклонение от предварительно посчитанного кратчайшего пути до искомого),
- нам нужно выбрать такие ориентиры, которые будут неплохими для всех запросов.
Выглядит логичным выбирать ориентиры на краю дорожной сети, тогда будет больше острых углов и ориентиры будут лучше.
Существуют различные алгоритмы выбора ориентиров:
Случайный выбор (random)
Как следует из названия, ориентиры выбираются случайным образом
Плоскостной (planar)
- Разделим карту на секторов одинаковой площади,
- возьмём ориентиром наиболее удалённую точку от центра в каждом секторе.
Такой способ подходит, только если граф имеет относительно правильную форму. На практике обычно используется оптимизированная версия этого алгоритма.
Избирательный (avoid)
Этот алгоритм добавляет ориентиры по одному, глядя на вершины, которые плохо покрыты текущим набором ориентиров
.Построим из случайно выбранной вершины
дерево кратчайших путей . Весом каждой вершины в этом дереве назовём разность между истинной длиной пути и нижней оценкой этой длины , полученной по текущему набору ориентиров. Размером вершины назовём сумму её веса и размеров всех её потомков в . Если поддерево с корнем в содержит ориентир, размер равен 0.Начиная с максимальной по размеру вершины, пойдём вниз по дереву
и найдём лист с максимальным размером. Примем его за новый ориентир.Поиск максимального покрытия (maxCover)
Основным минусом избирательного метода является то, что первый ориентир выбирается случайным образом и выбор последующих ориентиров будет сильно зависеть от первоначального.
Мы можем улучшить найденные ориентиры, если сначала, используя избирательный метод, найдём набор ориентиров в несколько (обычно, 4) раза больше, чем необходимо, а потом отсеем лишние минимизируя время запроса.
Оценим качество набора ориентиров
основываясь на покрытии дуг. Будем говорить, что ориентир покрывает дугу , если вершина находится на кратчайшем пути . То есть, , тогда такой выбор ориентира даст нам нижнюю границу для всех путей, содержащих .Если хотя бы один ориентир из
покрывает дугу , то и весь покрывает эту дугу.Этот метод является наилучшим, но является наиболее медленным. Задача выбора ориентиров в этом случае становится NP-полной.
Reach
Эта эвристика основывается на интуитивном наблюдении: не стоит посещать "локальные" дороги, когда мы находимся достаточно далеко и от
, и отПусть вершина
лежит на кратчайшем пути . Тогда, назовём охватом (англ. reach) вершины относительно величину . Охватом вершины относительно всего графа назовём величину — максимум по всем кратчайшим путям, содержащим .Помимо этого, будет полезным ввести понятие охвата ребра. Назовём охватом ребра
относительно величину . Аналогично, охватом ребра относительно всего графа назовём величину — максимум по всем кратчайшим путям, содержащим .Заметим, что вершины с большим охватом находятся вблизи середины некоторого длинного кратчайшего пути, то есть
- на больших автомагистралях вершины имеют большой охват,
- на локальных перекрёстках (внутри населённых пунктов) вершины имеют маленький охват.
Во время обработки ребра
:- удалим вершину , если ,
- оценка должна быть подобрана таким образом, чтобы, если бы было кратчайшим путём, было бы больше.
Как искать нижнюю оценку длины пути
?- Явно: Евклидово расстояние, с помощью ориентиров.
- Неявно: сделать поиск двунаправленным.
Например, радиус
поиска в обратную сторону может быть нижней оценкой, т.к. если вершина не была посещена поиском в обратную сторону, тоТаким образом, будем удалять
, еслиДля улучшения результата, нам необходимо сбалансировать прямой и обратный поиск.
Рассмотрим препроцессинг:
- на начальном этапе ,
- для каждой вершины
- найдём наиболее длинный путь , содержащий ,
- Назовём глубиной вершины расстояние от , высотой вершины — расстояние до наиболее далёкого потомка вершины,
- Тогда, охватом вершины в этом дереве будет величина ,
- Тогда обновим значение охвата .
рассмотрим дерево кратчайших путей до всех других вершин ,
Сложность алгоритма:
, поэтому он слишком медленный для больших графов и его нужно улучшить.Финальная версия препроцессинга будет иметь две фазы:
- основная фаза (строятся частично обработанные деревья и добавляются сокращающие путь рёбра)
- фаза отладки (вершины с большим охватом обрабатываются указанным выше алгоритмом — их гораздо меньше, поэтому обработка будет быстрой)
Сокращение области поиска
Заметим, что нам нужны только вершины с маленьким охватом
. Заметим также, что если , то существует такой путь , что на нем лежит вершина , для которой выполняется условиеНазовём кратчайший путь
-минимальным, если выполняются условия:- ,
- ,
- ,
- .
Таким образом, алгоритм будет выглядеть так:
- найдём оценку охвата , используя только — минимальные пути,
- если , то оценка корректна: ,
- если же , то она нас не интересует: .
Полезно будет рассматривать частично обработанные деревья (англ. partial trees) — деревья кратчайших путей, хранящие пути длиной, меньшей определённого порога. Тогда дерево кратчайших путей будет глубиной порядка
:- установим и (маленькое число),
- пока
- найдём частично обработанное дерево кратчайших путей из , чтобы найти вершины с охватом ,
- удалим из оставшиеся вершины (с охватом , уже обработанные),
- установим .
не пусто:
Пенальти
Предыдущее улучшение создаёт проблему: мы должны предполагать, что кратчайший путь может начинаться в вершине с маленьким охватом, которые мы отбрасываем на каждой итерации. Для того, чтобы принять их во внимание, мы введём новую величину — пенальти(англ. penalty) — верхнюю оценку на длину кратчайшего пути в "отброшенной" зоне.
Пусть
— подграф исходного графа, полученный на -й итерации алгоритма, описанного выше. Назовём входящим пенальти (in-penalty) вершины величину , если у было как минимум одно выброшенное в процессе алгоритма входящее ребро, или ноль в противном случае. Аналогично определим исходящее пенальти для исходящих из вершины рёбер.Изменим алгоритм, чтобы заменить вершины на их пенальти. Для этого переопределим глубину и высоту вершины.
- Глубиной вершины , где — частично обработанное дерево с корнем в величину , где — длина пути от корня до вершины в дереве.
- Чтобы определить высоту вершины, нам нужно понятие "ложных листьев". Для каждой вершины в дереве кратчайших путей добавим потомка — ложный лист, и ребро . В некотором смысле, будет выступать в роли всех рёбер, изначально инцидентных вершине , которые мы отсекли. Тогда высотой вершины будет расстояние от неё, до наиболее далёкого ложного листа. Подчеркнём, что в данный момент ложные листья добавляются неявно, и только после того, как дерево будет частично обработано.
Сокращение путей
Представим последовательность вершин степени 2 с большим охватом, идущих подряд. Добавим, сокращающее ребро (англ. shortcut) — ребро, проходящее из начала пути в его конец с длиной, равной длине этого пути. Таким образом мы можем уменьшить охваты вершин на этом пути и ускорить препроцессинг (уменьшив количество проходимых рёбер), но увеличим память, необходимую для хранения нашего графа.
На этом шаге мы будем искать пропускаемые (англ. bypassable) вершины. Назовём вершину
пропускаемой, если выполняется одно из двух условий:- имеет только одно входящее ребро и одно исходящее ребро ,
- имеет два входящих ребра , и два исходящих ребра , .
В обоих случаях подразумевается, что
, то есть у обязательно есть только два соседа. В первом случае, — кандидат на односторонний пропуск (англ. one-way bypass), во втором — на двухсторонний (англ. two-way bypass). Мы будем использовать сокращающие рёбра, чтобы пропускать такие вершины.Линия (line) — путь в графе, содержащий как минимум три вершины, так, что все вершины, кроме начальной и конечной, пропускаемые. Каждая пропускаемая вершина может принадлежать только одной линии. Линии также могут быть односторонне- и двухсторонне- пропускаемыми, в зависимости от типа вершин, которые они содержат. Легко заметить, что на линии могут лежать вершины только одного типа.
Как только мы нашли линию, самым простым решением будет добавить одно сокращающее ребро из начала в конец. Но практика показывает, что лучше сократить ещё и входящие в её состав линии меньшего размера, это ещё более уменьшит охваты пропускаемых вершин. Для этого перед добавлением сокращающего ребра по линии, рекурсивно найдём вершину, которая находится примерно на её середине и обработаем левый и правый отрезки как полноценные линии.
Удаление пропущенных вершин
Представим одностороннюю линию, состоящую из трёх вершин
, , . Когда мы добавили сокращающее ребро , мы знали, что ребро больше никогда не будет использоваться на кратчайшем пути содержащем подпуть . Кроме того, любой кратчайший путь, содержащий , будет оканчиваться либо в , либо в близлежащей вершине с низким охватом. Тогда, корректной верхней оценкой охвата является . Аналогично, . Зная это, мы можем удалить вершину и смежные ей рёбра из графа и обновить соответствующие значения пенальти для её соседей.Такую же процедуру можно проделать с двусторонней линией, т.к. помимо оценок, указанных выше, можно добавить:
- ,
- .
Фаза отладки
Тот факт, что мы используем пенальти, для ускорения вычисления корректных верхних оценок охвата, приводит к тому, что оценки становятся менее точными в процессе работы алгоритма и с ростом пенальти. Следовательно, для вершин, которые дольше находятся в графе, ошибки накапливаются. Это плохо, потом что такие вершины и являются самыми важными в графе — у них высокий охват, их посещает большое количество кратчайших путей. Если бы мы могли сделать их более точными, во время запроса можно было бы пропустить большее количество вершин.
В этом и заключается цель фазы отладки. После того, как мы найдём верные значения верхних оценок, используя частично обработанные деревья, во время фазы отладки мы пересчитаем охват
вершин с наибольшими значениями охвата (в них больше всего ошибок).Пусть
— множество вершин с высоким охватом мощностью . Чтобы пересчитать их охваты, сначала необходимо найти подграф . Этот граф содержит не только первоначальные рёбра, но и добавленные во время основной фазы сокращающие рёбра. Затем мы запустим поиск точных значений охвата для каждой вершины этого подграфа. Так как деревья кратчайших путей будут содержать только вершины из , то нам всё ещё нужно использовать входящие и исходящие пенальти для остальных вершин. Но, тем не менее, они будут меньше, т.к. для самых больших мы подсчитали точное значение охвата.Во время фазы отладки мы заботимся о точности, а не о скорости, поэтому не добавляем новых сокращающих рёбер и используем точный алгоритм. Поэтому, время работы алгоритма как минимум
Итог
Метод | Время препроцессинга, м | Память для препроцессинга, MB | Сканируемые запросом вершины, шт | Время запроса, мс |
---|---|---|---|---|
Алгоритм Дейкстры | - | 536 | 11 808 864 | 5440,5 |
ALT(16 ориентиров) | 18 | 2563 | 187 968 | 295,45 |
Reach | 28 | 893 | 2 405 | 1,77 |
Алгоритм Дейкстры | ALT (16 ориентиров) | Reach |
---|---|---|
![]() |
![]() |
![]() |
Условные обозначения:
- зелёный квадрат — начало пути
- синий квадрат — конец пути
- зелёные линии — пути, пройденные прямым обходом
- синие линии — пути, пройденные обратным обходом
- красные ромбы — ориентиры
- жёлтые ромбы — выбранные при поиске пути ориентиры