Beruflich Dokumente
Kultur Dokumente
24 de julio de 2006
Contenidos
1
Introduccin
Contenidos
1
Introduccin
Resolviendo TSP
Contenidos
1
Introduccin
Resolviendo TSP
Contenidos
1
Introduccin
Descripcin del Problema
Historia
Record TSP en el tiempo
Algunas Aplicaciones del TSP
Resolviendo TSP
Definicin:
Dado un conjunto finito de
ciudades, y costos de viaje
entre todos los pares de
ciudades, encontrar la forma
mas barata de visitar todas las
ciudades exactamente una vez,
y volver al punto de partida.
Definicin:
Dado un conjunto finito de
ciudades, y costos de viaje
entre todos los pares de
ciudades, encontrar la forma
mas barata de visitar todas las
ciudades exactamente una vez,
y volver al punto de partida.
Mas precisamente:
Los costos son simtricos en el sentido de que viajar desde la
ciudad X a la ciudad Y tiene el mismo costo que viajar desde la
ciudad Y a la ciudad X. La condicin de visitar todas las
ciudades implica que el problema se reduce a decidir en que
orden las ciudades van a ser visitadas.
Ao
1954
1971
1975
1977
1980
1987
1987
1987
1994
1998
2001
2004
2005
Autores
Nmero
ciudades
Dantzig, Fulkerson, and Johnson
49
Held and Karp
64
Camerini, Fratta, and Maffioli
67
Grtschel
120
Crowder and Padberg
318
Padberg and Rinaldi
532
Grtschel and Holland
666
Padberg and Rinaldi
2,392
Applegate, Bixby, Chvtal, and Cook
7,397
Applegate, Bixby, Chvtal, and Cook
13,509
Applegate, Bixby, Chvtal, and Cook
15,112
Applegate, Bixby, Chvtal, Cook, and Helsgaun 24,978
Cook, Espinoza and Goycoolea
33,810
10000
b
b
1000
100
b
b
b
1953
1961
1969
1977
1985
1993
2001
Vehicle Routing.
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Ordenamiento de
observaciones en
telescopios (NASA).
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Ordenamiento de
observaciones en
telescopios (NASA).
Diseo de chips.
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Ordenamiento de
observaciones en
telescopios (NASA).
Diseo de chips.
Tour Mundial.
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Ordenamiento de
observaciones en
telescopios (NASA).
Diseo de chips.
Tour Mundial.
El problema del Viejo
Pascuero.
Vehicle Routing.
Bus Escolar.
Atencin de Llamadas
de Emergencia.
Servicio de Correo
Expreso.
Secuenciamento de
genes.
Ordenamiento de
observaciones en
telescopios (NASA).
Diseo de chips.
Tour Mundial.
El problema del Viejo
Pascuero
Contenidos
1
Introduccin
Resolviendo TSP
Enumeracin y Heuristicas
Obteniendo Cotas
Formulacin del TSP como IP
Relajacin continua
Algoritmo de hiperplanos cortantes
Cortes para el TSP
Resultados Numricos
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
10
6
9
7
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
K =2
5
6
10
9
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
K =3
5
6
10
9
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
K =3
10
Multiples posibilidades.
6
9
7
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
K =4
10
Multiples posibilidades.
Reemplazar K arcos.
9
7
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
Multiples posibilidades.
Reemplazar K arcos.
Lin-Kernighan usa
reemplazos de pares.
K
2
3
4
5
6
7
8
9
10
Casos
1
4
20
148
1368
15104
198144
2998656
51290496
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
Multiples posibilidades.
Reemplazar K arcos.
Lin-Kernighan usa
reemplazos de pares.
Lin-Kernigham-Helsgun usa
reemplazos de 5 arcos.
K
2
3
4
5
6
7
8
9
10
Casos
1
4
20
148
1368
15104
198144
2998656
51290496
Heuristicas K-Opt
Heuristicas basadas en
mejoras locales.
Reemplazar 2 arcos.
Reemplazar 3 arcos.
Multiples posibilidades.
Reemplazar K arcos.
Lin-Kernighan usa
reemplazos de pares.
Lin-Kernigham-Helsgun usa
reemplazos de 5 arcos.
Heuristicas no proveen cotas
para el problema.
K
2
3
4
5
6
7
8
9
10
Casos
1
4
20
148
1368
15104
198144
2998656
51290496
Definiciones previas:
Definiciones previas:
V Conjunto de ciudades a considerar.
Definiciones previas:
V Conjunto de ciudades a considerar.
E Conecciones entre ciudades, i.e.
E = {(a, b) : a, b V , a 6= b}.
Definiciones previas:
V Conjunto de ciudades a considerar.
E Conecciones entre ciudades, i.e.
E = {(a, b) : a, b V , a 6= b}.
c Costo de las connecciones entre ciudades.
Definiciones previas:
V Conjunto de ciudades a considerar.
E Conecciones entre ciudades, i.e.
E = {(a, b) : a, b V , a 6= b}.
c Costo de las connecciones entre ciudades.
(S) Arcos cruzando la frontera de un conjunto, i.e.
(S) = {(a, b) E : a S, b V \ S}.
Definiciones previas:
V Conjunto de ciudades a considerar.
E Conecciones entre ciudades, i.e.
E = {(a, b) : a, b V , a 6= b}.
c Costo de las connecciones entre ciudades.
(S) Arcos cruzando la frontera de un conjunto, i.e.
(S) = {(a, b) E : a S, b V \ S}.
Formulacion como IP:
X
mn
(ce xe : e E)
X
(xe : e ({v })) = 2 v V
X
s.t.
(xe : e (S)) 2 ( S ( V
xe {0, 1} e E
v V
( S ( V
e E
v V
( S ( V
e E
(rv )
v V
( S ( V
e E
(rv )
(WS )
v V
( S ( V
e E
(rv )
(WS )
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
2
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
2
x entera?, terminar.
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
2
x entera?, terminar.
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
2
x entera?, terminar.
Agregar a la formulacin
continua.
IP atravez de LP
Propuesto por Dantzig, Fulkerson y
Johnson (1954) para al TSP.
1 Considerar relajacin continua.
2
x entera?, terminar.
Agregar a la formulacin
continua.
Volvar a 2.
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Double Deckers
Domino Parity
Blossom
Binested
Sub-Tour
Combs
Clique Tree
Stars Path
Bipartition
Cortes no estructurados
Local Cuts en el TSP
Cortes no estructurados
Local Cuts en el TSP
Cortes no estructurados
Local Cuts en el TSP
Cortes no estructurados
Local Cuts en el TSP
4
3
2
1
0
x2 Z, x1 R+
P = {(x1 , x2 ) : x1 + x2 4,5}.
Cortes no estructurados
Local Cuts en el TSP
4
3
2
1
0
x2 Z, x1 R+
P = {(x1 , x2 ) : x1 + x2 4,5}.
x1 + x2 4,5, x1 0 x2 4,5
Cortes no estructurados
Local Cuts en el TSP
4
3
2
1
0
x2 Z, x1 R+
P = {(x1 , x2 ) : x1 + x2 4,5}.
x1 + x2 4,5, x1 0 x2 4,5
x2 4.
Cortes no estructurados
Local Cuts en el TSP
4
3
2
1
0
x2 Z, x1 R+
P = {(x1 , x2 ) : x1 + x2 4,5}.
x1 + x2 4,5, x1 0 x2 4,5
x2 4.
Cortes no estructurados
Local Cuts en el TSP:
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un TSP
pequeo (16-48 nodos).
xe = 0,5
2
1
xe = 1,0
3
7
4
6
5
xe = 1,5
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un TSP
pequeo (16-48 nodos).
xe = 0,5
2
1
xe = 1,0
3
7
4
6
5
xe = 1,5
Cortes no estructurados
1
xe = 0,5
xe = 1,0
xe = 1,5
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
0 P
k =1,...,K
P
k vk
[0, 1]
k =1,...,K
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
0 P
k =1,...,K
P
k vk
[0, 1]
k =1,...,K
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Extensin a MIP.
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Extensin a MIP.
Formulacin de MIP:
min
s.t.
cx
Ax
Rx
b
Zk
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Extensin a MIP.
Formulacin de MIP:
min
s.t.
cx
Ax
Rx
b
Zk
Relajacin:
min
s.t.
cx
Ax
QRx
b
Z3
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Extensin a MIP.
Formulacin de MIP:
min
s.t.
cx
Ax
Rx
b
Zk
Relajacin:
min
s.t.
cx
Ax
QRx
b
Z3
Cortes no estructurados
Local Cuts en el TSP:
Reducir a un GTSP
pequeo (16-48 nodos).
Separar punto
fraccionario.
Si punto es separable,
agregar corte
expandido.
Problemas numricos.
Extensin a MIP.
C
C
al
u
al
C
u
to
a
C an
u
to
C an
a la..
d
u
a la..
C a
f lla
u
C an do tod
fa lla.. . C
C an do tod o fa lla. . C ua ndo to do f alla ...
u
ua d
.
d
o
C an do tod o fa lla. . C ua
o tod
fa lla.. . C ua ndo tod o f alla ...
u
.
o
t
d
l
.
ua nd
o
o
l
to
u n
a
l
a
..
.
C a
o
f
u n
C an do
nd o t do fal la...
C an do tod o fa lla. . C ua ndo to do f alla ...
u
la
u
.
o od
f
C an do
C an do tod o fa lla. . C ua ndo to do f alla ...
to o alla ...
ua d
ua d
..
do a
to o
n
l
.
f
C
o
d
l
u
.
a
a
.
t
n
C
d
o
l
f
.
d
to o
C an o od
fa la.. . C ua do to
f lla . C ua ndo tod o f alla ...
u
to do alla ...
a
..
C a do to o f lla . C ua ndo to do
u n
do fa
..
C a do tod o f lla . C ua ndo to do f alla ...
ua nd
to do
do a
nd
.
fa lla.. . C ua ndo tod o f alla ...
C
o
u
.
d
t
a
l
..
.
C a
o o
f lla . C ua ndo tod o f
u n
al la...
C an do tod o fa lla. . C ua ndo to do f alla ...
a
u n
u
.
C an do tod o fa lla.
al la...
C an do tod o fa lla. . C ua ndo to do f alla ...
u
.
la
u
.
C an do tod o fa lla. .
...
C an do tod o fa lla. . C ua ndo to do f alla ...
u
.
ua d
.
d
o
t
n
a
l
.
.
C a do to o f lla .
o
l
u
.
C
o
do fa a..
C an do tod o fa lla. . C ua ndo to do f alla ...
ua nd
t
l
.
o
l
ua d
do a
to o
C
o
lla ..
...
C
do fa a..
ua nd
t
C
o
l
f
ua nd
o
d
l
t
u
n
a
l
a
.
.
C
o
o
f
u
.
C
o
fa la..
C an
d
C a do to o f lla . C ua ndo to do f alla ...
u n
u
d
C an do tod o fa lla. . C ua ndo to do f alla ...
a
..
C a do
u n
ua d
..
d
to o
a
l
..
C a do to o f lla . C ua ndo
u n
nd o t do fal la...
C an do tod o fa lla. . C ua ndo to do f alla ...
u n
la
u
.
o od
f
C an do
C an do tod o fa lla. . C ua ndo to do f alla ...
to o alla ...
u
u
.
f
C an do
C an do tod o fa lla. . C ua ndo to do f alla ...
to do alla ...
u
u
.
C an do tod
do fa
..
C a do tod o f lla . C ua ndo to do f alla ...
u
d
a
..
fa lla.. . C ua ndo tod o f alla ...
C a do to o
u n
C an do tod o fa lla. . C ua ndo to do f
fa lla.. . C ua ndo tod o f alla ...
u
.
o
t
n
d
l
.
o
ua d
l
.
to do
C an o
ua nd
do fa la..
to o alla ...
C
o
fa
u
al la...
d
t
n
C
d
o
l
.
f
d
la
u
a
..
C a
o o
la
f
u n
C an do tod o fa lla.
...
C an do tod o fa lla. . C ua ndo to do alla ...
ua d
o
lla ..
ua d
do
o
nd
lla ..
...
o tod
u
n
o
...
an o
nd
o
...
do
do
o
P2
P1
P2
P1
P2
P1
P2
P1
Valor
39755.198
Tiempo
134
GAP ( %)
0.639
Valor
39755.198
39846.738
Tiempo
134
25518
GAP ( %)
0.639
0.470
Valor
39755.198
39846.738
39994.941
Tiempo
134
25518
14509
GAP ( %)
0.639
0.470
0.040
Valor
39755.198
39846.738
39994.941
40001.294
Tiempo
134
25518
14509
10863
GAP ( %)
0.639
0.470
0.040
0.024
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
Tiempo
134
25518
14509
10863
14160
GAP ( %)
0.639
0.470
0.040
0.024
0.021
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
40003.294
Tiempo
134
25518
14509
10863
14160
21159
GAP ( %)
0.639
0.470
0.040
0.024
0.021
0.019
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
40003.294
40004.291
Tiempo
134
25518
14509
10863
14160
21159
60269
GAP ( %)
0.639
0.470
0.040
0.024
0.021
0.019
0.017
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
40003.294
40004.291
40008.475
Tiempo
134
25518
14509
10863
14160
21159
60269
+3 dias
GAP ( %)
0.639
0.470
0.040
0.024
0.021
0.019
0.017
0.007
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
40003.294
40004.291
40008.475
40031.459
Tiempo
134
25518
14509
10863
14160
21159
60269
+3 dias
46
GAP ( %)
0.639
0.470
0.040
0.024
0.021
0.019
0.017
0.007
-0.051
Valor
39755.198
39846.738
39994.941
40001.294
40002.578
40003.294
40004.291
40008.475
40031.459
44594.459
Tiempo
134
25518
14509
10863
14160
21159
60269
+3 dias
46
3
GAP ( %)
0.639
0.470
0.040
0.024
0.021
0.019
0.017
0.007
-0.051
-11.455
GAP
( %)
Relativo
%
100
90
80
70
60
50
40
30
20
10
0
GAP
( %)
Relativo
Cortes Heursticos
35.773
%
100
90
80
70
60
50
40
30
20
10
0
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
%
100
90
80
70
60
50
40
30
20
10
0
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
%
100
90
80
70
60
50
40
30
20
10
0
DP
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
DP + LC 24
96.673
%
100
90
80
70
60
50
40
30
20
10
0
DP+LC24
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
DP + LC 24
96.673
DP + LC 32
96.953
%
100
90
80
70
60
50
40
30
20
10
0
DP+LC32
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
DP + LC 24
96.673
DP + LC 32
96.953
DP + LC 40
97.343
%
100
90
80
70
60
50
40
30
20
10
0
DP+LC40
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
DP + LC 24
96.673
DP + LC 32
96.953
DP + LC 40
97.343
DP + LC + Branching
98.978
%
100
90
80
70
60
50
40
30
20
10
0
BR
DP+LC40
LC24
CH
GAP
( %)
Relativo
Cortes Heursticos
35.773
93.689
Domino Parity
96.171
DP + LC 24
96.673
DP + LC 32
96.953
DP + LC 40
97.343
DP + LC + Branching
98.978
LKH
107.960
%
100
90
80
70
60
50
40
30
20
10
0
LKH
BR
DP+LC40
LC24
CH
Contenidos
1
Introduccin
Resolviendo TSP
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Optimalidad.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Optimalidad.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Optimalidad.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Optimalidad.
Conclusiones
TSP ofrece un punto de referencia dentro de IP.
Estrategia depende del objetivo:
Solucin factible.
Buena solucin.
Optimalidad.
Gracias
Preguntas?