Professional Documents
Culture Documents
Y esta otra?
K onigsberg es famosa por ser la ciudad natal de Immanuel Kant, pero tambi en es famosa por sus siete puentes y por el problema que consist a en saber si una persona podr a cruzar todos los puentes una sola vez, volviendo al lugar de donde parti o.
Este problema fue resuelto por Euler en 1736, quien demostr o que no era posible. Para eso model o el problema como un problema de grafos: recorrer todas las aristas de un grafo una y solo una vez, volviendo al v ertice inicial.
Deniciones
Un circuito Euleriano en un grafo o multigrafo G es un circuito que recorre cada arista una y s olo una vez.
Ej:
Deniciones
Un circuito Euleriano en un grafo o multigrafo G es un circuito que recorre cada arista una y s olo una vez. Un grafo o multigrafo es Euleriano si tiene un circuito Euleriano. Ej:
Deniciones
Un circuito Euleriano en un grafo o multigrafo G es un circuito que recorre cada arista una y s olo una vez. Un grafo o multigrafo es Euleriano si tiene un circuito Euleriano. Ej:
Deniciones
Un circuito Euleriano en un grafo o multigrafo G es un circuito que recorre cada arista una y s olo una vez. Un grafo o multigrafo es Euleriano si tiene un circuito Euleriano. Ej:
Obs: Si un grafo tiene al menos dos componentes conexas no triviales, no puede tener camino ni circuito Euleriano.
El Teorema de Euler
Teorema
Son equivalentes, para G grafo o multigrafo conexo: 1. G es Euleriano. 2. Todo v ertice de G tiene grado par. 3. Las aristas de G pueden particionarse en circuitos.
Grafos Eulerianos
u4 u1 u6 u3 u5
u2
u7
u8
Grafos Eulerianos
u4 u1 u6 u3 u5
u2
u7
u8
Grafos Eulerianos
u4 u1 u6 u3 u5
u2
u7
u8
Grafos Eulerianos
u4 u1 u6 u3 u5
u2
u7
u8
En base a los teoremas anteriores, cu al es la complejidad computacional de saber si un grafo es o no Euleriano? A partir de la demostraci on, se puede escribir un algoritmo para construir un circuito Euleriano para un grafo que tiene todos sus v ertices de grado par.
Grafos Eulerianos
Entrada: G = (V , E ) conexo con d (v ) par para todo v V . Salida: Un circuito Euleriano de G . Comenzar por cualquier v ertice v y construir un ciclo Z . Mientras E \ Z = hacer:
Elegir w tal que exista (w , u ) Z y (w , z ) E \ Z . Desde w construir un ciclo D con D Z = . Z := unir Z y D por medio de w .
Grafos Eulerianos
Un camino Euleriano en un grafo o multigrafo G es un camino que recorre cada arista una y s olo una vez. Un grafo orientado o digrafo, se dice Euleriano si tiene un circuito orientado que pasa por cada arco de G exactamente una vez.
Grafos Eulerianos
Un camino Euleriano en un grafo o multigrafo G es un camino que recorre cada arista una y s olo una vez. Un grafo orientado o digrafo, se dice Euleriano si tiene un circuito orientado que pasa por cada arco de G exactamente una vez.
Teorema
Un grafo o multigrafo conexo tiene un camino Euleriano si y s olo si todos sus v ertices tienen grado par salvo dos.
Grafos Eulerianos
Un camino Euleriano en un grafo o multigrafo G es un camino que recorre cada arista una y s olo una vez. Un grafo orientado o digrafo, se dice Euleriano si tiene un circuito orientado que pasa por cada arco de G exactamente una vez.
Teorema
Un grafo o multigrafo conexo tiene un camino Euleriano si y s olo si todos sus v ertices tienen grado par salvo dos.
Teorema
Un digrafo conexo es Euleriano si y s olo si para todo v ertice v de G se verca que din (v ) = dout (v ).
El juego de Hamilton
En 1859 Hamilton invent o un juego que consist a en encontrar un recorrido de todos los v ertices de un dodecaedro sin repetir v ertices y volviendo al original.
Deniciones
Un camino Hamiltoniano en un grafo G es un camino que recorre cada v ertice una y s olo una vez.
Deniciones
Un camino Hamiltoniano en un grafo G es un camino que recorre cada v ertice una y s olo una vez. Un circuito Hamiltoniano en un grafo G es un circuito que recorre cada v ertice una y s olo una vez. Ej:
Deniciones
Un camino Hamiltoniano en un grafo G es un camino que recorre cada v ertice una y s olo una vez. Un circuito Hamiltoniano en un grafo G es un circuito que recorre cada v ertice una y s olo una vez. Un grafo es Hamiltoniano si tiene un circuito Hamiltoniano. Ej:
Deniciones
Un camino Hamiltoniano en un grafo G es un camino que recorre cada v ertice una y s olo una vez. Un circuito Hamiltoniano en un grafo G es un circuito que recorre cada v ertice una y s olo una vez. Un grafo es Hamiltoniano si tiene un circuito Hamiltoniano. Ej:
Grafos Hamiltonianos
Teorema (condici on necesaria). Sea G un grafo conexo. Si existe W V tal que G \ W tiene c componentes conexas con c > |W | entonces G no es Hamiltoniano. Es cierta la rec proca de este teorema?
Grafos Hamiltonianos
Teorema (condici on necesaria). Sea G un grafo conexo. Si existe W V tal que G \ W tiene c componentes conexas con c > |W | entonces G no es Hamiltoniano. Es cierta la rec proca de este teorema? Teorema (Dirac, 1952) (condici on suciente). Sea G un grafo con n 3 y tal que para todo v V se verica que d (v ) n/2. Entonces G es Hamiltoniano. Es cierta la rec proca de este teorema?
Grafos Hamiltonianos
No se conocen condiciones necesarias y sucientes que caractericen en forma elegante a los grafos Hamiltonianos.
Grafos Hamiltonianos
No se conocen condiciones necesarias y sucientes que caractericen en forma elegante a los grafos Hamiltonianos. No se conocen algoritmos polinomiales para determinar si un grafo es Hamiltoniano o no (algoritmos de reconocimiento).
Grafos Hamiltonianos
No se conocen condiciones necesarias y sucientes que caractericen en forma elegante a los grafos Hamiltonianos. No se conocen algoritmos polinomiales para determinar si un grafo es Hamiltoniano o no (algoritmos de reconocimiento). M as a un, se sospecha que no existen (!) algoritmos polinomiales para este problema (c omo se demuestra esto?).
El problema del viajante de comercio se trata de un viajante que debe recorrer lo m as pronto posible cierta cantidad de ciudades y volver nalmente a la ciudad donde vive.
El problema del viajante de comercio se trata de un viajante que debe recorrer lo m as pronto posible cierta cantidad de ciudades y volver nalmente a la ciudad donde vive. En t erminos de grafos, es encontrar un camino Hamiltoniano de longitud m nima en un grafo completo con longitudes asociadas a sus aristas.
El problema del viajante de comercio se trata de un viajante que debe recorrer lo m as pronto posible cierta cantidad de ciudades y volver nalmente a la ciudad donde vive. En t erminos de grafos, es encontrar un camino Hamiltoniano de longitud m nima en un grafo completo con longitudes asociadas a sus aristas. En su versi on de decisi on, la entrada es un grafo completo G con longitudes asociadas a sus aristas y un n umero k , y la pregunta es Existe en G un circuito Hamiltoniano de longitud k ?.
Entrada: Un grafo G = (V , E ) completo y una funci on de distancias : E R+ . Salida: Un circuito Hamiltoniano C E que minimice la distancia total (C ) = ij C (ij ). Se trata de una generalizaci on del problema de camino Hamiltoniano (por qu e?).
Entrada: Un grafo G = (V , E ) completo y una funci on de distancias : E R+ . Salida: Un circuito Hamiltoniano C E que minimice la distancia total (C ) = ij C (ij ). Se trata de una generalizaci on del problema de camino Hamiltoniano (por qu e?). Como consecuencia, no se conocen algoritmos polinomiales para resolver el TSP (por qu e??).
Entrada: Un grafo G = (V , E ) completo y una funci on de distancias : E R+ . Salida: Un circuito Hamiltoniano C E que minimice la distancia total (C ) = ij C (ij ). Se trata de una generalizaci on del problema de camino Hamiltoniano (por qu e?). Como consecuencia, no se conocen algoritmos polinomiales para resolver el TSP (por qu e??). Pausa los oca:
Entrada: Un grafo G = (V , E ) completo y una funci on de distancias : E R+ . Salida: Un circuito Hamiltoniano C E que minimice la distancia total (C ) = ij C (ij ). Se trata de una generalizaci on del problema de camino Hamiltoniano (por qu e?). Como consecuencia, no se conocen algoritmos polinomiales para resolver el TSP (por qu e??). Pausa los oca: ... entonces qu e hacemos?
Hip otesis: Las distancias cumplen la desigualdad triangular: (ij ) + (jk ) (ik ) para todo i , j , k V .
Hip otesis: Las distancias cumplen la desigualdad triangular: (ij ) + (jk ) (ik ) para todo i , j , k V .
Obtener un arbol generador m nimo T = (VT , ET ) de G . Duplicar las aristas de ET , obteniendo un nuevo arbol T . Encontrar un circuito Euleriano C en T (siempre existe!). Transformar C en un circuito Hamiltoniano salteando v ertices ya visitados.
Teorema. Si min es la longitud de la soluci on optima del TSP para la instancia (G , ) y heur es la longitud de la soluci on generada por la heur stica anterior, entonces
heur 2. min
En virtud de este teorema, decimos que esta heur stica es un algoritmo 2-aproximado.
Teorema. Si min es la longitud de la soluci on optima del TSP para la instancia (G , ) y heur es la longitud de la soluci on generada por la heur stica anterior, entonces
heur 2. min
En virtud de este teorema, decimos que esta heur stica es un algoritmo 2-aproximado. Se puede mejorar?
Obtener un arbol generador m nimo T = (VT , ET ) de G . Sea I VT el conjunto de v ertices con grado impar en T . Encontrar un matching perfecto de peso m nimo M en el subgrafo de G inducido por I . Combinar las aristas de M y T para formar un multigrafo H . Encontrar un circuito Euleriano C en H (siempre existe!). Transformar C en un circuito Hamiltoniano salteando v ertices ya visitados.
Se puede mejorar?
Se puede mejorar? Si las distancias son eucl deas en el plano, entonces existe un algoritmo (1 + 1/c )-aproximado con complejidad O (n(log n)O (c 2) ).
Desde el punto de vista de algoritmos exactos, el enfoque m as exitoso a la fecha est a dado por algoritmos basados en programaci on lineal entera.
Resuelta por Applegate, Bixby, Chv atal, Cook y Helsgaun. Longitud total de aproximadamente 72.500 Km.
A no 1954
Ciudades 49
Equipo G. Dantzig, R. Fulkerson y S. Johnson M. Held y R.M. Karp P. M. Camerini, L. Fratta y F. Maoli M. Gr otschel
Equipo G. Dantzig, R. Fulkerson y S. Johnson M. Held y R.M. Karp P. M. Camerini, L. Fratta y F. Maoli M. Gr otschel H. Crowder y M. W. Padberg M. Padberg y G. Rinaldi M. Gr otschel y O. Holland M. Padberg y G. Rinaldi
A no 1954 1971 1975 1977 1980 1987 1987 1987 1994 1998 2001 2004 2005 2006
Equipo G. Dantzig, R. Fulkerson y S. Johnson M. Held y R.M. Karp P. M. Camerini, L. Fratta y F. Maoli M. Gr otschel H. Crowder y M. W. Padberg M. Padberg y G. Rinaldi M. Gr otschel y O. Holland M. Padberg y G. Rinaldi D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal, W. Cook, D. Espinoza, M. Goycoolea y K. Helsgaun
Ciudades 49 64 100 120 318 532 666 2,392 7,397 13,509 15,112 24,978 33,810
A no 1954 1971 1975 1977 1980 1987 1987 1987 1994 1998 2001 2004 2005 2006
Equipo G. Dantzig, R. Fulkerson y S. Johnson M. Held y R.M. Karp P. M. Camerini, L. Fratta y F. Maoli M. Gr otschel H. Crowder y M. W. Padberg M. Padberg y G. Rinaldi M. Gr otschel y O. Holland M. Padberg y G. Rinaldi D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal, W. Cook, D. Espinoza, M. Goycoolea y K. Helsgaun
Ciudades 49 64 100 120 318 532 666 2,392 7,397 13,509 15,112 24,978 33,810
A no 1954 1971 1975 1977 1980 1987 1987 1987 1994 1998 2001 2004 2005 2006
Equipo G. Dantzig, R. Fulkerson y S. Johnson M. Held y R.M. Karp P. M. Camerini, L. Fratta y F. Maoli M. Gr otschel H. Crowder y M. W. Padberg M. Padberg y G. Rinaldi M. Gr otschel y O. Holland M. Padberg y G. Rinaldi D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal y W. Cook D. Applegate, R. Bixby, V. Chv atal, W. Cook, D. Espinoza, M. Goycoolea y K. Helsgaun
Ciudades 49 64 100 120 318 532 666 2,392 7,397 13,509 15,112 24,978 33,810 85,900