ESCUELA DE POST GRADO DE LA UNIVERSIDAD

NACIONAL DE SAN ANTONIO ABAD DEL CUSCO

MAESTRÍA EN CIENCIAS - MENCIÓN INFORMÁTICA

MONOGRAFÍA
PROBLEMA DEL CAMINO HAMILTONIANO

PRESENTADO POR:
 Michael Jonathan Morales Muñoz
 Luis Felipe Hanco Sucari
 Pedro Fredy Diaz Barragan
 Yesenia Erika Castilla Condori

Docente:
Mgt. BORIS CHULLO LLAVE

Cusco – Perú
2022
 ii

Definición

En el campo matemático de la teoría de grafos, un camino hamiltoniano (o camino

rastreable) es un camino en un gráfico dirigido o no dirigido que visita cada vértice
exactamente una vez. Un ciclo hamiltoniano (o circuito hamiltoniano) es un camino
hamiltoniano que es un ciclo. Determinar si tales trayectorias y ciclos existen en los
gráficos es el problema de la trayectoria hamiltoniana, que es NP-completo.

Los caminos y ciclos hamiltonianos llevan el nombre de William Rowan Hamilton,

quien inventó el juego icosiano, ahora también conocido como el rompecabezas de
Hamilton, que consiste en encontrar un ciclo hamiltoniano en el gráfico de borde del
dodecaedro. Hamilton resolvió este problema utilizando el cálculo icosiano, una
estructura algebraica basada en raíces de unidad con muchas similitudes con los
cuaterniones (también inventado por Hamilton). Esta solución no se generaliza a
gráficos arbitrarios.

A pesar de llevar el nombre de Hamilton, los ciclos hamiltonianos en poliedros

también habían sido estudiados un año antes por Thomas Kirkman, quien, en
particular, dio un ejemplo de poliedro sin ciclos hamiltonianos. [1] Incluso antes, los
ciclos y caminos hamiltonianos en el gráfico del caballo del tablero de ajedrez, el
recorrido del caballero había sido estudiados en el siglo IX en las matemáticas
indias por Rudrata, y casi al mismo tiempo en las matemáticas islámicas por al-Adli
ar-Rumi. En la Europa del siglo XVIII, las giras de los caballeros fueron publicadas
por Abraham de Moivre y Leonhard Euler.

Una ruta hamiltoniana o trazable es una ruta que visita cada vértice del gráfico
exactamente una vez. Una gráfica que contiene una ruta hamiltoniana se denomina
gráfica trazable. Una gráfica está conectada al hamiltoniano si por cada par de
vértices hay un camino hamiltoniano entre los dos vértices.

Un ciclo hamiltoniano, circuito hamiltoniano, recorrido de vértice o ciclo de gráfico es

un ciclo que visita cada vértice exactamente una vez. Un gráfico que contiene un
ciclo hamiltoniano se llama gráfico hamiltoniano.

Se pueden definir nociones similares para gráficos dirigidos, donde cada borde
(arco) de una ruta o ciclo solo se puede trazar en una sola dirección (es decir, los
vértices están conectados con flechas y los bordes trazados "de cola a cabeza").

Una descomposición hamiltoniana es una descomposición de los bordes de un

gráfico en circuitos hamiltonianos.

Un laberinto de Hamilton es un tipo de acertijo lógico en el que el objetivo es

encontrar el ciclo hamiltoniano único en un gráfico determinado.
 iii

CAMINOS DE HAMILTONIANO.

En el campo matemático de la teoría de grafos, un camino hamiltoniano en un grafo

es un camino, una sucesión de aristas adyacentes, que visita todos los vértices del
grafo una sola vez. Si además el último vértice visitado es adyacente al primero, el
camino es un ciclo hamiltoniano.

El problema de encontrar un ciclo (o camino) hamiltoniano en un grafo arbitrario se

sabe que es NP-completo.

Los caminos y ciclos hamiltonianos fueron nombrados después que William Rowan
Hamilton, inventor del juego de Hamilton, lanzara un juguete que involucraba
encontrar un ciclo hamiltoniano en las aristas de un grafo de un dodecaedro.
Hamilton resolvió este problema usando cuaterniones, pero esta solución no se
generaliza a todos los grafos.

Un camino hamiltoniano es un camino que visita cada vértice exactamente una vez.
Un grafo que contiene un camino hamiltoniano se denomina un ciclo hamiltoniano o
circuito hamiltoniano si es un ciclo que visita cada vértice exactamente una vez
(excepto el vértice del que parte y al cual llega) un grafo que contiene un ciclo
hamiltoniano es llamado grafo hamiltoniano

Definición 

Problemas NP

Problemas NP Completo
 iv

Verificador Polinomial

Por qué C. H: es de tipo NP 

Reducción de 

3-SAT a C.H. en tiempo polinomial

Clique a C.H. en tiempo polinomial

reducción de 3 SAT C.H en tiempo polinomial

Desarrollo

construccion del grafo

 

Conclusiones 

Bibliografía

_________________________________________________________________________

Definición de P

Definición de NP

Definición de NP Completo

Definición de Verificador .- 

Teorema de Cook Levin  :SAT NP-Completo .-  servirá como background

En todos los problemas se debe demostrar que es NP Completo