Matemtica Discreta:

Teora de grafos

MATEMTICA DISCRETA
2. Introduccin a la teora de Grafos.
2.1. Grafos, Disgrafos y Multigrafos Los grafos pueden ser considerados diagramas o dibujos, o formalmente como un par de conjuntos. Un grafo G se define como un conjunto E de pares no ordenados de elementos distintos y otro conjunto de elementos V. El conjunto V es el conjunto de vrtices del grafo, se denota por V(G). El conjunto E es el conjunto de aristas del grafo, se denota por E(G). G=(V, E) V={v1, v2,..., vn} E={vivj, vn,vm,...} Dos vrtices vi, vj son adyacentes si son los extremos de una arista, es decir, si el par de vrtices V es un elemento de E.

V={v1, v2, v3} E={v1v2, v2v3, v1v3} #V es el nmero de vrtices. #E es el nmero de aristas. Un grafo es finito si #V es finito. Tipos de grafos: Multigrafo: es un grafo con varias aristas entre dos vrtices.

V V={v Pseudografo: tiene aristas cuyos extremos coinciden (origen y fin en el mismo vrtice), tales aristas se denominan lazos.

V={v1, v2, v3} E={v1v1, v1v2, v2v2, v1,v3} Digrafo (grafo dirigido): A cada arista se le asigna un orden en sus extremos, en el dibujo se indica con una flecha. Los pares que forman los elementos de E estn ordenados.

Matemtica Discreta:

Teora de grafos

Isomorfismo: Dos grafos son isomorfos, si cada par de vrtices adyacentes, se corresponde con un par de vrtices adyacentes del otro. Sean G=(V, E) y G=(V, E) y sea f: VV una biyeccin tal que uv E, si y solo si f(u)f(v) E, esta biyeccin se denomina isomorfismo de G a G. Dos grafos isomorfos pueden ser representados por figuras aparentemente diferentes. V(G)={w, x, y, z} E(G)={xy, xz, xw, yz, yw, wz} V(H)={t, s, v, u} E(H)={sv, su, st, vu, vt, tu} f(w)=t, f(x)=s, f(y)=v, f(z)=u Grado de un vrtice: Es el nmero de aristas que parten de l. El grado de un vrtice se conserva por isomorfismo. Dado un vrtice u de G(V), su grado es gr(u). Subgrafo: Sea G=(V,E) un grafo , un subgrafo de G es cualquier grafo H=(V(H),E(H)), de modo que V(H) est contenido en V y E(H) est contenido en E. Un subgrafo se obtiene eliminando alguna(s) arista(s) y/o vrtice(s). Si se suprime un vrtice, se suprimen todas las aristas que tienen por origen o fin dicho vrtice. G es un subgrafo de G, al suprimir el vrtice x y las aristas que llegan a l. Grafo regular: Todos los vrtices tienen el mismo grado, si dicho grado es k, el grafo se denominar k-regular. El grafo G anterior es un grafo 3-regular. La regularidad de grafos se conserva por isomorfismo. Grafo completo: Cada par de vrtices son los extremos de una arista. Dos grafos completos con el mismo nmero de vrtices son isomorfos. Designaremos el grafo completo con n vrtices por Kn. El grafo G es K4, el grafo G es K3. Podemos representar Kn, para n mayor o igual a tres, mediante los vrtices de un polgono regular Pn de n lados siendo las aristas de Kn los lados y todas las diagonales de Pn. Para todo grafo G=(V, E) se verifica: #E#V(#V-1). Si dado G=(V, E) tal que #E=#V(#V-1) es un grafo completo. Primer teorema de la teora de Grafos:

gr( v ) = 2# E , es decir, la suma de los grados de los vrtices es igual al nmero de

i

i =1

aristas multiplicado por 2. Por lo tanto, todo grafo contiene (adems de los vrtices de grado par) un nmero par (o cero) de vrtices de grado impar. Si H es un subgrafo de G y v V(H) contenido en V(G), donde grH(v)grG(v), donde grH(v) denota el grado del vrtice v como vrtice del grafo H y grG(v) es el grado del vrtice v como vrtice del grafo G.

Matemtica Discreta:

Teora de grafos

Un camino En un grafo G es una sucesin finita de vrtices y aristas alternos, donde cada arista tiene por extremos los vrtices adyacentes. (v0, v0v1, v1, v1v2,..., vn-1, vn-1vn, vn) A v0 y vn se les denomina extremos del camino. Longitud del camino Es el nmero de aristas que contiene. Camino cerrado Los extremos coinciden, v0=vn. En un grafo (no un multigrafo), un camino puede expresarse por la sucesin de vrtices (v0, v1,..., vn-1, vn) Camino simple: En la sucesin de vrtices no hay ninguno repetido. Un ciclo Es un camino cerrado donde el primero y ltimo vrtice son el mismo (camino simple cerrado). En un multigrafo se considera ciclo a aquellos caminos cerrados que no repiten aristas. Un circuito Es un camino cerrado que no repite aristas. Un grafo es conexo: Si para cada par de vrtices existe un camino que los conecta, en caso contrario diremos que es desconexo. 2.2. Grafos eulerianos y hamiltonianos Un camino euleriano: Es un camino que conecta todas las aristas, apareciendo cada una de ellas una sola vez, si sus extremos coinciden se trata de un circuito euleriano. Un grafo euleriano, Es aquel grafo conexo que admite un circuito euleriano. LEMA: 1. En un grafo euleriano, todos los vrtices tienen grado par. 2. Hay grafos conexos no eulerianos que admiten camino euleriano, si dos de sus vrtices tienen grado impar. Teorema: Un grafo conexo es euleriano si y solo si cada vrtice tiene grado par. LEMA: 3. Sea H un grafo tal que todo vrtice de H tiene grado par. si u y v son dos vrtices de H que son adyacentes entonces existe un circuito g que contiene la arista uv. Para saber si un grafo es euleriano: 1 Todos sus vrtices tienen grado par. 2 Algoritmo para obtener el circuito euleriano: 1. Obtener un circuito euleriano. 2. Elegir una arista con extremo en el circuito anterior y repetir el proceso. 3. Unir los distintos circuitos obtenidos y tendremos el circuito buscado. En un grafo euleriano pueden existir varios circuitos eulerianos diferentes. Corolario: Un grafo conexo admite un camino euleriano no cerrado si y slo si exactamente dos vrtices tienen grado impar

Matemtica Discreta:

Teora de grafos

Camino hamiltoniano: Es un camino simple que contiene todos los vrtices del grafo sin repetir ninguno. Ciclo hamiltoniano: Es un camino hamiltoniano cerrado. Un grafo hamiltoniano: Es un grafo que contiene un ciclo hamiltoniano. Todo grafo completo contiene un ciclo hamiltoniano. Sea G=(V, E) un grafo tal que #V3, si G es hamiltoniano, para cada subconjunto U de V el subgrafo de G cuyos vrtices son V-U y sus aristas son todas las de G que tienen extremos en V-U, tienen a lo ms #U componentes. Sea G=(V, E) un grafo conexo, se llama punto de corte a un vrtice v de G, de modo que el subconjunto Gv de G con vrtices V-{v} y cuyas aristas son aquellas de E cuyos vrtices estn en V-{v} no es conexo. Se llama istmo a una arista a de G de modo que el grafo (V, E-{a}) no es conexo.

Son puntos de corte: (e, d, c). La arista: (ed), es un istmo. Sea un grafo G=(V, E) que posee k componentes conexas, se verifica la desigualdad: #E (#V-k)(#V-k+1). Si G=(V, E) se verifica: #E> (#V-1)(#V-2). Grafo conexo con un componente. Todo grafo completo es hamiltoniano. Todo grafo con un punto de corte no es hamiltoniano. Para multigrafos: Si un multigrafo es euleriano, todo vrtice de G tiene grado par. Si un multigrafo G tiene un camino euleriano no cerrado, entonces G tiene exactamente dos vrtices con grado impar. Si todos los vrtices de un multigrafo conexo tienen grado par entonces dicho multigrafo es euleriano. Si un multigrafo conexo tiene exactamente dos vrtices con grado impar, entonces, admite un camino euleriano no cerrado. 2.3. Exploracin de Grafos Matriz de adyacencia: Sea G=(V, E) un grado con V={v1,..., vn}. Se denomina matriz de Adyacencia M=(mij) de orden pxp, cuyas entradas son 1 o 0 siguiendo la siguiente ley: mij=1 si vivj E. mij=0 si vivj E. Para digrafos: mij=1 si vivj E y la orientacin de la arista es vivj. mij=0 si vivj E, o bien, vivj E pero la orientacin de la arista es vjvi. v1v1 v1v2 ... v1vn v2v1 v2v2 ... v2vn G= ...... vn-1v1 ... vn-1vn vnv1 ... vnvn

Matemtica Discreta:

Teora de grafos

La matriz de adyacencia de un grafo o digrafo, posee toda la informacin para reconstruir el grafo o digrafo. Ejemplo: AB

(Grafo) 0110 1011 1100 0100

(Digrafo) 0100 0010 1000 0100

A=

B=

Dos grafos con la misma matriz de adyacencia, son isomorfos. Dos grafos isomorfos pueden tener distinta matriz de adyacencia si se permutan el orden de los vrtices. Teorema: Sea M la matriz de adyacencia de un grafo (digrafo) G con p vrtices, p>1. Entonces la entrada (i, j) de la matriz Mn=M..n..M es el nmero de caminos de caminos de longitud n con extremos vi y vj (en el caso de digrafos es el nmero de caminos de longitud n con origen vi y fin vj). Sea M la matriz de adyacencia de un grafo G con p vrtices, p>2. Sea C=Mp-1+MP-2+...+M, existe un camino entre vi y vj si y solo si la entrada en el lugar (i,j) de la matriz C es no nula, esto nos da un criterio para saber si un grafo es conexo. Sea M la matriz de adyacencia de un grafo G con p vrtices, p>2. Sea C=Mp-1+Mp-2+...+M. El grafo G es conexo, si y solo si, todas las entradas de C son no nulas. Estudiaremos el grafo A. 0 1 1 0 1 0 1 1 A= 1 1 0 0 0 1 0 0 2 4 3 1 2 1 1 1 0 1 1 0 4 6 5 2 4 2 4 3 1 3 1 0 1 0 1 1 6 5 6 4 C = A3 + A2 + A = + + = 3 4 2 1 1 1 2 1 1 1 0 0 5 6 4 2 1 3 1 0 1 0 1 1 0 1 0 0 2 4 2 1 2 En la matriz A aparecen el nmero de caminos de longitud 2 existentes en los vrtices vi, vj, por ejemplo, existe 1 camino de longitud 2 entre los vrtices v1, v3; y no existe ningn camino de longitud 2 entre los vrtices v4, v2; Todas las entradas de la matriz C son no nulas, por lo que el grafo A es conexo. Para recordar producto y suma de matrices, ver como se obtienen en la asignatura de Algebra

Matemtica Discreta:

Teora de grafos

Un rbol: es un grafo conexo sin ciclos, es decir, 2 vrtices se conectan por un nico camino simple.

Todo subgrafo de un rbol, es tambin un rbol. Todo grafo conexo con menor nmero de aristas que de vrtices, debe ser un rbol. Un grafo o digrafo, se dice que es etiquetado, si sus aristas tienen asignado un nmero. A la etiqueta de una arista a de G se le suele designar longitud de a. Dado un camino, en un grafo etiquetado, se denomina longitud del camino a la suma de las etiquetas de las aristas, si todas las etiquetas son 1, la longitud del camino, en un grafo etiquetado, coincide con la longitud de un camino en un grafo o digrafo. Dados dos vrtices de un grafo etiquetado, se denomina distancia entre tales vrtices, a la suma de los valores de sus aristas, por el camino de longitud mnima. Algoritmo de Dijkstra: Sea G=(V, E) un digrafo etiquetado por nmeros positivos d: E C, donde C es un subconjunto finito de los nmeros reales positivos (y no nulos). Sean x, y dos vrtices de G. Usar este algoritmo para encontrar la distancia entre x e y: Paso 1: Considerar la aplicacin L: V R{} (R es el conjunto de los nmeros reales), dado por L(x)=0 y L(v)=, para todo vrtice G(V) diferente de x. Sea T=V, la aplicacin L y el conjunto T irn transformndose en el curso del algoritmo. Paso 2: Encontrar el vrtice vT con etiqueta L(v) mnima. Paso 3: Si v=y, la distancia entre x e y es L(y) y el algoritmo acaba. Paso 4: Para todo wT, tal que existe una arista vw con origen en v y fin en w, si L(w)>L(v)+d(vw) entonces se redefine el valor de L sobre w de modo que L(w)=L(v)+d(vw). Paso 5: Elimnese en el conjunto T el vrtice v y volvemos al Paso 2. Para adaptar el algoritmo a grafos, basta considerar todos los digrafos que se pueden obtener orientando las aristas del grafo dado. 2.4. Mapas y coloraciones Un grafo o multigrafo, se dice que es plano, si admite una representacin en el plano, en el que las aristas solo se cortan en los vrtices (sin cruces). El grafo K4 es plano, pues admite representacin grfica plana. Dos representaciones de K4 son:

Es interesante buscar representaciones planas de grafos.

Matemtica Discreta:

Teora de grafos

Un mapa es una representacin plana (sin cruce de aristas) de un grafo plano. Un mapa es conexo, si el grafo que representa es conexo. Un mapa divide al plano en varias regiones, y su nmero lo representamos por #R. Un mapa de K4 divide al plano en 4 regiones, cada regin en un mapa est bordeado por un camino cerrado en el grafo, que no siempre es un circuito.

El grado de una regin es la longitud del camino cerrado que la bordea. Teorema de las regiones:

gr( R ) = 2# E , La suma de los grados de las regiones es igual al nmero de aristas

i i =1

multiplicado por 2. Un poliedro regular define un mapa del grafo formado por sus vrtices y sus aristas. Ejemplo:

Grafo plano

Mapa del grafo plano

Teorema (Formula de Euler) Sea M un mapa conexo con #R regiones que represente al grafo G=(V, E), entonces: #V-#E+#R=2, es decir, #R+#V=#E+2. Sea G=(V, E) un grafo plano conexo, con #V>2, entonces #E3#V-6. 5 vrtices y 10 aristas: 10>(3*5)-6=9 #E3#V-6 Entonces K5 no es plano.

#V=4, #=E=6 6=(3*4)-6=6 = #E3#V-6 Entonces K4 es plano.

Matemtica Discreta:

Teora de grafos

Sea G=(V, E) un grafo plano conexo, con #V>2 que no contiene ningn subgrafo isomorfo a K3, entonces #E2#V-4. Todo grafo completo Kr, con r>2 tiene un subgrafo isomorfo con K3. 6 vrtices y 9 aristas: 9>2*6-4 #E2#v-4. Entonces K3,3 no es plano.

Una subdivisin elemental de un grafo G es otro grafo, donde se sustituye una arista por un nuevo vrtice unido a los extremos de la arista suprimida por dos nuevas aristas. En un mapa se trata de aadir un vrtice sobre el interior de una arista existente.

Una subdivisin de un grafo G es el grafo obtenido efectuando un nmero finito (puede ser 0) de subdivisiones elementales sucesivas. Teorema de Kuratowski Un grafo G es plano si y solo si, no contiene subgrafos que sean isomorfos a una subdivisin de K5, o K3,3. Dos regiones de un mapa son adyacentes si los caminos que las bordean tienen alguna arista en comn. El pseudomultigrafo dual GM de un mapa M se construye de la siguiente forma: 1) En medio de cada regin del mapa se pone un vrtice, es decir, cada regin se sustituye por un vrtice. 2) Cada vrtice se une con una arista a otro vrtice de las regiones adyacentes. 3) Los vrtices y las aristas antiguas se eliminan.

Una coloracin es una aplicacin que asigna colores distintos a regiones adyacentes. Si transformamos un grafo en un pseudomultigrafo dual resulta que la coloracin asigna colores distintos a dos vrtices que estn unidos por una arista. Sea G=(V,E) un grafo y C={1, 2, ..., k} un conjunto de k colores. Una coloracin con k colores del grafo G es un aplicacin : VC, de modo que si u, v V y uv E entonces (u)(v)

Todo grafo plano admite una coloracin con cuatro colores.

Matemtica Discreta:

Teora de grafos

Un grafo bipartito es el que su mapa admite una coloracin con dos colores. Un grafo es bipartito, si y solo si, no tiene ciclos con longitud impar.

El grafo anterior es bipartito, en cambio K4 no es bipartito, no admite una coloracin con dos colores. Los nicos grafos completos planos son los Kn para n={1, 2, 3, 4}. }

El nico grafo completo bipartito es K2. Para que un grafo sea coloreable con dos colores es condicin necesaria y suficiente que el pseudomultigrafo dual sea bipartito, o bien que posea todos los ciclos de longitud par. Teorema de los cinco colores: Cinco colores son suficientes para colorear todo mapa plano. Todo grafo plano contiene al menos un vrtice de grado a lo ms cinco, por tanto cualquier grafo tiene como subgrafo alguno de las cuatro configuraciones de las figuras:

Matemtica Discreta:

Teora de grafos Fecha ltima actualizacin Mayo-2002 (Por Rafael J. Vera)

10