FLUJO EN REDES MODELAMIENTO

OPTIMIZACION
Francisco Hederra

TEMARIO

Conceptos Bsicos
Modelo de Flujo de Costo Mnimo
Problema de Transporte
Problema de Asignacin
Problema de Poltica Energtica
Modelo de Flujo Mximo
Modelo de la Ruta ms Corta
REF: Hillier & Liberman Cap 9 (Hasta 9.5)

CONCEPTOS BSICOS

Una gran cantidad de problemas de redes pueden modelarse usando grafos

Un grafo es una estructura matemtica que permite describir, de forma simple,

algunos sistemas...

geomtricamente, un grafo se representa por un con junto de puntos en el

plano, que denominaremos nodos, y un conjunto de arcos que conecta a los
nodos entre ellos

Definicin: Diremos que un grafo G = N, L es un grafo que tienen n = N nodos

y l = L arcos, donde

cada uno de los n nodos i que componen el grafo son tales que i N

y cada uno de las l arcos que componen el grafo son tales que i, j L y
i, j N

El arco (i, j) indica que en el grafo existe un arco que permite ir desde el nodo i al
nodo j de manera directa

CONCEPTOS BSICOS
Si el flujo a travs de un arco se permite slo en una direccin como en una calle de un
sentido, se dice que el arco es un arco dirigido. La direccin se indica al agregar una
cabeza de flecha al final de la lnea que representa el arco.
Si el flujo a travs de un arco se permite en ambas direcciones como una tubera que se
puede usar para bombear fluido en ambas direcciones, se dice que el arco es un arco no
dirigido.
Aunque se permita que el flujo a travs de un arco no dirigido ocurra en cualquier
direccin, se supone que ese flujo ser slo en una direccin, en la seleccionada, y no se
tendrn flujos simultneos en direcciones opuestas
Una red que tiene slo arcos dirigidos se llama red dirigida. De igual manera, si todos sus
arcos son no dirigidos, se dice que se trata de una red no dirigida.

Grafo dirigido

Grafo no-dirigido

6
4

6
4

CONCEPTOS BSICOS

Diremos que un arco (i, j) es incidente a los nodos i y j, y que los nodos i y j son los
puntos de inicio y fin del arco, respectivamente

El grado de un nodo en un grafo es la cantidad de arcos incidentes al nodo

por lo tanto, dos nodos i y j son adyacentes, si existe un arco incidente a ambos
nodos, es decir, si i, j L

y el grado de un grafo es el mximo grado de sus nodos

Se dice que dos nodos estn conectados si la red contiene al menos una trayectoria no
dirigida entre ellos.

Un camino o trayectoria es una secuencia de nodos conectados por arcos (sin importar
la direccin)

Una trayectoria dirigida del nodo i al nodo j es una sucesin de arcos cuya direccin (si la
tienen) es hacia el nodo j, de manera que el flujo del nodo i al nodo j a travs de esta
trayectoria es factible. Una trayectoria no dirigida del nodo i al nodo j es una sucesin de
arcos cuya direccin (si la tiene) puede ser hacia o desde el nodo j.

y un ciclo es un camino que comienza y termina en un mismo nodo

CONCEPTOS BSICOS

Un grafo es conexo si existe un camino entre cada par de nodos

Un rbol es un grafo conexo sin ciclos

y si un nodo de un rbol tiene grado 1 se denomina una hoja

Redes Conexas

CONCEPTOS BSICOS
EJEMPLOS

Grado de un nodo: El grado del nodo 1 es 2, el grado del nodo 3 es 3

Grado de un grafo: El grado del grafo es 4, ya que el mximo grado de un nodo es el del
nodo 2 que es 4

La lnea en azul es un camino entre el nodo 1 y el 5

La lnea roja muestra un ciclo que comienza en 3, pasa por 2, 5 y 4 y vuelve a 3

2
1

5
6

CONCEPTOS BSICOS
EJEMPLOS

Grafo conexo

Grafo no-conexo

5
3

5
3

rbol
2
1

5
3

6
4

6
4

CONCEPTOS BSICOS
El concepto de incidencia nos permite formar la matriz de incidencia, la cual define el grafo
en su totalidad

La matriz de incidencia contiene una fila asociada a cada nodo y una columna asociada a
cada arco

por lo tanto, sea G = (N, L), donde n = N y l = L , la matriz de incidencia E (n x l)

es tal que
1
eil = 1
0

2
1

4
3

si el arco l comienza en el nodo i

si el arco l termina en el nodo i
en otro caso

i\l
1
E= 2
3
4

1,2
1
1
0
0

1,3
1
0
1
0

2,3
0
1
1
0

2,4
0
1
0
1

4,3
0
0
1
1

TEMARIO

Conceptos Bsicos
Modelo de Flujo de Costo Mnimo
Problema de Transporte
Problema de Asignacin
Problema de Poltica Energtica
Modelo de Flujo Mximo
Modelo de la Ruta ms Corta
REF: Hillier & Liberman Cap 9 (Hasta 9.5)

MODELO DE FLUJO DE COSTO MNIMO

Dado un grafo dirigido G=(N,L), costos unitarios cij para el arco (i,j), y flujos
entrantes hv y salientes gv en cada nodo, encontrar el flujo de menor costo de la
red.
Conservacin de flujo: Todo el flujo que entra a un nodo es igual al flujo que sale
del nodo

h: flujo entrante

g: flujo saliente

MODELO DE FLUJO DE COSTO MNIMO

Debemos mover un producto determinado a travs del grafo dirigido G = (N, L), donde
n = N y l = L . En cada nodo hay una demanda de di y una oferta de q i , de tal forma
que la demanda total del sistema es igual a la oferta total del sistema ( iN di = iN q i ).
Por otra parte, el costo unitario de mover el producto por el arco i, j es de C(i,j) y existe
una capacidad mxima de envo por arco de (i,j)

Parmetros

Sea di la demanda por producto en el nodo i, i N

Sea q i la oferta disponible de producto en el nodo i, i N

Sea C(i,j) el costo de enviar una unidad de producto por el arco (i, j), i, j L

Sea i,j la capacidad mxima de unidades de producto que pueden pasar por el arco (i, j),
i, j L

Variables de decisin

Sea x

i,j

la cantidad de producto transportada por el arco (i, j), i, j L

MODELO DE FLUJO DE COSTO MNIMO

Restricciones

Conservacin del flujo en cada nodo: La cantidad de producto que debe quedar en cada
nodo debe ser igual a la cantidad que haba, ms la que llego, menos la que sali
qi +

j,i

j,i L

i,j

= di

i N

i,j L

No se debe superar la capacidad mxima de cada arco

x i,j (i,j) (i, j) L

No negatividad
x

i,j

(i, j) L

Funcin Objetivo

Minimizar el costo incurrido por mover el flujo entre los nodos

MINx Costo =

C
i,j L

i,j

i,j

MODELO DE FLUJO DE COSTO MNIMO

Modelo
MINx Costo =

i,j

i,j

i,j

i,j L

s. a.
qi +

j,i

j,i L

i,j
x i,j 0

(i, j) L
(i, j) L

i,j

Notar que podemos definir un parmetro bi = q i di y re-escribir la restriccin como

x
i,j L

donde

i N

i,j L

= di

iN bi

i,j

j,i

= bi

i N

j,i L

=0

De esta forma, tendremos nodos donde entra flujo bi > 0, nodos donde sale flujo bi < 0 y
nodos donde el flujo se conserva bi = 0

MODELO DE FLUJO DE COSTO MNIMO

Modelo
MINx Costo = C t x

El modelo de costo
mnimo lo podemos
definir de forma
matricial, usando la
matriz de incidencia

s. a.

Ex=b
0x

Notar que E est formada por los coeficientes que acompaan a los x
x
i,j L

i,j

j,i

= bi

i,j

en la ecuacin

i N

j,i L

por lo que el coeficiente e i,j valdr 1 para los arcos que comienzan en el nodo i, valdr
-1 para los arcos que terminan en el nodo i y ser 0 para los otros casos

es decir, E es la matriz que previamente definimos como matriz de incidencia

MODELO DE FLUJO DE COSTO MNIMO

A continuacin, veamos un ejemplo de una representacin grfica de un problema como el modelado
con anterioridad

10

|
|

|
4
MIN Cx =

N = 1,2,3,4,5,6
L = * 1,2 , 1,3 , 2,3 , 2,5 , 4,6 , 5,2 , (5,4)+
b1 = 10, b2 = 0, b3 = 6, b4 = 5, b5 = 0, b6 = 9

Cij xij
i,j L

s. a.
x12 + x13 = 10
x23 + x25 x12 x52 = 0
x13 x23 = 6
x46 x54 = 5
x54 + x52 x25 = 0
x46 = 9
xij ij , i, j L
xij 0, i, j L

MODELO DE FLUJO DE COSTO MNIMO

APLICACIONES

Aplicaciones directas:

Distribucin de productos de plantas a bodegas y clientes

Flujo de productos a mquinas en una fbrica

Ruteo de vehculos en una red vial

Ruteo de llamadas

Aplicaciones menos directas

Aplanado de terrenos

Resolucin de Torneos

Adems, sirve como base para una serie de otros problemas

Ruta ms corta

Flujo mximo

Asignacin

TEMARIO

Conceptos Bsicos
Modelo de Flujo de Costo Mnimo
Problema de Transporte
Problema de Asignacin
Problema de Poltica Energtica
Modelo de Flujo Mximo
Modelo de la Ruta ms Corta
REF: Hillier & Liberman Cap 9 (Hasta 9.5)

MODELO DE FLUJO DE COSTO MNIMO - TRANSPORTE

Una empresa, tiene N locales, cada uno con una oferta q i . Hay M clientes, cada uno con
una demanda di y el costo de transportar una unidad del local i al cliente j viene dado por
Cij . Encontrar como enviar los productos de cada local a cada cliente al costo mnimo

q1

d1

q2

N = 1,2,3, , N, 1 , 2 , 3 , , M, R
d2

q3

d3

L = * 1,1 , , 1, M , 1, R , 2,1 , ,
2, M , 2, R , 3,1 , , 3, M , 3, R , ,
N, 1 , , N, M , N, R +
b1 = q1 , , bN = q N , b1 = d1 , ,

bM = dM , bR =
qN

dM
qi

R
iN

di
iM

iM

di

iN

qi

MODELO DE FLUJO DE COSTO MNIMO - ASIGNACIN

Existen M tareas que deben ser realizadas por M candidatos. Cada tarea debe ser hecha
por 1 solo candidato y cada candidato puede hacer solo 1 tarea. El candidato j cobra un
costo Cij por realizar la tarea i. Encontrar la asignacin que minimiza el costo total

N = 1,2,3, , M, 1 , 2 , 3 , , M
L = * 1,1 , , 1, M , 2,1 , ,
2, M , 3,1 , , 3, M , , M, 1 ,
, M, M +
b1 = 1, , bM = 1, b1 = 1, , bM =
1

MODELO DE FLUJO DE COSTO MNIMO POLTICA ENERGTICA

Arcos (s, v): costos de producir cada materia prima, y cota superior en la disponibilidad

Arcos (u, v): costo de transformar materia prima en energa y una cota superior de
capacidad de generacin

Arcos (v, t): cota inferior con el requerimiento requerido de cada tipo (costo = 0)

TEMARIO

Conceptos Bsicos
Modelo de Flujo de Costo Mnimo
Problema de Transporte
Problema de Asignacin
Problema de Poltica Energtica
Modelo de Flujo Mximo
Modelo de la Ruta ms Corta
REF: Hillier & Liberman Cap 9 (Hasta 9.5)

MODELO DE FLUJO MXIMO

Debemos mover un producto determinado a travs del grafo dirigido G = (N, L), donde
n = N y l = L , desde el nodo s hasta el nodo t, con s, t N. Cada arco tiene una
capacidad mxima de i,j y el objetivo es lograr enviar el mximo flujo de producto desde
el nodo s hasta el nodo t

Parmetros

Sea i,j la capacidad mxima de unidades de producto que pueden pasar por el arco (i, j),
i, j L

Variables de decisin

Sea x

Sea F la cantidad de producto enviada desde el nodo s hacia el nodo t

i,j

la cantidad de producto transportada por el arco (i, j), i, j L

Restricciones (1/2)

Conservacin del flujo en cada nodo de trnsito: La cantidad de producto que entra a cada
nodo de trnsito debe ser igual a la cantidad de producto que sale de ste
x
i,j L

i,j

x
j,i L

j,i

=0

i N, i *s, t+

MODELO DE FLUJO MXIMO

Restricciones (2/2)

Conservacin del flujo en nodos de entrada y salida: La cantidad de producto que entra a
cada nodo debe ser igual a la cantidad de producto que sale de ste
x

s,j

s,j L

j,s

j,t

=F

j,s L

t,j

t,j L

= F

j,t L

No se debe superar la capacidad mxima de cada arco

x i,j (i,j) (i, j) L

No negatividad
x

i,j

(i, j) L

Funcin Objetivo

Maximizar el flujo enviado desde el nodo s al nodo t

MAXx,F Flujo = F

MODELO DE FLUJO MXIMO

Modelo
MAXx,F Flujo = F
s. a.
x

i,j

i,j L

j,i

j,s

=0

i N, i s, t

j,i L

s,j

s,j L

=F

j,s L

t,j

t,j L

j,t

= F

j,t L

i,j
x i,j 0

i, j L
i, j L

i,j

Notar que las 3 ecuaciones de balance de flujo equivalen a la ecuacin de balance de flujo
del modelo de costo mnimo. De hecho podramos haber definido la ecuacin como:
x
i,j L

i,j

x
j,i L

con bi = 0, i N, i s, t , bs = F y bt = F

j,i

= bi

i N

MODELO DE FLUJO MXIMO

A continuacin, veamos un ejemplo de una representacin grfica de un problema como el modelado
con anterioridad

|
|

N = 1,2,3,4,5,6
L = * 1,2 , 1,3 , 2,3 , 2,5 , 4,6 , 5,2 , (5,4)+
b1 = F, b2 = 0, b3 = 0, b4 = 0, b5 = 0, b6 = F

|
4
MAX Fx,F = F
s. a.
x12 + x13 = F
x23 + x25 x12 x52 = 0
x13 x23 = 0
x46 x54 = 0
x54 + x52 x25 = 0
x46 = F
xij ij , i, j L
xij 0, i, j L

MODELO DE FLUJO MXIMO

Tambin es posible
usar el modelo de
flujo de costo
mnimo para
resolver el modelo
de flujo mximo

= |

Flujo mximo ser el

flujo que pasa por este
arco artificial
6

|
|

Agregamos arco
artificial
N = 1,2,3,4,5,6

L = * 1,2 , 1,3 , 2,3 , 2,5 , 4,6 , 5,2 , 5,4 , (6,1)+

b1 = 0, b2 = 0, b3 = 0, b4 = 0, b5 = 0, b6 = 0
C12 = C13 = C23 = C25 = C46 = C52 = C54 = 0, C61 = 1

Re-definimos los costos

MIN Cx =

Cij xij
i,j L

s. a.
x12 + x13 x61 = 0
x23 + x25 x12 x52 = 0
x13 x23 = 0
x46 x54 = 0
x54 + x52 x25 = 0
x61 x46 = 0
xij ij , i, j L
xij 0, i, j L

MODELO DE FLUJO MXIMO

El problema de flujo mximo tiene tambin muchas aplicaciones:

Identificacin de capacidad en redes (viales, elctricas, datos, etc.)

Diseo de sistemas de transmisin

Redondeo de matrices

Programacin de tareas en mltiples mquinas

Asignaciones con restricciones de balanceo

Adems, el dual del problema de flujo mximo es el problema del Corte con Menor
Capacidad, el cual sirve para deteccin de cuellos de botella en sistemas de produccin

TEMARIO

Conceptos Bsicos
Modelo de Flujo de Costo Mnimo
Problema de Transporte
Problema de Asignacin
Problema de Poltica Energtica
Modelo de Flujo Mximo
Modelo de la Ruta ms Corta
REF: Hillier & Liberman Cap 9 (Hasta 9.5)

MODELO DE RUTA MAS CORTA

Debemos mover un producto determinado a travs del grafo dirigido G = (N, L), donde
n = N y l = L , desde el nodo s hasta el nodo t, con s, t N. Cada arco tiene un largo
d i,j y el objetivo es encontrar la ruta ms corta a travs del cual enviar el producto desde
el nodo s hasta el nodo t

Parmetros

Sea d

Sea F = 1 la cantidad de producto enviada desde el nodo s al nodo t

i,j

el largo del arco (i, j), i, j L

Variables de decisin

Sea x i,j la cantidad de producto enviada a travs del arco (i, j), pudiendo tomar solo el valor
0 o 1, es decir, pasa el flujo completo por ah o nada, i, j L

Restricciones (1/2)

Conservacin del flujo en cada nodo de trnsito: La cantidad de producto que entra a cada
nodo de trnsito debe ser igual a la cantidad de producto que sale de ste
x
i,j L

i,j

x
j,i L

j,i

=0

i N, i *s, t+

MODELO DE RUTA MAS CORTA

Restricciones (2/2)

Conservacin del flujo en nodos de entrada y salida: La cantidad de producto que entra a
cada nodo debe ser igual a la cantidad de producto que sale de ste
x

s,j

s,j L

j,s

j,t

=1

j,s L

x
t,j L

t,j

= 1

j,t L

Naturaleza de las variables

x

i,j

= *0,1+

(i, j) L

Funcin Objetivo

Minimizar la distancia recorrida por el flujo a travs del grafo

MINx Distancia =

d
i,j L

i,j

x(i,j)

MODELO DE RUTA MAS CORTA

Modelo
MINx Distancia =

i,j

x(i,j)

i,j L

s. a.
x

i,j

i,j L

j,i

j,s

=0

i N, i s, t

j,i L

s,j

s,j L

=1

j,s L
t,j

t,j L

j,t

= 1

j,t L

i,j

= *0,1+

i, j L

El problema del modelo anterior es que no es lineal, ya que las variables son binarias. Sin
embargo, se puede demostrar que la relajacin lineal del problema es siempre solucin
entera, ya que la matriz de incidencia arco-nodo del grafo orientado es unimodular

MODELO DE RUTA MAS CORTA

Como la relajacin lineal del problema de ruta ms corta tiene solucin ptima entera, el problema a
resolver ser

Modelo

MINx Distancia =

i,j

x(i,j)

i,j L

s. a.
x

i,j

i,j L

j,i

j,s

=0

i N, i s, t

j,i L

s,j

s,j L

x
t,j L

=1

j,s L
t,j

j,t

= 1

j,t L

0x

i,j

i, j L

MODELO DE RUTA MAS CORTA

EJEMPLO

MIN Dx =

i,j

i,j

i,j L

N = 1,2,3,4,5,6
L = * 1,2 , 1,3 , 2,3 , 2,5 , 4,6 , 5,2 , (5,4)+
b1 = 1, b2 = 0, b3 = 0, b4 = 0, b5 = 0, b6 = 1

s. a.
x12 + x13 = 1
x23 + x25 x12 x52 = 0
x13 x23 = 0
x46 x54 = 0
x54 + x52 x25 = 0
x46 = 1
0 xij 1, i, j L

MODELO DE RUTA MAS CORTA

EJEMPLO

=
1

5
=

6
=
=

3
=
x12 = 1
x13 = 0
x23 = 0
x25 = 1
x34 = 0
x46 = 0
x54 = 0
x56 = 1
D = 20

PROXIMOS PASOS

Leer Captulo 9 (Hillier & Liberman)

Prxima semana veremos como resolver los modelos

planteados esta semana
Algoritmo de Dijkstra
Algoritmo de Ford y Fulkerson
Algoritmo de Prim