Problema del viajante

Un viajante de comercio desea visitar n ciudades volviendo al punto

de partida. ¿Qué ruta debe seguir para minimizar la distancia total
recorrida?

Caminos hamiltonianos B C Algoritmo

1. Calcular la distancia total de cada ciclo.

A D 2. Hallar la mínima de las distancias

Gregorio Hernández Peñalver anteriores
¿Cómo describir TODOS los ciclos?
UPM ¿Cuántos hay?
F E
Teoría de Grafos
2

Un camino hamiltoniano en un grafo es un camino que contiene

Complejidad a todos los vértices del grafo exactamente una vez
(salvo v0=vn, si el camino es cerrado).
log n n n2 2n n! Un grafo hamiltoniano es aquel que contiene un ciclo hamiltoniano.
2 1 2 4 4 2 a b a b a b
8 3 8 64 256 40320 G G''
32 5 32 1024 4,3×109 2,6 ×1035 d c
G'
d d c
c
100 6 100 104 1,2×1027 9,3×10177

Un siglo tiene 3,1×109 segundos

Si la edad del Universo es de 15000 millones de años,

el big-bang ocurrió hace 4,5×1017 segundos

3 4

Propiedad Teorema
Un grafo bipartido G=(V1 ∪V2 , A) con ⏐V1⏐≠⏐V2⏐ no es Sea G un grafo simple de n vértices. Si para todo par de vértices x e y
hamiltoniano no adyacentes se cumple que d(x)+d(y) ≥ n , entonces G es hamiltoniano.

Teorema
Si G es un grafo hamiltoniano entonces,
∀ S ⊂ V se cumple que | comp. conexas de (G − S) | ≤ ⏐S⏐

S
G−S

5
NO hay caracterización para los grafos hamiltonianos. 6

1
 Recorrido del caballo en un tablero de ajedrez Recorrido del caballo en un tablero de ajedrez

Tablero 4×4

Tablero 5×5
Tablero 8×8
7 8

Problema del Viajante (Travelling Salesman Problem) CÓDIGOS DE GRAY

Alfabeto I={0,1} 2n palabras de longitud n
Un código de Gray de orden n es una ordenación de esas 2n palabras tal que palabras
Hallar la ruta de longitud mínima consecutivas difieren en un sólo dígito.
que vista todas las ciudades {000, 100, 110, 010, 011, 111, 101, 001, 000} es un código de Gray de orden 3.
es un problema NP-completo
011 111
http://www.tsp.gatech.edu/index.html 001
101
Un ciclo hamiltoniano en Q3

Algoritmos aproximados 010

110
- Vecino más próximo
- Doble intercambio 000 100
- Duplicando MST 011 111
- Algoritmo de Christofides 01 11 001
101

00 10
010
01 11 110
http://www.dma.fi.upm.es/gregorio/grafos/enlacesgrafos.html
00 10 000 100

9 10