Дискретная математика (Обход графа, Алгоритм Форда – Фалкерсона и т.д. и т.п), страница 6
Описание файла
Файл "Дискретная математика" внутри архива находится в папке "Обход графа, Алгоритм Форда - Фалкерсона и т.д. и т.п". Документ из архива "Обход графа, Алгоритм Форда – Фалкерсона и т.д. и т.п", который расположен в категории "". Всё это находится в предмете "дискретная математика" из 3 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "книги и методические указания", в предмете "дискретная математика" в общих файлах.
Онлайн просмотр документа "Дискретная математика"
Текст 6 страницы из документа "Дискретная математика"
Найдем кратчайший путь из вершины 1 в вершину 7 (рис. 19).
Рис. 19
-
Пометим вершину 1 индексом λ1 = 0.
-
Смежными с 1-й являются вершины 2 и 3. ξ2 = 0 + 3 = 3. ξ3 = 0 + 1 = 1. Величина ξ3 минимальна. Помечаем вершину 3: λ3 = 1. Помечены вершины 1 и 3.
-
Смежными с помеченными вершинами (1 и 3) являются вершины 2, 4 и 5. ξ2 = 0 + 3 = 3. ξ4 = 1 + 1 = 2. ξ5 = 1 + 6 = 7. Величина ξ4 минимальна. Помечаем вершину 4 индексом λ4 = 2. Помечены вершины 1, 3 и 4.
-
Смежными с помеченными вершинами (1, 3 и 4) являются вершины 2 и 5. ξ5 = 2 + 4 = 6. ξ5 = 1 + 6 = 7. ξ2 = 0 + 3 = 3. ξ2 = 2 + 2 = 4. Помечаем вершину 2: λ2 = 3. Помечены вершины 1, 2, 3, 4.
-
Смежной с помеченными вершинами (1, 2, 3, 4) является вершина 5.
ξ5 = 2 + 4 = 6. ξ5 = 1 + 6 = 7. Помечаем вершину 5 индексом λ5 = 6. Помечены вершины 1, 2, 3, 4 и 5.
-
Смежными с помеченными вершинами (1, 2, 3, 4, 5) являются вершины 6 и 7. ξ6 = 6 + 2 = 8. ξ7 = 6 + 9 = 15. Величина ξ6 минимальна для вершины 6. Помечаем вершину 6: λ6 = 8.
-
Смежная с помеченными вершинами (1, 2, 3, 4, 5, 6) вершина 7.
ξ7 = 6 + 9 = 15. ξ7 = 8 + 1 = 9. Помечаем вершину 7 индексом λ7 = 9.
-
Для вершины 6 смежной является вершина 7. ξ7 = 8 + 1 = 9. Величина ξ7 минимальна. Помечаем вершину 7 индексом λ7 = 9.
С помощью алгоритма Дейкстра мы получили длину кратчайшего пути из вершины 1 в вершину 7, которая составит 9. Кратчайшим путем является путь 1 – 3 – 4 – 5 – 6 – 7 (рис. 20).
Рис. 20
Задания
Для орграфа дана матрица весов. В позиции ( i, j ) записана длина дуги из вершины i в вершину j (ноль означает, что пути из i в j не существует). Если согласно матрице путь i j существует, то путь j i не существует. Задание: найти кратчайший путь из вершины 1 в вершину 5.
Алгоритм Флойда – Уоршалла
Описание алгоритма
Алгоритм Флойда находит кратчайшие пути между всеми парами вершин в графе (орграфе). В отличие от алгоритма Дейкстра и алгоритма Беллмана – Форда находит кратчайшие пути сразу для всех пар вершин. Как и в алгоритме Беллмана – Форда, дуговые расстояния могут быть как положительными, так и отрицательными, но также не должно быть циклов отрицательной длины. Во всех трех алгоритмах решение находится методом итераций, но в каждом алгоритме итерируются разные величины. Если в алгоритме Беллмана – Форда итерируется число дуг в пути, в алгоритме Дейкстра – длина пути, то в алгоритме Флойда – Уоршалла итерируется множество вершин, которые допускается иметь в качестве промежуточных вершин на путях. Как и оба других алгоритма, алгоритм Флойда – Уоршалла начинает с расстояний одной дуги (то есть без промежуточных вершин), выбранных в качестве исходных оценок для длин кратчайших путей. Затем вычисляются кратчайшие пути с тем ограничением, что промежуточной вершиной может быть только вершина 1, затем с ограничением, что промежуточными вершинами могут быть только вершины 1 и 2 и т.д.
Этот алгоритм в его «чистом» варианте абсолютно не подходит для нахождения кратчайших путей вручную, так как он весьма трудоёмок (скажем, для графа 4×4 мы имеем уже 64 итерации). Поэтому следует понять, на каких итерациях матрица не меняется, и затем попросту исключить их из рассмотрения.
Пример
Рис. 21
Условно процедуру нахождения кратчайшего пути в орграфе (рис. 21) можно разбить на несколько шагов.
-
Инициализация. На данном этапе мы формируем матрицу C [1..p,1..p] и «предварительный вариант» матрицы H. Элемент матрицы Cij равен длине дуги из вершины i в вершину j, а если такой дуги нет, то он равен бесконечности.
Соответствующие элементы матрицы H равны вершине, в которую проведена дуга, длина которой указана в матрице С:
-
«Вычёркиваем» первый столбец и первую строку матрицы T. Затем ищем в данной строке и данном столбце и «вычёркиваем» соответственно столбец или строку, где была найдена. Видим, что остаётся два элемента: 5 и (рис. 22).
Рис. 22
-
Проверяем оставшиеся элементы tij на неравенство tij > t1j + ti1. Если оно выполняется, то записываем на место проверяемого элемента сумму t1j + ti1 и параллельно пишем в соответствующую ячейку матрицы H номер вершины из её первого столбца, а если нет, то оставляем элемент без изменений (рис. 23).
Рис. 23
-
Повторяем шаги 1 - 3 для второго столбца и второй строки, третьего столбца и третьей строки и т. д. до p-го столбца и p-й строки:
i | Исходные данные на i-ом шаге | Результат на i-ом шаге |
2 |
| |
3 |
|
i | Исходные данные на i-ом шаге | Результат на i-ом шаге |
4 |
|
-
Таким образом, на выходе мы получаем, как и указано в алгоритме, две матрицы:
Каждый элемент tij матрицы T содержит длину кратчайшего пути из вершины i в вершину j, а каждый элемент hij матрицы H содержит номер первой вершины, проходимой нами при следовании по этому пути.
Задания
Для орграфа дана матрица весов. В позиции ( i, j ) записана длина дуги из вершины i в вершину j ( означает, что пути из i в j не существует). Задание: нарисовать изображение графа, составить матрицы кратчайших расстояний и маршрутов.
Алгоритм Форда – Фалкерсона
Описание алгоритма
В этом разделе под сетью мы понимаем связный орграф D (V, E), у которого есть одна вершина s со степенью захода 0 (источник) и одна вершина t со степенью исхода 0 (сток). Дуги сети нагружены неотрицательными вещественными числами, то есть задана функция c: E→R. Если - дуга, то c (e) - пропускная способность дуги.
Разрез сети - это разбиение множества вершин V на два непересекающихся подмножества S и T таких, что , . Обозначим через Р + множество всех дуг от S к T (то есть начало дуги в S, а конец дуги в T), через Р – – множество всех дуг от T к S. Под разрезом также понимают и ; под ориентированным разрезом (орразрезом) – множество дуг Р +. Сумма пропускных способностей всех дуг разреза (орразреза) называется пропускной способностью и обозначается соответственно С(Р), С(Р +).
Функция : E → R является потоком в сети, если выполнены условия:
-
для любой вершины сумма потоков по дугам, входящим в u, равна сумме потоков по дугам, исходящим из u ( (е) - поток по дуге е).
Величиной потока назовем сумму потоков по дугам, исходящим из S, обозначим её через W (). Нетрудно показать, что сумма потоков по дугам, входящим в t, равна W (). Если – разрез, то справедливо равенство
W ( ) = Ф (Р +) – Ф (Р – ),
где Ф (Р +), Ф (Р – ) – суммы потоков по дугам, входящим в Р +, Р – соответственно.
Поток максимальный, если его величина принимает наибольшее возможное значение, эта величина называется пропускной способностью сети. Орразрез называется минимальным, если минимальна его пропускная способность среди всех его орразрезов. Из равенства, приведенного выше, следует, что , то есть величина любого потока не превосходит пропускной способности любого орразреза. Следовательно, пропускная способность сети не превосходит пропускной способности минимального орразреза.
Теорема Форда - Фалкерсона: пропускная способность сети равна пропускной способности минимального орразреза.
Поскольку доказательство теоремы носит конструктивный характер и используется при построении алгоритма, то кратко изложим его суть.
Соединим s с вершиной u при помощи цепи < s, u >, не учитывая направления дуг. Цепь < s, u > называется аугментальной, если дуги е+, направленные против движения, имеют положительный поток; иными словами, все величины с (е+) – (е+), (е –) строго положительны. Пусть t достижима из s при помощи такой цепи, тогда величину потока можно увеличить. Обозначим через K минимальное среди всех значений с (е+) – (е+), (е –); K > 0.