5.4.1 PASES Y CIRCUITOS EULERIANOS (DE EULER)

Definición:
Un paseo de Euler (Euleriano) es un camino que incluye todos los lados - y por lo tanto todos los vértices - de un grafo dado, una y solo una vez.

Definición:
Un circuito de Euler (Euleriano) es un circuito que incluye todos los lados - y por lo tanto todos los vértices - de un grafo dadouna y solo una vez.

Condiciones para saber si un grafo dado tiene un paseo o circuito de Euler.

1) Un grafo no dirigido G tiene un paseo de Euler si y solo si tiene cero o dos vértices de valencia impar.

2) Si un grafo no dirigido G tiene un circuito de Euler entonces todo vértice de G tiene valencia par, además de ser conexo.

3) Si G es un grafo no dirigido con vértices {v1, v2, ... , vn} y la suma

(v1), (v2), ... , (vn)

es par, entonces el grafo tiene un circuito de Euler.

4) Un grafo G tiene un camino de Euler de v w si y solo si v y w son los únicos vértices de valencia impar.

Ejemplo:
Verificar si los siguientes grafos no dirigidos tienen un paseo o circuito de Euler.

Paseo de Euler SI Si Si
Circuito de Euler No Si No

 

Paseo de Euler Si Si
Circuito de Euler No Si

 

Los resultados obtenidos para grafos no dirigidos pueden extenderse de inmediato para grafos dirigidos.

Definición:
En un grafo dirigido el grado o valencia de entrada de un vértice es el numero de lados incidentes hacia este y el grado de salida es el numero de lados que son incidentes desde este.

Definición:
Un grafo dirigido tiene un circuito de Euler si y solo si es conexo y el grado de entrada de cualquier vértice es igual a su salida.

Definición:
Un grafo dirigido tiene un paseo de Euler si y solo si es conexo y el grado de entrada de cualquier vértice es igual a su grado de salida con la posible excepción de solo dos vértices. Para estos dos vértices el grado de entrada de uno de ellos es mayor que su grado de salida y el grado de entrada del otro es menor que su grado de salida.

Ejemplo:
Verificar si los siguientes grafos dirigidos tienen un paseo o circuito de Euler.

Paseo de Euler Si Si
Circuito de Euler Si No