Grafos Eulerianos y Hamiltonianos

Definición
Una trayectoria Euleriana en un grafo, es un recorrido transversal del grafo que pasa a través
de cada lado exactamente una vez. Es un Circuito Euleriano si comienza y termina en el mismo
vértice.

Importante:
Si un grafo admite una trayectoria Euleriana, entonces existen 0 ó 2 vértices de grado impar. Si
un grafo admite un circuito Euleriano, entonces tiene 0 vértices impares.

Lo más importante y la dificulta de esta aseveración es el recíproco. Es decir, decidir cuales

condiciones garantizan la existencia de una trayectoria euleriana y un circuito Euleriano.

Primero definamos algo que es bien importante:

Definición:
Un grafo se llama conectado, si hay una ruta entre dos vértices cualquiera.

Cada grafo (finito) se puede descomponer de forma única en componentes conectados: cada
componente es un subgrafo conectado, y no hay bordes entre los dos componentes. Un vértice
de grado cero es su propio componente conectado.

Teorema
Un grafo tiene una trayectoria Euleriano si y solo si:
I. Cada vétice de grado ≥ 1 pertenece a la misma componente conectada.
II. Existen 0 o 2 vértices de grado impar.

Un grafo tiene un circuito Euleriano siy solo si:

I. Cada vértice ≥ 1 pertenece a la misma componente conectada.
II. Cada vértice tiene grado par.

Definición
Un camino hamiltoniano es un recorrido de un grafo (finito) que toca cada vértice exactamente
una vez. Si el inicio y el final de la ruta son vecinos (es decir, comparten un borde común), la
ruta se puede extender a un ciclo se llama ciclo hamiltoniano.

Teorema Dirac
Un grafo simple con n vértices tiene un ciclo Hamiltoniano si cada vértice tiene grado al menos
n/2

1
Teorema Ore
Un grafo con n vértices con la propiedad que un algún par de vértices no adyacentes tienen
grados que suman ≥ n tiene un ciclo Hamiltoniano.

Ejercicios
1. Verificar si los siguientes grafos son Eulerianos:
(a)

(b)

(c)

2. Verificar si el grafo es hamiltoniano.

(a)

2
(b)

(c)