Definición: circuito euleriano
Cita Sea $ G = (V,E) $ un grafo o multigrafo no dirigido sin vértices aislados. Entonces $ G $ admite un circuito euleriano si existe un circuito en $ G $ que recorre cada arista del grafo exactamente una vez.
Teorema 1
Cita Sea $ G = (V,E) $ un grafo o multigrafo no dirigido sin vértices aislados. Entonces $ G $ admite un circuito euleriano si y sólo si: $ G $ es conexo y todo vértice de $ G $ tiene grado par.
Ejemplo 1
El anterior grafo sí admite ciclo euleriano, pues todos sus vértices son de grado par. Un posible ciclo euleriano es: $ d\rightarrow a\rightarrow b\rightarrow c\rightarrow g\rightarrow f\rightarrow e\rightarrow c\rightarrow d $. Notar que no es el único.
Definición: recorrido euleriano
Cita Sea $ G = (V,E) $ un grafo o multigrafo no dirigido sin vértices aislados. Entonces $ G $ admite un recorrido euleriano si existe un camino abierto de $ a $ a $ b $ en $ G $ que recorre cada arista de $ G $ exactamente una vez.
Teorema 2
Cita Sea $ G = (V,E) $ un grafo o multigrafo no dirigido sin vértices aislados. Entonces $ G $ admite un recorrido euleriano si y sólo si: $ G $ es conexo y todo vértice de $ G $ tiene grado par, salvo exactamente dos.
Ejemplo 2
El anterior grafo no admite circuito euleriano, pues tiene dos vértices de grado impar. Sin embargo, por esta misma razón, sí admite recorrido euleriano. Un posible recorrido euleriano, es el siguiente: $ c\rightarrow b\rightarrow a\rightarrow d\rightarrow c\rightarrow a $. Notar que no es el único.
Ejemplo 3
El anterior grafo no admite circuito euleriano ni recorrido euleriano, pues tiene cuatro vértices de grado impar. Dichos vértices son: $ \left \{ a,c,e,h \right \} $, todos de grado tres; mientras que los restantes son de grado cuatro.
|