06-Grafos Hamiltonianos I

Grafos VI
Grafos hamiltonianos I
Profesores de Teorı́a de Grafos
MACC: Matemáticas Aplicadas y Ciencias de la Computación

Escuela de Ingenierı́a, Ciencia y Tecnológica
Universidad Colegio Mayor de Nuestra Señora del Rosario
Grafos hamiltonianos I –1–
Agenda
1 Grafos hamiltonianos: caminos y ciclos hamiltonianos
E.C. Cubides Teorı́a de Grafos – URosario

Grafos hamiltonianos: caminos y ciclos hamiltonianos Grafos hamiltonianos I –2–
Agenda
1 Grafos hamiltonianos: caminos y ciclos hamiltonianos

El juego icosiano I
Sir William Rowan Hamilton vendió a un fabricante de juguetes de Dublı́n
un juego llamado Viaje por el Mundo también llamado juego icosiano
(figura 1) a mediados del siglo XIX (1857) en la forma de un dodecaedro
regular (figura 2), hecho de madera con 12 pentágonos regulares, 20
esquinas (vértices) y 30 aristas
Figura: Juego icosiano.

El juego icosiano II
Cada vértice del juego representa el nombre de una ciudad, y el objetivo

era iniciar en un vértice (ciudad) determinado, y seguir una caminata de
tal manera que se visite cada ciudad justo una vez y termine en la ciudad
inicial.
Figura: Ejemplos de dodecaedros.

Una posible representación en dos dimensiones usando grafos, de un

dodecaedro, que representa el juego de Hamilton se presenta en la figura 3.
d
l
m k
e s r c
n j
o p q i
t
f g h
a b
Grafo en dos dimensiones de un dodecaedro que representa el juego de
Figura:
Hamilton.

Un camino que empieza en un vértice a, recorre todos los vértices sin

repetir, excepto el inicial a se presenta en la figura 4, este es
(a, b, c, d, e, n, m, l, k, j, i, h, g, p, q, r, s, t, o, f, a).
d
l
m k
e c
s r
n j
o t p q i
f g h
a b
Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b


d
l
m k
e c
s r
n j
o t p q i
f g h
a b

Grafos hamiltonianos: caminos y ciclos hamiltonianos
A continuación se formalizará el tipo de camino, ciclo y grafo en el cual se

puede hacer un recorrido usando todos los vértices, sin repetición, excepto
posiblemente los extremos.
Definición
Sea G = (V, E) un grafo.
Un camino hamiltoniano es un camino que recorre todos los vértices
una sola vez.
Un grafo para el cual existe un camino hamiltoniano entre dos
vértices distintos se denomina un grafo semi-hamiltoniano.
Un ciclo hamiltoniano es un camino que es cerrado y que recorre
todos los vértices una sola vez (salvo los vértices extremos).
Un grafo con un ciclo hamiltoniano es un grafo hamiltoniano.

Observación
Si un grafo posee n vértices y es un grafo hamiltoniano, entonces el ciclo
hamiltoniano debe tener exactamente n aristas distintas.
Observación
El problema de encontrar un camino o ciclo hamiltoniano se considera un
problema del tipo NP-completo (es decir, es un problema que se demora
mucho tiempo en resolverse –es intratable–, aunque siempre se puede
responder al problema de decisión si existe camino o ciclo hamiltoniado o
no).

Ejemplo
Para el siguiente grafo G1
v2 v3
v1 v4
se tiene que es un grafo hamiltoniano, pues el camino (v1 , v2 , v3 , v4 , v1 ) es

un ciclo hamiltoniano. Adicionalmente al poseer un ciclo hamiltoniano
también posee un camino hamiltoniano (v1 , v2 , v3 , v4 ).
¿es un grafo semi-euleriano?

¿es un grafo euleriano?

Grafos hamiltonianos: caminos y ciclos hamiltonianos Grafos hamiltonianos I – 10 –
Ejemplo
w2 w3
w1 w4
se tiene que posee un camino hamiltoniano (w1 , w3 , w2 , w4 ), sin embargo

no posee un ciclo hamiltoniano ya que deberı́a tener al menos dos aristas
incidentes en w4 (la arista entrante y la respectiva saliente), por lo que no
es un grafo hamiltoniano.
Observación
Del ejemplo anterior se observa que si existe algún vértice de tipo hoja (de
grado 1), entonces el grafo no puede ser hamiltoniano.
¿es un grafo semi-euleriano?, ¿es un grafo euleriano?

Ejemplo
x3
x2 x4
x1 x5
se tiene que posee un camino hamiltoniano (x1 , x3 , x5 , x4 , x2 ), sin

embargo no es un grafo hamiltoniano, pues no posee un ciclo hamiltoniano
por la misma razón del grafo anterior.

Ejemplo
y3
y2 y4
y1 y5
se tiene que no posee caminos hamiltonianos, ya que si tuviera alguno,

este deberı́a empezar en y4 y terminar en y5 (o viceversa). Para el primer
caso entonces el camino deberı́a empezar por (y4 , y2 , . . . y deberı́a
terminar en . . . , y2 , y5 ) pasando por los vértices intermedios y1 y y3 , de
donde necesariamente el vértice y2 aparecerı́a al menos dos veces, por los
cual no existen caminos hamiltonianos en el grafo.

Observación
Obsérvese que el grafo G1 es tanto euleriano como hamiltoniano, mientras
que en los grafos G2 y G4 existen caminos eulerianos, pero el grafo G3 no
posee caminos eulerianos, por lo tanto no existe relación entre caminos
eulerianos y caminos hamiltonianos.
Observación
Intuitivamente, cuantas más aristas posea un grafo con un número fijo de
vértices, más fácil será poder encontrar un ciclo hamiltoniano, por lo que
se pueden enunciar ciertos teoremas que garantizan la existencia de ciclos
hamiltonianos, sin embargo aún no existen condiciones necesarias y
suficiente, de fácil verificación, para la existencia de este tipo de ciclos.

En ejemplos anteriores se demostró que un grafo no tiene ciclos

hamiltonianos cuando un vértice tiene grado 1, pero existen grafos con
todos los vértices de grado mayor o igual a dos (2) que sin embargo no
tienen ciclos hamiltonianos, como se muestra a continuación:
Teorema
Para el siguiente grafo demuestre que no es un grafo hamiltoniano
2 5 4

Teorema (continuación)
3
2 5 4
Demostración.
Obsérvese que para ser grafo hamiltoniano, entonces debe existir un ciclo
hamiltoniano en el cual cada uno de los vértices debe tener dos aristas
incidentes que hagan parte del ciclo, ya que debe haber una que entre y
otra que salga del vértice, por lo que para el vértice 2 se debe eliminar una
arista incidente, lo cual harı́a que alguno de los vértices 1, 5 o 3 quedará
sin una de las aristas incidentes, lo cual es necesario para que exista un
ciclo hamiltoniano. Razón por la cual el grafo no es hamiltoniano.

Teorema
Para el siguiente grafo demuestre que no es un grafo hamiltoniano
u y
w x
v z

Demostración.
Obsérvese que para ser grafo hamiltoniano, entonces debe existir un ciclo
hamiltoniano en el cual cada uno de los vértices debe tener dos aristas
incidentes que hagan parte del ciclo, de donde las aristas {u, v}, {u, w},
{v, w}, {x, z}, {y, x} y {y, z} deben hacer parte del ciclo hamiltoniano, y
por lo tanto la arista {w, x} no debe pertenecer, con lo cual el grafo
adquirirá el siguiente aspecto
u y
w x
v z
de lo anterior se observa que el grafo se desconecta y por lo tanto no se

puede existir un ciclo hamiltoniano en el grafo, razón por la cual el grafo
no es hamiltoniano.

Algoritmo para construir un ciclo hamiltoniano o para

demostrar que el grafo no es hamiltoniano
Razonando por contradicción, suponemos que existe un ciclo hamiltoniano
C en el grafo G, y entonces utilizamos la siguientes reglas:
Regla 1: Si existe un ciclo hamiltoniano todos los vértices v del grafo
deben tener grado mayor o igual a dos, δ(v) ≥ 2.
Regla 2: Sea v un vértice de grado δ(v) = 2. Entonces las dos (2) aristas
incidentes en v deben pertenecer al ciclo hamiltoniano C.
Regla 3: Si v es un vértice de grado δ(v) > 2, y ya se han incorporado dos
2 de las aristas de v al ciclo C que se está construyendo, entonces,
se deben eliminar el resto de aristas incidentes en v.
Regla 4: Si efectivamente el grafo G es hamiltoniano, con la construcción
realizada no se puede encontrar un ciclo que tenga menos vértices
que el orden del grafo G.
Si las reglas 1 o 4 no se cumplen en algún momento,
entonces el grafo no es hamiltoniano.
Ejemplo de grafo hamiltoniano
2 3

Ejemplo de grafo no hamiltoniano
6 5
7
8 9

Ejemplo de grafo no hamiltoniano

Por casos (backtraking) — reducción al absurdo
1 2
4 5 6
8 9

06-Grafos Hamiltonianos I

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

06-Grafos Hamiltonianos I

Cargado por

Copyright:

Formatos disponibles

Grafos VI

Profesores de Teorı́a de Grafos

MACC: Matemáticas Aplicadas y Ciencias de la Computación

1 Grafos hamiltonianos: caminos y ciclos hamiltonianos

E.C. Cubides Teorı́a de Grafos – URosario

1 Grafos hamiltonianos: caminos y ciclos hamiltonianos

E.C. Cubides Teorı́a de Grafos – URosario

Figura: Juego icosiano.

E.C. Cubides Teorı́a de Grafos – URosario

Cada vértice del juego representa el nombre de una ciudad, y el objetivo

Figura: Ejemplos de dodecaedros.

E.C. Cubides Teorı́a de Grafos – URosario

Una posible representación en dos dimensiones usando grafos, de un

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario

Un camino que empieza en un vértice a, recorre todos los vértices sin

Figura: Recorrido del grafo utilizado para representar el juego de Hamilton.

E.C. Cubides Teorı́a de Grafos – URosario