Trayectoria Hamiltoniana

Matemática Discreta > Teoría de Grafos > Circuitos >

Una trayectoria Hamiltoniana, también llamado camino de Hamilton, es un camino gráfico entre dos vértices de un grafo que visita cada vértice exactamente una vez. Si existe un camino hamiltoniano cuyos puntos finales son adyacentes, entonces el ciclo del grafo resultante se llama ciclo hamiltoniano (o ciclo hamiltoniano).

Un grafo que posee un camino hamiltoniano se llama grafo trazable.

En general, el problema de encontrar un camino hamiltoniano es NP-completo (Garey y Johnson 1983, pp. 199-200), por lo que la única forma conocida de determinar si un grafo general dado tiene un camino hamiltoniano es realizar una búsqueda exhaustiva

Cualquier grafo bipartito con un desequilibrio de paridad de vértices 1 no tiene caminos hamiltonianos.

La búsqueda de un único camino hamiltoniano de un grafo g se implementa en Wolfram Language como FindHamiltonianPath. Todas las trayectorias hamiltonianas de un grafo dado pueden encontrarse (de manera ineficiente) utilizando el comando HamiltonianPath en el paquete Combinatorica` de Wolfram Language. Se puede obtener una lista precalculada de todas las trayectorias hamiltonianas de muchos grafos con nombre utilizando GraphData, donde se incluyen y ambas orientaciones de las trayectorias (de modo que {} se considera distinto de {}). Un recuento precalculado del correspondiente número de caminos hamiltonianos viene dado por GraphData.

Los números totales de caminos hamiltonianos dirigidos para todos los grafos simples de órdenes n=1, 2, … son 0, 2, 8, 50, 416, 5616, 117308, 4862736, … (OEIS A193352).

Rubin (1974) describe un procedimiento de búsqueda eficiente que puede encontrar algunos o todos los caminos y circuitos de Hamilton en un grafo utilizando deducciones que reducen en gran medida el backtracking y las conjeturas. Un algoritmo probabilístico debido a Angluin y Valiant (1979), descrito por Wilf (1994), también puede ser útil para encontrar ciclos y caminos hamiltonianos. Un camino hamiltoniano entre dos vértices i y j puede encontrarse si se dispone de un algoritmo para ciclos hamiltonianos. Esto puede hacerse comprobando si el grafo original G contiene la arista (i,j) y añadiéndola en caso contrario para obtener G^''. Como un camino hamiltoniano con puntos finales adyacentes es un ciclo hamiltoniano y como i y j son ahora adyacentes, encontrar un ciclo hamiltoniano y dividir en el borde da una trayectoria hamiltoniana desde i hasta j en G. Del mismo modo, si no existe ningún ciclo hamiltoniano en G^'', entonces no hay ningún camino hamiltoniano desde i hasta j en G.

La siguiente tabla resume el número de caminos hamiltonianos (no dirigidos) en varias clases de grafos.

grafo fórmula
grafo barbell ^2
grafo de cóctel K_(n×2) (2n)!¡_1F_1(-n;-2n;-2)
gráfico completo K_n n!¡
grafo bipartito completo K_(n,n) (n!)^2
2n-Gráfico del prisma cruzado 6-2^(n-1)n(n+1)
grafo de ciclo C_n n
grafo de engranaje graph n(n+1)
ladder graph P_2 square P_n n^2-n+2
Escalera de Möbius M_n 1/2(-1)^nn
Gráfico de trayectorias P_n 1
gráfico del prisma Y_n 1/2n
Gráfico del sol n(n+1)
gráfico de la rueda W_n 2(n-1)(n-2)

Las relaciones de recurrencia para el número de caminos hamiltonianos dirigidos para algunas familias de grafos se resumen a continuación.

grafo orden recurrencia
Gráfico del antiprisma 9 a_n=a_(n-9)+a_(n-8)-3a_(n-7)-5a_(n-6)+5a_(n-5)+7a_(n-4)-4a_(n-3)-6a_(n-2)+5a_(n-1)
Gráfico de la corona 3 a_n=n(n-1)^2a_(n-2)+(n-2)n(n-1)a_(n-1)
gráfico del prisma Y_n a_n=-a_(n-6)+2a_(n-5)+a_(n-4)-4a_(n-3)+a_(n-2)+2a_(n-1)

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *