Grafo de Hamilton

Grafo de Hamilton
Origen
Sir

de los grafos hamiltonianos

Willian Hamilton 1805 1865

Problema

del viajante.

El juego consista pues, en encontrar un ciclo de Hamilton en el grafo de la siguiente figura.

Grafo de Hamilton
Camino

Hamiltoniano: Sea G = (V;E) un grafo con |V|=n, sin vrtices aislados. Recibe el nombre de camino de Hamilton en G todo camino elemental de G que contiene todos sus vrtices. Hamiltoniano: un G contiene un ciclo de Hamilton si existe un ciclo que contenga a todos los vrtices de v, y en ese caso se dice que G es Hamiltoniano. grafo es Hamiltoniano, si y solo si existe un ciclo de Hamilton.

Ciclo

Un

Grafo de Hamilton

Un grafo es semi hamiltoniano

si

y solo si existe un camino no un ciclo que pasa uno y solo una vez por cada uno de los vrtices.

Grafo de Hamilton

Ejemplo 1
Camino Hamiltoniano: no hay camino Hamiltoniano
V6

V8

V2

V3

V1

Ciclo Hamiltoniano: porque no hay Hamiltoniano

V4
V5

no hay camino

No es un Grafo Hamiltoniano

V7

Grafo de Hamilton

Ejemplo 2
v3

Camino Hamiltoniano
v6

V6V3V2V4V5V1
v2

Ciclo Hamiltoniano No hay porque hay un vrtice aislado

v4

v1 v5

NO ES GRAFO HAMILTONIANO

Grafo de Hamilton

Ejemplo 3
v3 v6

Camino Hamiltoniano V6V3V2V4V5V1

Ciclo Hamiltoniano V6V3V2V1V5V4V6

v2

v4 v1 v5

Es Grafo Hamiltoniano

Grafo de Hamilton

Ciclo de Hamilton
Obviamente, si G no es conexo no puede poseer un ciclo de Hamilton.

No se conocen condiciones necesarias y suficientes para la existencia de ciclos hamiltonianos.

Si se conocen teoremas que dan condiciones suficientes para la existencia de ciclos hamiltonianos. Hay propiedades para demostrar que un grafo no contiene un ciclo hamiltoniano (Ej: grafo con vrtice de grado 1). Un ciclo hamiltoniano no puede contener un ciclo mas pequeo dentro de el.

NOTA:

Ambas aristas de un vrtice de grado 2 tienen que formar parte del ciclo hamiltoniano . Al pasar por un vrtice pueden descartarse todas las aristas incidentes con el que no sean las usadas en el ciclo.

Grafo de Hamilton

Teorema (Gabriel A. Dirac en 1952)

Si G es un grafo simple con n vrtices (n 3) es hamiltoniano si para todo vrtice v(G) se cumple que g(v) ( n/2), entonces el grafo es Hamiltoniano.
v3
V2

V6

V1 V5

V4

Grafo de Hamilton

CLAUSURA
Sea G=(V,A) con |V|=n la clausura de G esta denotada C(G). Es el grafo simple obtenido de G, uniendo con aristas de forma recursiva, todos los pares de vrtices de G no adyacentes cuya suma de grados sea al menos n. Si v1 y vj son vrtices no adyacentes en G, tal que g(v1) + g(vj) n entonces trazamos todas las aristas que une a los pares de vrtices v1 y vj hasta agotar todos estos pares.

Grafo de Hamilton

EJEMPLO 5:
g(v2) + g(v6) = 6 6 Por lo tanto aadimos la arista (v2, v6 ) Llamamos (G1) al nuevo grafo g1(v6) + g1(v5) = 6 6 Por lo tanto aadimos la arista (v6, v5 ) Llamamos (G2) al nuevo grafo. g2(v3) + g2(v5) = 7 6 Por lo tanto aadimos la arista (v3, v5 ) Llamamos (G3) al nuevo grafo. g3(v3) + g3(v1) = 6 6 Por lo tanto aadimos la arista (v3, v1 ) Llamamos (G4) al nuevo grafo. g4(v4) + g4(v1) = 7 6 Por lo tanto aadimos la arista (v4, v1 ) Llamamos (G5) al nuevo grafo. g5(v1) + g5(v6) = 8 6 Por lo tanto aadimos la arista (v1, v6 ) Llamamos (G6) al nuevo grafo.

V3

V6

V2

V1 V5

V4

Grafo de Hamilton

V3

V6

V2

No existen mas pares de vrtices que cumplan la condicin, entonces G6 es la clausura del grafo C(G) = G6. Nota: en este caso la clausura es el grafo completo K6.

V1

V4

V5

Grafo de Hamilton En consecuencia de la definicin de clausura, tenemos. Teorema. Como Kn para n 3 es un grafo de Hamilton. (un G es de Hamilton si y solo si su clausura es un grafo de Hamilton) Teorema: Sea un G=(V, A) un grafo con |V|=n 3 Si C(G) = Kn entonces G es un grafo de Hamilton.

Grafo de Hamilton

La clausura de un grafo no dirigido G es siempre un grafo completo? No, por ejemplo la clausura de G.
v1 v2

Es el propio grafo G

v3

v4

v5

Grafo de Hamilton

Teorema de (Oystein Ore en 1960)

Sea G un grafo simple de n vrtices. Si para todo par de vrtices u v no adyacentes se cumple que g(u)+g(v) n, entonces G es Hamiltoniano. v1
v4 v2

v5

v3

v6

Grafo de Hamilton

Consideraciones acerca de los grafos Kn

Kn

posee (n-1)! /2 ciclos de Hamilton. Esta afirmacin puede ser cierta al comenzar el ciclo desde el primer vrtice v1, se tiene n-1 aristas para escoger y llegar al vrtice v2. a partir de n-2 podemos llegar a v3. a partir de n3. hasta llegar a n vrtices. El numero total de ciclos de Hamilton es (n-1)!/2

Grafo de Hamilton

Ejemplo 6
v1 v2

(n-1)!/2 (4-1)! / 2 = 3!/2= 6/2 =3 ciclos.

(n-1)= (4-1)=3 llegamos hasta v2.

(n-2)= (4-2)=2 llegamos hasta v3.

v4

v3

(n-3)= (4-3)=1 llegamos hasta v4. (n-4)= (4-4)=0 llegamos hasta v1.

Grafo de Hamilton

(n-1)!/2

(4-1)! / 2 = 3!/2= 6/2 =3 ciclos.

(n-1)= (4-1)=3 llegamos hasta v3. (n-2)= (4-2)=2 llegamos hasta v4. (n-3)= (4-3)=1 llegamos hasta v2. (n-4)= (4-4)=0 llegamos hasta v1.

v1

v2

v4

v3

Dgrafos de Hamilton

DIGRAFOS DE HAMILTON

Sea D un dgrafo. D se llama Dgrafo De Hamilton, si en D existe un circuito simple cobertor; dicho circuito se llama Circuito Hamiltoniano. Como en el caso de los grafos Hamiltonianos no existe ninguna caracterizacin de los dgrafos de Hamilton. Las condiciones suficientes que existen para que un dgrafo sea de Hamilton son anlogas a las representadas para grafos de Hamilton.

Dgrafos de Hamilton

El

siguiente teorema que a continuacin presentamos sin demostrarlo, fue demostrado por bondy y Thomassen, ofrece una condicin suficiente para que un dgrafo sea de Hamilton.

Teorema:

sea D un dgrafo fuertemente conexo con |V(D)|= n. Tal que para todo par de nodos no adyacentes u y v g(u) + g (v) 2n - 1, Entonces D es un dgrafo de Hamilton.

Dgrafos de Hamilton

El siguiente dgrafo nos muestra que la condicin del teorema anterior es una condicin fuerte.
v

Para los vrtices u y v no-adyacentes se cumple que G(u) + g (v) = 2n 2. Por lo tanto el dgrafo no es un dgrafo de Hamilton

Dgrafos de Hamilton

Del teorema, se obtiene un gran nmero de consecuencias de las cuales destacamos las siguientes: 1. Sea D un dgrafo con |V(D)| = n, n > 1, tal que siempre que u y v diferentes y el arco (u, v) A(D). Entonces + (u) + g (v) n, se tiene que D es Hamiltoniano. Demostracin. Primero demostremos que la condicin en 1 implica que D es fuertemente conexo. Sean u y v dos nodos de V(D), veamos que v es accesible desde u. si (u, v) A (D), por hiptesis debe existir un nodo w en V(D) con w u, w v, tal que los arcos (u, w) y (w, v) estn en A(D). puesto que los nodos uwv, constituyen un camino en D y v es accesible desde u, se tiene que D es fuertemente conexo.

Dgrafos de Hamilton

Para completar la demostracin, aplicamos el teorema, Sean u y v dos nodos no adyacentes de V(D) entonces: + (u) + (v) n y + (v) + (u) n , entonces (u) + (v) 2n. , entonces, de donde se concluye que el Dgrafo es Hamiltoniano.

Dgrafos de Hamilton

Un

dgrafo D posee un camino Hamiltoniano se llama DIGRAFO SEMI-HAMILTONIANO.

dgrafo D se llama CONEXO HAMILTONIANO si D posee un camino simple CS : (U---->V).Es claro que todo dgrafo conexoHamiltoniano es un dgrafo Hamiltoniano. condicin suficiente para que un dgrafo D con |V (D)|= n , sea conexo Hamiltoniano es la siguiente :

Un

Una

Dgrafos de Hamilton

TEOREMA:

sea D un dgrafo trivial con n nodos , tal que para todo par de nodos diferentes u y v con (u, v ) A(D), + (u) + (v) n + 1. Entonces D es conexoHamiltoniano. EJEMPLO 7

Dgrafos de Hamilton

DETERMINACION DE LOS CIRCUITOS DE HAMILTON DE UN DIGRAFO

Sea

un dgrafo simple con |V(D)| 2. Encontremos todos los subconjuntos de arcos B de A(D) tales que: En el subconjunto H de D con A(H) = B. todo nodo tiene exactamente un predecesor y un sucesor. Un subdgrafo H es fuertemente conexo. Llamemos M al conjunto de todos subconjuntos de A que satisfacen estas condiciones.

Dgrafos de Hamilton

Denotaremos

M el conjunto de todos los subconjuntos de A que satisfacen las condiciones. el dgrafo el fuertemente conexo y que |V(D)|=2, entonces M={A}. |V(D)|> 2, podemos descomponer el problema de la siguiente manera. u A(D) y sea Mu={B M: u B}. Este subconjunto lo podemos determinar as.

Si

Si

Sea

Dgrafos de Hamilton

DETERMINACION DE Mu
Sean v1 el nodo inicial y vj el nodo terminal de arco u. entonces definimos la contraccin de D con respecto a u como dgrafo Du obtenido al realizar las siguientes operaciones. a. Suprimimos todos los arcos que inciden positivamente en v1 y los arcos que inciden negativamente en vj y el arco (vj, vi) si existe. b. Fusionamos los nodos v1 y vj.

Dgrafos de Hamilton

EJEMPLO 8
1 h 5 g j 4 f b d e 3 a 2 c g

5 j

h f d

12
c 3