Problemas de flujo en redes:

aplicacin a redes de transporte

urbano

Cristin E. Corts
Universidad de Chile

V Escuela de Invierno, Luis A. Santal

23-27 de Julio 2012

1
1
 Outline curso
Grafos y flujos.

Problema de flujo a costo mnimo (FCM).

Formulaciones de problemas particulares como FCM y familias

de algoritmos de solucin.

Dualidad para FCM.

Problemas de rutas mnimas (RM): algoritmo genrico y casos

particulares: label setting, label correcting. Ecuaciones de
Bellman. Extensin a caso con restriccin de recursos.

Problemas de rutas mnimas (RM): algoritmo de Floyd.

Aplicacin sobre red real de Chicago.

2
2
 Outline curso (2)
Caracterizacin del equilibrio en redes de transporte privado
(Wardrop)

Funciones de rendimiento y descripcin de redes urbanas a

nivel agregado.

Formulacin del equilibrio de usuario (EU) como inecuacin

variacional: caso demanda fija.

Problema de optimizacin equivalente para EU.

Formulacin del ptimo del sistema (OS)

Mtodo de combinacines convexas: algoritmo de Frank-Wolfe.

Aplicacin sobre red real de Chicago.

3
3
 Problema de flujo a costo
mnimo

Grafos y flujos
Problema de flujo a costo mnimo
Formulaciones

4
4
Los Puentes de Knigsberg

Es posible planicar un paseo

tal que se crucen todos los
puentes sin pasar por ninguno
ms de una vez?

En 1736, Leonard Euler estudi

el problema para encontrar un
viaje cerrado a travs de 7
puentes en Konigsberg

5
Los Puentes de Knigsberg

6
 Grafos y flujos
G(N,A), N conjunto de nodos y A conjunto de arcos.
Grafo dirigido.
Arco se puede ver como par ordenado (i,j), distinto a
par (j,i).
Arco (i,j) es incidente a i y a j.
Grado de nodo i corresponde al nmero de arcos
incidentes a i.
Grafo completo si contiene a todos los arcos posibles.

7
7
 Grafos y flujos
Rutas y ciclos:
Una ruta R en un grafo dirigido es una secuencia de nodos (!! , !! , , !! )!
con ! 2! y una secuencia correspondiente de k-1 arcos.

Un ciclo es una ruta en la cual el nodo inicial y el final coinciden.

Una ruta es simple si no contiene ni nodos (ni arcos) repetidos (caso de
ciclo mantiene definicin excepto por el primero y el ltimo nodo).
Un ciclo Hamiltoniano es un ciclo simple que contiene a todos los nodos
del grafo.
Un grafo que no contiene ciclos se dice que es acclico.

8
8
 Grafos y flujos
Un grafo se dice conexo si para cada par de nodos i y j, existe una forma
de acceder desde i a j (ruta sobre grafo no dirigido), y se dice fuertemente
conexo si para cada par de nodos i y j, existe una ruta (tcnicamente hacia
adelante) que parte en i y termina en j.
Se puede demostrar que si un grafo es conexo y cada uno de sus nodos
tiene grado par, existe un ciclo (no necesariamente hacia adelante) que
contiene a todos los arcos del grafo exactamente una vez.
Grafo G = G(N,A) es un subgrafo de G(N,A) si N es subconjunto de N
y A es subconjunto de A.
Un rbol es un grafo conexo acclico.
rbol cubridor contiene a todos los nodos de G.
Se puede demostrar que un subgrafo de G(n,A) es un rbol cubridor ssi es
conexo y contiene n-1 arcos.

9
9
 Flujos y divergencia
Dado G(N,A), un vector de flujos es de la forma !!" /(!, !) ! !

Divergencia de nodo i

!! = !!" !!" !!!!!! !!

!!(!) !! !

!! > 0! fuente
!! = 0! transferencia
!! < 0! sumidero

Si !! = 0!!!!!!!! !! Circulacin
Restricciones de capacidad !!" !!" !!" !!!!!!!!(!, !) !!

10
10
Problema lineal genrico
Problema de flujo a costo mnimo (FCM)

!"#! !!" !!" !

(!,!)!

s.a.
!!" !!" ! = !! ,!!!!!! !!
!!(!) !! !

!!" !!" !!" !!!!!!!!(!, !) !!

donde ! ! = ! ! !!|!!(!, !) ! !
! ! = ! ! !!|!!(!, !) ! !
11
11
 Formulacin de problemas
como FCM
Problema de rutas mnimas

Problema de asignacin

Problema de flujo mximo

Problema de transporte (sin y con trasbordos)

Problema convexo de flujo en redes

Problemas de flujo multicommodity

Problema del vendedor viajero

12
12
 Problema de rutas mnimas

!"#! !!" !!" !

(!,!)!

s.a.
!!!!!!!1!!!!!!!!!! = !
!!" !!" ! = !!!!1!!!!!!!!!! = ! !!!!!!!,!!!!!!!!!!!!!!!!! !!
!!(!) !! ! !!!!!!!!!0!!!!!!!! !, !

!!" 0!!!!!!!!(!, !) !!

Solucin del tipo

!!!!!1!!!!!!!!"!!(!, !) !
!!" = !
0!!!!!!!!!!!!!!!!"!!"
R es RM entre s y t
Propiedad importante: para el problema FCM con oferta en nodos y cotas en arcos
enteras: si existe solucin ptima, entonces existe solucin ptima entera.

13
13
Problema de asignacin

!!"! !!" !!" !"#! !!" !!" !!

(!,!)! (!,!)!

s.a.
!!" ! = 1,!!!!!!: 1, , !!
!!(!)

!!" ! = 1,!!!!!!: 1, , !!
!! !

0 !!" 1!!!!!!!!(!, !) !!

14
14
Problema de mximo flujo

!"#!!!" !"# !!" !

s.a.
!!" !!" ! = 0,!!!!!! !, ! !, !!
!!(!) !! !

!!" = !!" ! = !!" !

!!(!) !! !

!!" !!" !!" !!!!!!!! !, ! !, (!, !) (!, !)!

15
15
Problema de transporte
!"#! !!" !!" !!
(!,!)!

s.a.
!!" ! = ! !! ,!!!!!!: 1, , !!
!!(!)

!!" ! = !! ,!!!!!!: 1, , !!
!! !

0 !!" !"# !! , !! !!!!!!!!(!, !) !!

!! = !! !
! !

16
16
Problema de transporte (transferencias)
!"#! !!" !!" !!
(!,!)!

s.a.
!!" ! = ! !! ,!!!!!! !!
!!(!)

!!" ! = !! ,!!!!!! !!
!! !

!!" !!" ! = 0,!!!!!! !!

!!(!) !! !

!!" !!" !!" !!!!!!!!(!, !) !!

17
17
Problema de flujo en redes no lineal
convexo

!"#! !!" (!!" )!

(!,!)!

s.a.

!!" !!" ! = !! ,!!!!!! !!

!!(!) !! !

!!" !" !!!!!!!!(!, !) !!

18
18
Problema de flujo multicommodity

!"#! !!" (!!" )!

(!,!)!

s.a.
!!!!!!!!! !!!!!!!!!! = !!
!!" (!) !!" (!) ! = !!!!!! !!!!!!!!!! = !! !!!!!!!,!!!!!!!!!!!!!!!
!!(!) !! ! !!!!!!!!!0!!!!!!!!!!!!"!!"!

!!" = !!" (!)!

!!!

19
19
Problema del vendedor viajero (TSP)
Problema de flujo en redes discreto

!"#! !!" !!" !!

(!,!)!

s.a.
!!" ! = 1,!!!!!! = 1, , !!
!!!,,!
!!!

!!" ! = 1,!!!!!! = 1, , !!
!!!,,!
!!!

El subgrafo G(N,A) donde A= !, ! /!!" = 1 !

debe ser conexo

20
20
 Problema del Vendedor Viajero
n Funcin objetivo:
!"#! !!" !!" !!
(!,!)!
n Ejemplo:
1 5
4

0 2

3 6

Para evitar lo anterior se debe utilizar la siguiente

restriccin:

En forma genrica:
!!" ! 1!!!!!!!2 ! ! 2.!
!,! :!!,!!

21
Las cosas no son tan malas como parece
Mtodos exactos demoran tiempo exponencial en los
peores casos (instancias ms complejas)
Instancias de la vida real no son realmente tan difciles
Existen muchas heursticas disponibles, que encuentran
soluciones de muy buena calidad en tiempo razonable
En el ltimo tiempo se han desarrollado tcnicas
sosticadas que en muchos casos obtienen el ptimo, o
bien soluciones muy cercanas al ptimo (Meta-hueristics,
cutting-plane, branch-and-cut)

22
23
24
25
26
27
Instancias de prueba: di8ciles!!!

28
Instancias de prueba: di8ciles!!!

29
Instancias de prueba: di8ciles!!!

30
Instancias de prueba: di8ciles!!!

31
 Algoritmos de solucin
para el FCM

Mejora al costo primal

Mejora al costo dual (holgura complementaria)

32
32