Flujo en Redes

Presentacin basada en cp 6 de:

Luenberger and Ye. Linear and Nonlinear programming

Modelo de la Red como Grafo

Dirigido
La red se representa mediante:

Nodos, Vrtices:

Denotados n1, n2, ...

Sea N el conjunto de nodos

Arcos, Enlaces, Aristas: Conexiones entre los nodos.

Pueden ser dirigidos o no dirigidos.

Se representan mediante pares (i,j) [ordenados si el
grafo es dirigido] .
Sea E el conjunto de aristas.

Se representa el grafo con nodos N y aristas E como:

2

G = <N,E>

Ejemplo
En este grafo:

N = {1,2,3,4}
E={ (1,2), (1,3),
(2,3), (3,4), (4,2) }

Flujos

Un flujo lo definen

Un nodo origen: La fuente (source)

Un node destino: El desage (sink)

La tasa de transmisin: bps, paquetes/seg, etc.

Se representa el flujo a travs del link (i,j) por la

variable xij0.
Si no existe arista entre i y j, se sobreentiende
que xij=0.
4

Principio de conservacin

Para nodos distintos a la fuente y el destino, la

suma de flujos salientes de un nodo es igual a
la suma de flujos entrantes (Asumiendo que no
se descartan paquetes).
Considerando el nodo i

el primer trmino es el flujo total saliente y el

segundo es el total de flujo entrante.
5

Matrix de restricciones

Todos los arcos incidentes tienen coeficiente -1

Todos los arcos salientes tienen coeficiente 1

Si se organizan, cada fila es un nodo (i) y cada

columna es una arista se obtiene la matrix de
incidencia.

Ejemplo

Para la red previamente ilustrada

Matrix de incidencia
2

(1,3)

2
3
3

(1,2)

(3,4)

(4,2)

1
-1

-1

(2,3)
1
-1

-1
1
-1

Caractersticas de A

La matrix tiene como mximo rango (n-1). Observe

que la suma de las filas es cero: Una fila puede
escribirse como una combinacin lineal de las otras.
Sea A la matrix obtenida luego de eliminar una fila.

A tiene rango exactamente (n-1):

Tomese un rbol de cubrimiento, y sea AT la submatrix

de A correspondiente a este rbol.
Al aplicar el procedimiento de triangularizacin se
verifica que AT tiene rango (n-1), luego A es de rango
(n-1).
10

Ejemplo

Un rbol de cubrimiento es (1,3) - (3,4) - (4,2)

(1,3)

(1,2)

i
1
3

(2,3)

-1

(3,4)

-1

-1

-1

(4,2)

-1

Matriz Triangular correspondiente

i

(1,3)

(3,4)

(4,2)

-1

-1
11

rboles de cubrimiento y A

Todo rbol de cubrimiento es una base:

Corresponde a una matrix no singular A.
El opuesto tambin es verdadero: Toda base
corresponde a un rbol de cubrimiento.
Justificacin:
Suponer que no: Una base puede estar asociada a
un ciclo. Ajustar los signos +/- si el ciclo cruza el
arco en la direccin original, o en direccin
opuesta. La suma de las columnas es cero,
contradiciendo el hecho que la matrix tiene rango
(n-1).
12

Ejemplo

El ciclo (2,1) - (1,3) - (3,2) no es un rbol de

cubrimiento.
2

(1,3)

-(1,2)

-1

2
3
4

+1
-1

-(2,3)

(3,4)

-1
+1

(4,2)
-1

1
-1

13

Ejemplo

El camino (1,2) - (2,3) - (3,4) es un rbol de

cubrimiento, por lo tanto es una base.
2

(1,3)

(1,2)

2
3
3

-1
-1

(2,3)

(3,4)

1
-1

(4,2)
-1

1
-1

14