Кратчайший путь в ациклическом графе — различия между версиями
IRomchig (обсуждение | вклад) |
IRomchig (обсуждение | вклад) (→Реализация) |
||
Строка 16: | Строка 16: | ||
d[p[u]] = 0 <br /> | d[p[u]] = 0 <br /> | ||
for i = 1 to n | for i = 1 to n | ||
− | for j: p[i] | + | for j: есть ребро из p[i] в j |
d[j] = min(d[j], d[p[i]] + w[p[i]][j]) <br /> | d[j] = min(d[j], d[p[i]] + w[p[i]][j]) <br /> | ||
writeData(); // запись данных | writeData(); // запись данных |
Версия 10:00, 29 ноября 2011
Пусть дан ациклический ориентированный взвешенный граф. Требуется найти вес кратчайшего пути из u в v
Определение: |
Кратчайший путь из u в v – это такой путь из u в v, что его вес меньше или равен веса любого другого пути из u в v |
Содержание
Решение
Пусть d — массив, где d[i] — вес кратчайшего пути из u в i. Изначально значения d равны бесконечности, кроме d[u], который равен 0. Пусть w[i][j] - вес ребра из i в j. Будем обходить граф в порядке топологической сортировки. Получаем следующие соотношения:
Так как мы обходим граф в порядке топологической сортировки, то на i-ом шаге во всех d[j] (j такие, что: существует ребро из j в i) уже записаны оптимальные ответы, и следовательно в d[i] также будет записан оптимальный ответ.
Реализация
Реализуем данный алгоритм методом "динамика вперед":
//w - матрицы как в описании, d - массив как в описании, p - массив индексов вершин графа в порядке топологической сортировки, i, j - счетчики
inputData() //считывание данных
for i = 1 to n d[i] = infinity
p = topSort(w) //топологическая сортировка графа
d[p[u]] = 0
for i = 1 to n for j: есть ребро из p[i] в 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 |
3 | - | - | 0 | 1 |
4 | - | - | - | 0 |
Требуется найти путь из 2 в 4.
Массив p будет выглядеть следующим образом:
1 | 2 | 3 | 4 |
2 | 1 | 3 | 4 |
Массив d будет выглядеть следующим образом:
1 | 2 | 3 | 4 |
1 | 0 | 2 | 2 |
Ответ равен 2.