Flujo Mximo/Corte Mnimo

Presentacin basada en cp 6 de:

Luenberger and Ye. Linear and Nonlinear programming

Redes con Capacidad

Un grafo en el cual las aristas tienen capacidad.

Las capacidades son valores positivos y su valor se indica

junto a la arista respectiva.
2

b
6
3

Flujos

Tomese un red de m nodos.

Se designa un nodo como la fuente (source) y otro

como el desage (sink). Los dems nodos siguen
estrctamente la ley de conservacin. Se designarn
como los nodos 1 y m.

El flujo por un arco no puede superar la capacidad del

arco.

Un conjunto de flujos por los arcos que satisfacen

estas condiciones se llama un flujo.

Se designa como f el valor del flujo de fuente a

desage.
3

Representacin Matricial
Sean:

A la matrix de incidencia de aristas

x el vector de flujos por cada arista.

c el vector de capacidades por arista.

e el vector de dimension m, con e1=1, em=-1 y dems

componentes en ceros.

Caractersticas de este problema

Siempre que el grafo sea conexo, existe una

solucin factible.

La matrix A es la misma del problema de flujo

de coste mnimo, ms la columna e.

La matrix es triangular, se puede utilizar el

mismo procedimiento para determinar una base
y utilizar el mtodo simplex para hallar la
solucin.

Existen soluciones ms eficientes

6

Solucin ms eficiente

Si existe un camino P del nodo 1 al m, se puede

establecer el flujo

Determinan las capacidades residuales en las aristas

de P

El grafo obtenido se denomina grafo residual G'. Se

puede encontrar el flujo adicional en G', y repetir el
procedimiento hasta que no exista un camino de la
fuente al desage.
7

Convergencia

Si todas las capacidades son finitas y dado que

cada iteracin del algoritmo siempre produce
un aumento del flujo, el algoritmo converge al
flujo mximo.

Ejemplo

Consideremos la siguiente red con las

capacidades indicadas. Nodo 1 es la fuente y
nodo 6 es el desage.

1
1

6
3

2
3

Interacin 1

Se encuentra un camino

La capacidad mnima es 1

Se establece el flujo de 1 unidad y se resta de

las capacidades
2

1
1

6
3

2
3

5
10

Grafo residual

Se resta f en las aristas utilizadas.

Se incrementa la capacidad en direccin

opuesta en f.
1
2

1
1

6
3

2
3

11

Iteracin 2

Se encuentra un nuevo camino

La capacidad mxima es 1

Se establece el flujo de 1 unidad y se clcula el

grafo residual
1
2

1
1

6
3

2
3

5
12

Grafo residual

Se resta el flujo de una unidad correspondiente

a esta camino.

Se incrementa la capacidad en direccin

opuesta.
1
2

1
1

6
1
1

2
3

13

Iteracin 3

Se encuentra un camino que incrementa el flujo

(augmenting path)

El enlace de menor capacidad es 1

1
2

1
1

6
1
1

2
3

1
14

Grafo residual

Se actualizan de nuevo las capacidades del las

aristas

2
2

0
1
1

0
1

0
2

1
1

15

Resultado final

No existe ningn camino que permita llevar

flujo positivo de fuente a desage.

El flujo total es 3
0/2

1/1

1/1
1/1

1/2

6
2/3

2/2
3

1/1

5
16

Cortes

Se dividen los nodos en dos grupos, S y S; tal

que la fuente esta en S y el desage en S.

El conjunto de aristas con un nodo en S y el

otro en S se denomina el corte.

Se denota (S,S).

La capacidad del corte es la suma de las

capacidades en sus aristas.

17

Ejemplo

S
2

1
2

1
1

6
3

2
3

5
18

Flujo mximo = Corte mnimo

Es claro que la capacidad del corte es una cota

superior al flujo mximo entre la fuente y el destino.

Prueba informal:

Cuando el algoritmo de flujo mximo termina, es

porque no existe un camino de fuente a destino.

En otras palabras el grafo residual es no conexo.

Las aristas entre las dos componentes conexas tienen

capacidad residual 0. Llevan un flujo igual a su
capacidad.

La suma de estas capacidades es la capacidad del

corte mnimo.

19

Ejemplo: Corte mnimo

4
1

1
1

6
3

2
3

5
20