Кратчайший путь в ациклическом графе — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 22: Строка 22:
  
 
==Пример==
 
==Пример==
 +
[[Файл:Graph_anticycle.jpg|thumb|right|180px|граф из примера]]
 
Пусть дан граф со следующими весами '''w''' ребер: <br />
 
Пусть дан граф со следующими весами '''w''' ребер: <br />
 
{| class="wikitable" cellpadding="4" border="1" style="border-collapse: collapse;"
 
{| class="wikitable" cellpadding="4" border="1" style="border-collapse: collapse;"
Строка 27: Строка 28:
 
| || '''1''' || '''2''' || '''3''' || '''4'''
 
| || '''1''' || '''2''' || '''3''' || '''4'''
 
|-
 
|-
| '''1''' || 0 || 1 || 1 || 4
+
| '''1''' || 0 || - || - || 1
 
|-
 
|-
| '''2''' || - || 0 || - || 2
+
| '''2''' || 2 || 0 || 1 || -
 
|-
 
|-
 
| '''3''' || - || - || 0 || 1
 
| '''3''' || - || - || 0 || 1
Строка 35: Строка 36:
 
| '''4''' || - || - || - || 0
 
| '''4''' || - || - || - || 0
 
|}
 
|}
Требуется найти путь из '''1''' в '''4'''. матрица d будет выглядеть следующим образом: <br />
+
Требуется найти путь из '''1''' в '''4'''.  
 +
Матрица p будет выглядеть следующим образом: <br />
 
{| class="wikitable" cellpadding="4" border="1" style="border-collapse: collapse;"
 
{| class="wikitable" cellpadding="4" border="1" style="border-collapse: collapse;"
 
|-
 
|-
 
| '''1''' || '''2''' || '''3''' || '''4'''
 
| '''1''' || '''2''' || '''3''' || '''4'''
 
|-
 
|-
| 0 || 1 || 1 || 2
+
| 2 || 1 || 3 || 4
 +
|}
 +
Матрица d будет выглядеть следующим образом:  <br />
 +
{| class="wikitable" cellpadding="4" border="1" style="border-collapse: collapse;"
 +
|-
 +
| '''1''' || '''2''' || '''3''' || '''4'''
 +
|-
 +
| 1 || 0 || 2 || 2
 
|}
 
|}
  
Ответ будет равен 2.
+
Ответ равен 2.
 
==Источники==
 
==Источники==
 
* [http://ru.wikipedia.org/wiki/Динамическое_программирование Википедия]
 
* [http://ru.wikipedia.org/wiki/Динамическое_программирование Википедия]
 
[[Категория: Динамическое программирование ]]
 
[[Категория: Динамическое программирование ]]

Версия 02:01, 29 ноября 2011

Формулировка задачи

Пусть дан ациклический взвешенный граф. Требуется найти вес кратчайшего пути из u в v

Определение:
Кратчайший путь из u в v – это такой путь из u в v, что его вес меньше или равен веса любого другого пути из u в v

Решение

Пусть d — матрица, где d[i] — вес кратчайшего пути из u в i. Изначально значения d равны бесконечности, кроме d[u], который равен 0. Пусть w[i][j] - вес ребра из i в j. Будем обходить граф в порядке топологической сортировки. Получаем следующие соотношения:

  • [math] d[i] = \min\limits_{\mathop{j:j \rightsquigarrow i}} (d[j] + w[j][i]) [/math]

Так как мы обходим граф в порядке топологической сортировки, то на i-ом шаге во всех d[j] (j такие, что: /exist ребро из j в i) уже записаны оптимальные ответы, и следовательно в d[i] так же будет записан оптимальный ответ.

Реализация

Реализуем данный алгоритм методом "динамика вперед":

 //d, w - матрицы как в описании, p - матрица индексов вершин графа в порядке топологической сортировки, i, j - счетчики 
inputData() //считывание данных
for i = 1 to n d[i] = infinity
topSort() //топологическая сортировка
d[p[u]] = 0
for i = 1 to n for j: /exist p[i] \rightsquigarrow j d[j] = min(d[j], d[p[i]] + w[p[i]][j])
writeData(); // запись данных

Пример

граф из примера

Пусть дан граф со следующими весами w ребер:

1 2 3 4
1 0 - - 1
2 2 0 1 -
3 - - 0 1
4 - - - 0

Требуется найти путь из 1 в 4. Матрица p будет выглядеть следующим образом:

1 2 3 4
2 1 3 4

Матрица d будет выглядеть следующим образом:

1 2 3 4
1 0 2 2

Ответ равен 2.

Источники