Exposicion

Andres Lopez Martnez

Facultad de Ciencias, Universidad Nacional Autonoma de Mexico
Noviembre 15, 2014

Teorema: Toda gr
afica 2k -regular contiene un 2 -factor.
Prueba: Sea G cualquier gr
afica 2k -regular con V (G) = {v1 , ..., v2 }. Podemos asumir, sin
perdida de generalidad, que G es conexa. (En caso contrario, podemos smplemente considerar a las componentes de G por separado.) Dado que todo vertice tiene grado par, se sabe
que G tiene un tour Euleriano T. (El cual es el camino que recorre todas las aristas de una
grafica tocando cada arista una sola vez; regresando al punto de partida). Este camino usa
todas las aristas, pero puede visitar vertices mas de una vez. Ahora bien, usamos a T para
construir un nuevo gr
afico bipartito H con biparticion (U, W ), donde U = {u1 , u2 , ..., un } y
W = {w1 , w2 , ..., wn }. De aqu vemos que hay una arista entre ui y wj si y solo si vj se sigue
inmediatamente de vi en T. Dado que para cada vertice en G hay k aristas que entran y k
aristas que salen a lo largo de T, vemos que H es k -regular y, por lo tanto, 1 -factorizable (como
se mostro en clase). Sean M1 , ..., Mk los k 1-factores, podemos identificar a las aristas de Mi
con la etiqueta i, 1 i k. Entonces, las k aristas incidentes a cada ui de H reciben las k
etiquetas 1, 2, ..., k y, por lo tanto, si las aristas ui wj y uj wr estan en Mp , 1 p k, identificando el vertice wj con el vertice uj para cada j en Mp , se obtiene un etiquetado de aristas
a G en donde las aristas vi vj y vj vr reciben la etiqueta p. De aqu, es claro que las aristas de
Mp inducen un 2-factor de G con etiqueta p. Ahora bien, notemos que ui no es adyacente a
wi en H, 1 i k. Dado que esto es cierto para cada uno de los 1-factores Mp , 1 p k,
obtenemos as una 2-factorizacion de G en k 2-factores 
Ejemplo: Gr
afica 4-regular.
G:

T :

Figure 1: Grafo 4-regular de orden 8, junto con un tour Euleriano T que lo recorre.

H:

Figure 2: Gr
afica bipartita H construida a partir de T con biparticion (U, W ).
M1 :

M2 :

Figure 3: 1-factores M1 y M2 obtenidos de la grafica bipartita 2-regular H.

Figure 4: Etiquetado de aristas en G a partir de los 1-factores M1 y M2 de H.

Figure 5: 2-factores de G inducidos de los 1-factores de H; donde, su union es una 2-factorizaci

on
de G.