Центральный Дом Знаний - Алгоритм Форда–Фалкерсона

Информационный центр "Центральный Дом Знаний"

Заказать учебную работу! Жми!



ЖМИ: ТУТ ТЫСЯЧИ КУРСОВЫХ РАБОТ ДЛЯ ТЕБЯ

      cendomzn@yandex.ru  

Наш опрос

Я учусь (закончил(-а) в
Всего ответов: 2656

Онлайн всего: 1
Гостей: 1
Пользователей: 0


Форма входа

Логин:
Пароль:

Алгоритм Форда–Фалкерсона

Алгоритм Форда–Фалкерсона решает задачу нахождения максимального потока в транспортной сети.

Идея алгоритма заключается в следующем. Изначально величине потока присваивается значение 0: f(u,v) = 0 для всех u,v \in V. Затем величина потока итеративно увеличивается посредством поиска увеличивающего пути (путь от источника s к стоку t, вдоль которого можно послать больший поток). Процесс повторяется, пока можно найти увеличивающий путь.

Неформальное описание:

  1. Обнуляем все потоки. Остаточная сеть изначально совпадает с исходной сетью.

  2. В остаточной сети находим любой путь из источника в сток. Если такого пути нет, останавливаемся.

  3. Пускаем через найденный путь (он называется увеличивающим путём или увеличивающей цепью) максимально возможный поток:

    1. На найденном пути в остаточной сети ищем ребро с минимальной пропускной способностью cmin .

    2. Для каждого ребра на найденном пути увеличиваем поток на cmin, а в противоположном ему - уменьшаем на cmin.

    3. Модифицируем остаточную сеть. Для всех рёбер на найденном пути, а также для противоположных им рёбер, вычисляем новую пропускную способность. Если она стала ненулевой, добавляем ребро к остаточной сети, а если обнулилась, стираем его.

  4. Возвращаемся на шаг 2.

Важно, что алгоритм не конкретизирует, какой именно путь мы ищем на шаге 2 или как мы это делаем. По этой причине алгоритм гарантированно сходится только для целых пропускных способностей, но даже для них при больших значениях пропускных способностей он может работать очень долго. Если пропускные способности вещественны, алгоритм может работать бесконечно долго, не сходясь к оптимальному решению (см. пример ниже).

Если искать не любой путь, а кратчайший, получится алгоритм Эдмондса-Карпа или алгоритм Диница. Эти алгоритмы сходятся для любых вещественных весов за время O( | V | | E | 2) и O( | V |2 | E | ) соответственно.

[править]Формальное описание

Дан граф G(V,E) с пропускной способностью c(u,v) и потоком f(u,v) = 0 для ребер из u в v. Необходимо найти максимальный поток из источника s в сток t. На каждом шаге алгоритма действуют те же условия, что и для всех потоков:

  • \ f(u,v) \leqslant c(u,v). Поток из u в v не превосходит пропускной способности.

  • \ f(u,v) = - f(v,u).

  • \ \sum_v f(u,v) = 0 \Longleftrightarrow f_{in}(u) = f_{out}(u) для всех узлов u, кроме s и t. Поток не изменяется при прохождении через узел.

Остаточная сеть Gf(V,Ef) — сеть с пропускной способностью cf(u,v) = c(u,v) − f(u,v) и без потока.

Вход Граф \,G с пропускной способностью \,c, источник \,s и сток \,t
Выход Максимальный поток \,f из \,s в \,t

  1. f(u,v) \leftarrow 0 для всех ребер \,(u,v)

  2. Пока есть путь \,p из \,s в \,t в \,G_f, такой что \,c_f(u,v) > 0 для всех ребер (u,v) \in p:

    1. Найти \,c_f(p) = \min\{c_f(u,v) \;|\; (u,v) \in p\}

    2. Для каждого ребра (u,v) \in p

      1. f(u,v) \leftarrow f(u,v) + c_f(p)

      2. f(v,u) \leftarrow f(v,u) - c_f(p)

Путь может быть найден, например, поиском в ширину (алгоритм Эдмондса-Карпа) или поиском в глубину в Gf(V,Ef).

Добавляя поток увеличивающего пути к уже имеющемуся потоку, максимальный поток будет получен, когда нельзя будет найти увеличивающий путь. Тем не менее, если величина пропускной способности — иррациональное число, то алгоритм может работать бесконечно. В целых числах таких проблем не возникает и время работы ограничено O(E*f), где E — число рёбер в графе, f — максимальный поток в графе, так как каждый увеличивающий путь может быть найден за O(E) и увеличивает поток как минимум на 1.

Ford-Fulkerson forever.svg

Рассмотрим приведённую справа сеть, с источником \ s, стоком \ t, пропускными способностями рёбер \ e_1\ e_2 и \ e_3 соответственно \ 1r=(\sqrt{5}-1)/2 и \ 1 и пропускной способностью всех остальных рёбер, равной целому числу M \ge 2. Константа \ rвыбрана так, что \ r^2 = 1 - r. Мы используем пути из остаточного графа, приведённые в таблице, причём \ p_1 = \{ s, v_4, v_3, v_2, v_1, t \}\ p_2 = \{ s, v_2, v_3, v_4, t \} и \ p_3 = \{ s, v_1, v_2, v_3, t \}.

Шаг

Найденный путь

Добавленный поток

Остаточные пропускные способности

e1

e2

e3

0



r0 = 1

r

1

1

{s,v2,v3,t}

1

r0

r1

0

2

p1

r1

r2

0

r1

3

p2

r1

r2

r1

0

4

p1

r2

0

r3

r2

5

p3

r2

r2

r3

0

Заметим, что после шага 1, как и после шага 5, остаточные способности рёбер e1, e2 и e3 имеют форму rn, rn + 1 и 0, соответственно, для какого-то натурального n. Это значит, что мы можем использовать увеличивающие пути p1, p2, p1 и p3 бесконечно много раз, и остаточные пропускные способности этих рёбер всегда будут в той же форме.Полный поток после шага 5 равен 1 + 2(r1 + r2). За бесконечное время полный поток сойдётся к \textstyle 1 + 2\sum_{i=1}^\infty r^i = 3 + 2r, тогда как максимальный поток равен 2M + 1. Таким образом, алгоритм не только работает бесконечно долго, но даже и не сходится к оптимальному решению.

Следующий пример показывает первые шаги алгоритма Форда–Фалкерсона в транспортной сети с четырьмя узлами, источником A и стоком D. Этот пример показывает худший случай. При использовании поиска в ширину алгоритму потребуется всего лишь 2 шага.

Путь

Пропускная способность

Результат


Начальная транспортная сеть

A,B,C,D

min(cf(A,B),cf(B,C),cf(C,D)) =
min(c(A,B) − f(A,B),c(B,C) − f(B,C),c(C,D) − f(C,D)) =
min(1000 − 0,1 − 0,1000 − 0) = 1

A,C,B,D

min(cf(A,C),cf(C,B),cf(B,D)) =
min(c(A,C) − f(A,C),c(C,B) − f(C,B),c(B,D) − f(B,D)) =
min(1000 − 0,0 − ( − 1),1000 − 0) = 1


После 1998 шагов …



Конечная сеть

Лит.: Томас Х. Кормен и др. Алгоритмы: построение и анализ = INTRODUCTION TO ALGORITHMS — 2-е изд. — М.: «Вильямс», 2006. — С. 1296. — ISBN 0-07-013151-1.

Loading

Календарь

«  Сентябрь 2019  »
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
23242526272829
30

Архив записей

Друзья сайта

  • Заказать курсовую работу!
  • Выполнение любых чертежей
  • Новый фриланс 24