Потоки в обобщенных сетях со связанными дугами
.pdfПотоки в обобщенных сетях со связанными дугами |
51 |
помощи цепей, соответствующих изолированным вершинам вспомогательного гра-
~
фа G.
После увеличения имеем следующий поток в исходной сети (рис. 11).
|
2 |
|
|
4 |
|
|||
|
|
s6@@ |
10; |
- |
|
s6@@8¡1; 1 |
||
9¡1;¡¡µ |
|
|
||||||
|
|
|||||||
1¡¡ |
|
|
@@8¡1; 1 |
|
|
|
@@R6 |
|
s@ |
|
|
9¡1; 1 |
@@ |
|
|
|
9¡1; 1¡µs |
@ |
|
|
|
@ |
|
|
|
¡ |
@ |
|
|
@R |
|
¡10; 7 |
|||
8; 7+1 |
R@ |
|
|
7; 7 |
|
|||
|
3s |
|
|
- |
5s¡ |
Рис. 11. Первый шаг насыщения дуг исходной сети
Снова построим все простые насыщающие цепи:
´1 : 1 ! 2 ! 4 ! 6; ´2 : 1 ! 2 ! 5 ! 6;
´3 : 1 ! 2 ! 5 ! 4 ! 6; ´4 : 1 ! 2 ! 4 Ã 5 ! 6.
Для нового набора насыщающих цепей построим вспомогательный граф найдем на нем функцию Гранди (рис. 12).
~
G и
21 |
|
32 |
|
|
t |
¡ |
t |
|
|
¡ |
|
|
|
¡ |
|
|
|
¡ |
|
|
|
¡ |
|
|
|
¡ |
|
|
|
¡ |
|
|
t¡¡ |
¡ |
|
10 |
4t0 |
||
|
|
~ |
|
Рис. 12. Функция Гранди для нового графа G |
По рисунку видно, что насыщающие цепи, при помощи которых увеличим поток, – это цепи ´1 и ´4. После увеличения имеем следующий поток в исходной сети
(рис. 13). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
4 |
|
|
|
|
|||||
|
|
|
s6@ |
10; 6+1 |
- |
|
|
s6@ |
|
|
|
||
9¡1; 6¡1 µ¡ |
|
|
|
|
8 |
¡ |
1; 1+6 |
||||||
|
|
|
|
||||||||||
¡ |
|
|
@ |
@ 8¡1¡6; 1 |
|
|
|
@ |
|
|
|||
1 ¡ |
|
|
|
|
|
|
|
|
@ |
6 |
|||
¡ |
|
|
|
|
@ |
|
|
|
|
|
|
@R |
|
|
|
|
|
|
|
|
|
|
|
¡µs |
|||
s@ |
|
|
|
9¡1¡6; 1@@ |
|
|
|
|
9¡1; |
||||
@ |
|
|
|
|
|
@ |
|
|
|
|
¡ |
|
|
@ |
|
|
|
|
|
|
|
¡ 10; 7+1 |
|||||
8; 7+1 |
R@ |
|
|
|
7; 7 @R |
|
|
||||||
|
|
|
s |
|
|
- |
|
|
s¡ |
|
|
|
3 5
Рис. 13. Второй шаг насыщения дуг исходной сети
52 |
Моделирование и анализ информационных систем Т. 19, № 2 (2012) |
Для полученной сети не существует ни одной насыщающей цепи. Следовательно, работа алгоритма завершена. Заметим, что построенный поток является максимальным v¤ = 15. Более того, на нем достигается равенство в соотношении (2) для верхней оценки величины максимального потока в сети со связанными дугами.
Список литературы
1.Ерусалимский Я.М., Скороходов В.А. Потоки в сетях со связанными дугами // Известия ВУЗов. Северо-Кавказский регион. Естественные науки. Приложение. 2003. №8. С. 3–8.
2.Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения. М.: Вузовская книга, 2001. 279 с.
3.Берж К. Теория графов и ее применения. –М.:Изд–во иностранной литературы, 1962. 319с.
4.Кофман А. Введение в прикладную комбинаторику. –М.: Наука, 1975. 480с.
5.Ерусалимский Я.М., Скороходов В.А. Графы с вентильной достижимостью. Марковские процессы и потоки в сетях // Известия ВУЗов. Северо-Кавказский регион. Естественные науки. 2003. №2. С. 3–5.
6.Ерусалимский Я.М., Скороходов В.А. Прибыль от потоков с обратной связью в орсетях с ограничениями на достижимость // Известия ВУЗов. СевероКавказский регион. Естественные науки. Приложение. 2003. №8. С. 9–12.
Flows in Generalized Nets with Related Arcs
Skorokhodov V.A.
Keywords: graph, graph algorithms, reachability, nonstandard reachability, °ows on nets
The problem of ¯nding the maximum °ow in nets of a special form is considered. In such nets the arcs are related in such a way that the total °ow passing through the related arcs does not exceed the minimum throughput of these arcs. It is shown that the theorem by Ford and Fulkerson, according to which the maximum °ux value is equal to the throughput of a minimum cut, is not performed for such networks. The estimations of the maximum °ow in a generalized net with bound arcs are proposed. And the algorithm for ¯nding the maximum °ow in such nets is developed.
Сведения об авторе:
Скороходов Владимир Александрович, Южный федеральный университет, факультет математики, механики и
компьютерных наук, кафедра алгебры и дискретной математики, доцент