2.5.4. Динамический поток
Задачи о поиске максимального динамического потока в сети возникают в тех случаях, когда для каждой дуги сети (i,j)определено время передачи единицы потока изiвjtij, а также пропускная способностьCij– количество единиц потока, которые могут передаваться по данной дуге одновременно.
Пример 1. Туристическое агентство обеспечивает доставку клиентов из Москвы в Лас-Пальмас, используя как прямые авиарейсы, так и транзитные. Известно расписание регулярных рейсов крупнейших авиакомпаний. Какое максимальное количество туристов может быть доставлено в пункт назначения в течение недели?
Рассмотрим один из наиболее простых случаев задачи о динамическом потоке. Все исходные данные по-прежнему предполагаются целочисленными, время tтакже является дискретным, времяtijпередачи единицы потока по дуге(i,j) не зависит от момента начала передачи и является постоянным. Таким образом, если пропускная способность дуги равнаCij,то в каждый из моментов времениt=0,1,2,…по ней можно отправлятьCijединиц потока изiвj , которые будут прибывать вjв моментыtij,1+ tij, 2+ tij,….
В этом случае задача вполне аналогична рассмотренной ранее задаче о поиске потока минимальной стоимости при неотрицательных стоимостях передачи потока по дугам. В самом деле, минимальное возможное время передачи потока из sвtравно нулю. За нулевое время поток может быть передан изsвt, если есть увеличивающая цепь, состоящая из дуг, для которых времяtij. Для всех узлов, для которых таких цепей нет, следует увеличить на единицу временные метки, аналогичные стоимостным меткам в предыдущем алгоритме, затем попытаться найти поток за новое время , и так далее. Следовательно, с помощью алгоритма Форда и Фалкерсона можно решить и задачу о поиске максимального динамического потока. Для этого в алгоритме стоимостиaijдолжны быть заменены временемtij. Меткиp(i)будут означать максимальное время передачи единицы потока в узелi. Иначе будет выглядеть и конечный результат работы алгоритма.
Рис. 2.23
Пример 2. Для графа на рис. 2.23 (первое число на дуге – время, второе – пропускная способность) найти максимальный динамический поток из узла s=1в узелt=4за времяT=0,1,2, … .
В первой таблице приведены результаты работы алгоритма. Первая увеличивающая цепь появляется на четвертой итерации, когда p(4)=4. Это означает, что за время, меньшее четырех единиц, ни одна единица потока не может быть передана из1в4, за время4может быть передана одна единица потока по пути1,2,3,4,для этого ее надо отправить из начальной вершины 1 в момент времениt=0.
Итерация | Временная метка | Состояние дуг | Множество X | Увел. цепь | Поток | ||||||||
p(1) | p(2) | p(3) | p(4) | 1,2 | 1,3 | 2,3 | 3,2 | 2,4 | 3,4 | ||||
0 | 0 | 0 | 0 | 0 | - | - | - | - | - | - | 1 | - | - |
1 | 0 | 1 | 1 | 1 | I | - | - | - | - | - | 1,2 | - | - |
2 | 0 | 1 | 2 | 2 | I | - | I | - | - |
| 1,2,3 | - | - |
3 | 0 | 1 | 2 | 3 | I | - | I | - | - | - | 1,2,3, | - | - |
4 | 0 | 1 | 2 | 4 | I | - | I | - | - | I | 1,2,3,4 | 1,2,3,4 | 1 |
5 | 0 | 1 | 2 | 4 | I,R | - | R | - | - | I,R | 1,2 | - | - |
6 | 0 | 1 | 3 | 5 | I,R | I | - | - | - | I,R | 1,2,3,4 | 1,3,4 | 2 |
7 | 0 | 1 | 3 | 5 | I,R | I,R | - | - | - | R | 1,2,3 | - | - |
8 | 0 | 1 | 3 | 6 | I,R | I,R | - | - | I | - | 1,2,3,4 | 1,2,4 | 3 |
9 | 0 | 1 | 3 | 6 | R | I,R | - | - | I,R | - | 1,3 | - | - |
10 | 0 | 2 | 3 | 7 | - | I,R | R | - | I,R | - | 1,2,3,4 | 1,3,2,4 | 1 |
11 | 0 | 2 | 3 | 7 | - | I,R | I | - | I,R | - | 1,3 | - | - |
12 | 0 | 3 | 3 | 8 | - | I,R | - | - | I,R | - | 1,3 | - | - |
13 | 0 | 4 | 3 | 9 | - | I,R | - | I | I,R | - | 1,2,3,4 | 1,3,2,4 | 1 |
14 | 0 | 4 | 3 | 9 | - | I,R | - | R | I,R | - | 1,3 | - | - |
Далее, при p(4)=5появляется еще одна увеличивающая цепь1,3,4, по ней может быть передано 2 единицы потока, время передачи по этой цепи 3+2=5. При этом по пути1,2,3,4одна единица потока может быть отправлена в моментt=0и в моментt=1, потому что время передачи по этому пути равно 1+1+2=4. Таким образом, суммарная величина потока, который может быть передан по сети за времяT=5, равна 1+1+2=4 единицам. Дальнейшие результаты приведены во второй таблице.
Время T | Пути передачи потока | Количество единиц | Моменты отправления | Всего передано |
0,1,2,3 | - | - | - | 0 |
4 | 1,2,3,4 | 1 | 0 | 1 |
5 | 1,2,3,4 1,3,4 | 1 2 | 0,1 0 | 4 |
6 | 1,2,3,4 1,3,4 1,2,4 | 1 2 3 | 0,1,2 0,1 0 | 10 |
7 | 1,3,4 1,2,4 | 3 4 | 0,1,2 0,1 | 17 |
8 | 1,3,4 1,2,4 | 3 4 | 0,1,2,3 0,1,2 | 24 |
9 | 1,3,4 1,2,4 1,3,2,4 | 3 4 1 | 0,1,2,3,4 0,1,2,3 0 | 32 |
10 | 1,3,4 1,2,4 1,3,2,4 | 3 4 1 | 0,1,2,3,4,5 0,1,2,3,4 0,1 | 40 |
T>10 | 1,3,4 1,2,4 1,3,2,4 | 3 4 1 | 0,1,…,T-5 0,1,…,T-6 0,1,…,T-9 | 3*(T-4)+4*(T-5)+1*(T-8)=8T-40 |
Максимальный поток в сети получается при p(4)=9, насыщенный разрез определяется множеством вершинX={1,3}
На десятой итерации алгоритма при p(1)=7увеличивающая цепь содержит обратную дугу. По такой цепи поток передаваться, конечно, не может, а увеличение потока в сети вдоль нее означает, что какое-то количество единиц потока, ранее передававшихся по возвратной дуге, теперь будут передаваться по какой-то другой дуге. Поэтому при записи решения во второй таблице приT=7и далеее приводятся пути, по которым реально происходит передача потока, в данном случае –1,3,4(3 единицы) и1,2,4(4 единицы).
- Министерство образования Российской Федерации
- 1. Элементы теории графов.
- 1.1. Основные понятия теории графов
- 1.2. Способы задания графов
- 1.3. Связность графов
- 1.4. Изоморфизм графов
- 1.5. Планарные графы
- 1.6. Эйлеровы графы
- 1.7. Гамильтоновы графы
- 1.8. Деревья
- Контрольные вопросы
- 2. Задачи и алгоритмы
- 2.1. Алгоритмы поиска
- 2.2. Раскраска в графах
- 2.3. Алгоритмы построения деревьев
- 2.4. Алгоритмы поиска путей
- 2.4.1. Алгоритм Дийкстры
- 2.4.2. Алгоритм Форда
- 2.4.3. Алгоритм Флойда
- 2.5. Потоковые алгоритмы
- 2.5.1. Определения и постановки задач
- 2.5.2. Алгоритм поиска максимального потока
- 2.5.3. Алгоритм поиска потока минимальной стоимости
- 2.5.4. Динамический поток
- 2.5.5. Алгоритм дефекта
- Контрольные вопросы
- 3. Задачи для самостоятельного решения
- 4. Литература
- Содержание