GRAFOS

Un grafo es una pareja de conjuntos G = (V,A), donde V es el conjunto de vrtices, y A es el conjunto de aristas, este ltimo es un conjunto de pares de la forma (u,v) tal que , tal que. Para simplificar, notaremos la arista (a,b) como ab. Multigrafo: Cuando hay 2 o ms aristas paralelas, o cuando 2 vertices estan relacionados ms veces con sigo mismo.

Dgrafo: Hay un punto de origen y uno de destino final, es decir: no pueden ser a,b = b,a.

-QUE ES UNA ARISTA: Son las lineas con las que se unen los vertices de un grafo, los vertices a y b son los extremos. Arista Adyacente: 2 aristas son adyacentes si convergen en el mismo vertice. Arista Paralelas: Son dos aristas conjuntas si el vertice inicial y final son el mismo. Arista Ciclicos: Es la arista que parte de un vertice para entrar en el mismo. Cruce: Son 2 aristas que cruzan en un mismo punto.

-QUE ES UN VERTICE: Los vrtices son los dos elementos que forman un grafo. Como ocurre con el resto de las ramas de las matemticas, a la Teora de Grafos no le interesa saber qu son los vrtices. Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definicin de grafo pueden verse como grafos y as aplicar la Teora de Grafos en ellos.

CAMINO

Un camino en un grafo es una sucesin finita en la que aparecen alternadamente vrtices y aristas de dicho grafo. Longitud del Camino: Est dada por nmero de aristas, parecido al tamao. CAMINO ABIERTO: Diferente punto de partida al de llegada, Que no llega a su principio. CAMINO CERRADO:

Cuando su punto de llegada es el mismo de partida. CAMINO SIMPLE: No tiene aristas repetidas pero si puede tener vrtices repartidos CAMINO ELEMENTAL: No puede repetir ni aristas ni vrtices, tiene que ser abierto. Todo camino elemental es simple, pero no todo caminos simple es elelemntal.

-TIPOS DE GRAFOS GRAFO CIRCULO: Camino simple y cerrado

GRAFO CICLO: Camino elemental y cerrado

GRAFO CADENA: Camino elemental y abierto

Unidad 5. Introduccin a los grafos 5.1. Grafos

La teora de grafos es un tema muy antiguo; sin embargo, es utilizado en muchas aplicaciones modernas. Sus ideas bsicas fueron introducidas en el siglo XVIII por el matemtico suizo Leonhard Euler. Los grafos son usados para resolver problemas en muchos campos, por ejemplo, se puede utilizar para diferenciar dos compuestos qumicos con la misma frmula molecular pero empleando distintas estructuras; para el caso de nuestra rea de inters, un ejemplo es que los grafos pueden ser utilizados para establecer si dos computadoras estn conectadas por un enlace de comunicaciones entre las de redes de computadoras.

5.1. 1 Introduccin a los grafos

Los grafos son estructuras discretas ordenadas donde son conjuntos de vrtices o nodos conectados por arcos. Existen diferentes tipos de grafos que difieren respecto al nmero y tipo de arcos que pueden enlazar un par de vrtices. En las diferentes reas de estudio existen algunas dificultades que pueden ser solucionadas utilizando los modelos de grafos.

Los grafos con pesos asignados a sus arcos pueden emplearse para solucionar problemas, por ejemplo hallar el camino ms corto entre dos puntos en una red de transporte, o bien para programar exmenes y asignar canales a las estaciones de televisin.

5.1. 2 Grafos utilizados en el uso de la computacin

Los grafos son una herramienta importante, y muy til, empleada en el rea de las computadoras, principalmente para modelar las redes. Una red es construida con lneas telefnicas y, por supuesto, por computadoras. En la siguiente ilustracin se muestra la ubicacin de cada computadora como un punto y cada lnea telefnica con un arco:

Fig. 5.1 Red de computadoras

De acuerdo a lo anterior, en esta red se percibe una nica lnea telefnica entre dos computadoras; adems, cada lnea opera en ambas direcciones y no se observan computadoras que tengan hacia s mismas una lnea telefnica, por lo tanto, esta red puede ser modelada apoyndose en la elaboracin de un grafo simple, el cual representa vrtices, computadoras y arcos no dirigidos. Entonces, este grafo simple es representado como G = (V, A), en el que V es un conjunto no vaco de Vrtices y A un conjunto de pares no ordenados de diferentes elementos de V nombrados arcos, es decir, son grafos no dirigidos que no tienen arcos mltiples ni lazos.

Tambin es frecuente la existencia de varias lneas telefnicas entre las computadoras en la red y no se puede elaborar por grafos simples sino que se requiere emplear otros, como es el caso de los multgrafos, que son vrtices y arcos no dirigidos entre estos vrtices, pero permitiendo mltiples arcos entre los pares de los vrtices.

. Esto se puede representar de la siguiente manera:

Fig. 5.2 Red de computadoras con varias lneas telefnicas

El multgrafo se representa como G = (V, A) y es conjuntos de Vrtices V, de arcos A, respectivamente, y una funcin f de A .Los arcos A1 y A2 reciben el nombre de arcos paralelos o mltiples si la f(A1) = f(A2), es decir, son grafos no dirigidos que pueden contener arcos mltiples, pero no pueden contener lazos

Tambin puede suceder que exista una red de computadoras, que puede contener una lnea telefnica de una computadora a s misma y sta se puede ser representada por los pseudografos, que se representan como G = (V, A) es un conjunto de Vrtices V, un conjunto de arcos A y una funcin f de A

Un arco es un lazo si f(a) = {u} para algn u V, es decir, son el tipo ms general de grafos no dirigidos, ya que contienen arcos cclicos y arcos mltiples, y se puede visualizar con la siguiente figura:

Fig. 5.3 Red de computadoras con lneas de diagnstico

Los grafos dirigidos son arcos pares ordenados con direccin cuando sus arcos son pares ordenados. Los lazos son pares ordenados del mismo elemento y estn permitidos, pero los arcos mltiples en la misma direccin entre dos vrtices, no. Un grafo dirigido Gd = (V, A) consiste en un conjunto de vrtices V y un conjunto de arcos A que son pares ordenados de elementos de V. Un ejemplo claro de lo anterior son las lneas telefnicas en una red de computadoras que no pueden operar en ambas direcciones. Supongamos, conforme el ejemplo que se ha estado desarrollado, que el host de Veracruz solo puede recibir datos de otras computadoras y no puede enbiarlos: sin embargo, las lneas telefnicas operan en ambas direcciones y estn representadas por pares de arcos en direcciones opuestas, como se representa en la siguiente figura:

Fig. 5.4 Red de comunicacin de lneas telefnicas con una sola direccin

Otro caso se presenta cuando los multgrafos dirigidos tienen arcos mltiples dirigidos de un vrtice a otro y se define como Gd= (V, A) que es un conjunto de vrtices V, un conjunto de arcos A y una funcin f de A {{u, v} | u, v V}. Los arcos A1 y A2 son arcos mltiples si f(A1)= f(A2). Los arcos dirigidos mltiples estn asociados con el mismo par de vrtices; adems, se puede decir que (u, v) es un arco de G = (V, A) en la medida en que exista al menos un arco A con f(A)=(u, v); en un caso prctico esto se puede utilizar en la red de computadoras, en las que puede haber muchas lneas de un solo sentido hacia el host en Veracruz desde cualquier lugar, y tal vez de una lnea de regreso a cada computadora remota desde el host, y se representa de la siguiente forma:

Fig. 5.5 de Red de computadoras con mltiples lneas de una direccin.

5.1.3 Teorema de Hand Shaking

Sea G = (V, A) un grafo no dirigido con e arcos, entonces es:

Ejemplo: Supngase que en un grafo se encuentran 10 vrtices y cada uno de estos con grado 8 Cuntos arcos hay en el grafo?

A travs del Teorema Hand Shaking se comprueba que la suma de los grados de los vrtices de un grafo no dirigido es par.

5.1. 4 Grafos especiales

Existen casos de los grafos especiales, de acuerdo a cada caso son utilizados: 1.- Grafo completo: es el grafo completo de n vrtices, se representa como Cn, que es grafo simple que tiene exactamente un arco entre cada par de vrtices distintos. En la siguiente figura, se representan grafos para n =1, 2, 3, 4, 5:

Fig. 5.6 Grafos de n=1,2,3,4,5 y6

2.- Grafo cclico: es el grafo Cln, n 3, consiste de n vrtices v1, v2, , vn y arcos {v1, v2}, {v2, v3}, ,{vn1, vn} y {vn, v1}. Por ejemplo, en la siguiente figura se muestran grafos cclicos de 3,4, 5y 6, respectivamente:

Fig. 5.7 Grafos cclicos de n=3,4,5,6

3.- Grafos de n-cubos: se expresa como Gcn, y en l hay vrtices que muestran las 2n cadenas de bits de longitud n. Dos vrtices son adyacentes si y solo si las cadenas de bits que estos representan difieren en exacto. En la siguiente figura se muestran ejemplos cuando es Gc 1, Gc2 y Gc3

Fig.5.8 Grafos de n-cubos para 1,2 y 3 5.2. Representacin e isomorfismo en grafos Se emplea el concepto de isomorfismo cuando en ciertas situaciones se puede dar el caso que los grafos pueden tener la misma figura, por lo que existe una correspondencia uno a uno entre sus conjuntos de vrtices.

5.2.1 Representacin de grafos

Una manera de representar un grafo sin arcos mltiples es registrar todos los arcos del grafo, o bien empleando listas de adyacencia, las cuales especifican los vrtices que son adyacentes a cada vrtice del grafo.

Ejemplo: cuando se utiliza un registro de adyacencia para especificar un grafo simple. Conforme lo anterior se puede representar el siguiente registro y grafo:

Registro de adyacencia

Vrtices

Vrtices adyacentes

b,c

a,d

e,c

Cuadro 5.1 Registro de adyacencia 5.2.2 Matrices de adyacencia En algunas ocasiones, la utilizacin de los grafos puede ser laboriosa y muy extensa. Con el fin de reducirlos se ocupan matrices. Usualmente la matriz que se utiliza est basada en la adyacencia de los vrtices o bien, en la incidencia de los vrtices y los arcos.

Supngase que G = (V, A) es un grafo simple donde |V| = n; adems que los vrtices de G se registran arbitrariamente como v1, v2,, vn; por lo que la matriz de adyacencia se basa en un ordenamiento escogido para los vrtices y se expresa A = [ai,j], por lo que aj es 1 si es un arco de G, y 0 en otra parte. Es importante mencionar que la matriz de adyacencia de un grafo simple es simtrica, es decir, ai,j = aj,i, entradas son 1 cuando vi y vi son adyacentes, adems, ambas son 0 en otra parte y cabe mencionar que como el grafo simple no tiene lazos, cada entrada ai,j, i = 1, 2, 3, , n es 0.

Por ejemplo, la forma de mostrar el siguiente grafo utilizando la matriz de adyacencia es la siguiente:

Fig. 5.9 Grafo simple Donde los renglones y las columnas representan, respectivamente, a,b,c,d; y la matriz se representa:

Los grafos no dirigidos con lazos y arcos mltiples tambin se pueden apoyar en las matrices adyacentes, si un lazo en el vrtice ai es representado por un 1 en la posicin (i, i) de la matriz de adyacencia, cuando los arcos mltiples estn presentes, ahora la entrada (i, j) de la matriz de adyacencia es igual al nmero de arcos que estn asociados a {vi, vj}. Es importante mencionar que todos los grafos no dirigidos, los multigrafos y pseudografos, tienen matrices de adyacencia simtricas. Por ejemplo, supngase el siguiente grafo:

Fig. 5.10 Pseudografo

Entonces la matriz es representada:

Si la matriz A= [ai,j] es la matriz de adyacencia para el grafo dirigido con respecto a esta lista de vrtices, entonces ai,j = 1 si {vi,,vj} es un arco de G, si no la matriz de adyacencia de un grafo dirigido no tiene que ser simtrica, ya que no tiene que haber un arco de vj a vi cuando hay un arco de vi a vj. 5.2.3. Matrices de incidencia La matriz de incidencia, es un grafo no dirigido G = (V, A), adems se supone que v1, v2,, vn son los vrtices y a1, a2, , am son los arcos de G; por lo tanto, la matriz de incidencia es de orden n x m, por lo que R = [ri,j] donde 1 es cuando el arco aj es incidente con vi y 0 en otra parte.

Las matrices de incidencia tambin se pueden usar para representar arcos mltiples y lazos. Los arcos mltiples son representados en la matriz de incidencia usando columnas con entradas idnticas cuando estos arcos son incidentes con el mismo par de vrtices. Los lazos son representados usando una columna con exactamente una entrada igual a 1, correspondiendo al vrtice que es incidente con este lazo. Por ejemplo, supngase el siguiente grafo:

Fig.5.11 Pseudografo

En cada rengln se representan los arcos, a1,a2,a3,a4,a5 y a6, respectivamente y en cada columna se representan los vrtices, es decir, v1,v2,v3 y v4 respectivamente, por lo que la matriz queda de la siguiente manera:

5.2.4. Isomorfismo de grafos Los grafos simples G1 = (V1, A1) y G2 = (V2, A2) se consideran isomorfos si existe una funcin uno a uno de V1 a V2 , siendo a y b son adyacentes en G1 si la funcin (a) y la funcin (b) son adyacentes en G2, para todas las a y b en V1. Por ejemplo supngase que se tiene los siguientes grafos:

Fig. 5.12 grafos

Y si se quiere demostrar si son isomorfos entonces:

El grafo H y G, con sus respectivas funciones corresponde a tener f(u1)= v1, f(u2) = v4, f(u3) = v3 y f(u4) = v2 es una correspondencia uno a uno, adems se observan los vrtices adyacentes en G son u1 y u2, u1 y u3, u2 y u4, y u3 y u4, y cada uno de los pares f(u1) =v1 y f(u2) = v4, f(u1) = v1 y f(u3) = v3, f(u2) = v4 y f(u4) = v2, y f(u3) = v3 y f(u4) = v2 son adyacentes en H. 5.2.5 Conectividad En los grafos no dirigidos un camino de longitud n de u a v, donde n es un entero positivo, es una sucesin de arcos e1, , en del grafo tal que f(e1) = {x0, x1}, f(e2) = {x1, x2}, , f(en)= {xn-1, xn}, donde x0 = u y xn = v. Cuando el grafo es simple, denotamos este camino con su secuencia de vrtices x0, x1, , xn (ya que listando los vrtices se determina de manera nica el camino). Los caminos son circuitos que empiezan y terminan en el mismo vrtice, esto es si u = v. El circuito pasa por los vrtices x1, x2, , xn-1;

y es de tipo simple cuando tiene el mismo arco ms de una vez y cuando no se necesita distinguir entre arcos mltiples, se expresa cuando se identifican los caminos por los que atraviesa como e1, e2,, en donde f(ei) = {xi-1, xi} para i = i, 2, , n por su lista de vrtices x0, x1, , xn.

Un ejemplo de camino simple es el siguiente:

Fig, 5.13 Grafo simple

Conforme lo anterior, se observa un camino simple de longitud, donde los arcos son y Adems b, c, f, e, b es un circuito, que empieza en a y finaliza en b; de longitud 4 porque {b, c}, {c, f}, {f, e} y {e, b} son arcos y este camino comienza y termina en b.

Tambin se puede observar un camino no simple, en a, b, e, d, a, b, longitud 5), por la doble presencia de de arco {a, b}.

En camino de longitud n en un multgrafo dirigido , donde n es un entero positivo, de u a v es una secuencia de arcos e1, e2,, en del grafo tal que f(e1) = (x0, x1), f(e2) = (x1, x2), ,f(en) = (xn-1, xn), donde x0 = u y xn = v, y cuando en el grafo, no existen arcos mltiples, el camino se expresa por la secuencia de vrtices x0, x1,, xn. En los casos que un camino que empieza y finaliza en el mismo vrtice, se llama circuito o ciclo, es de tipo simple si el circuito no tiene el mismo arco ms de una vez. Y en los casos que no es necesita diferenciar entre arcos mltiples en un camino, se expresa como e1, e2,, en donde f(ei) = (xi-1, xi) para i = 1, 2, , n por su lista de vrtices x0, x1, , xn.

5.3. Caminos de Euler y Hamilton 5.3.1 Caminos y circuitos de Euler El circuito de Euler comienza con un vrtice a y contina con un arco incidente en a, digamos {a, b}. El arco {a, b} contribuye en uno a deg(a). Cada vez que un circuito pasa a travs de un vrtice, contribuye en 2 a su grado, ya que el circuito entra va un arco incidente en este vrtice y lo abandona va otro arco. Finalmente, el circuito termina donde comenz, contribuyendo en 1 a deg(a). Entonces, deg(a) debe ser par porque el circuito contribuye en 1 cuando comienza, en 1 cuando termina y en 2 cada vez qua pasa a travs de a (si es que pasa). Un vrtice distinto de a tiene un grado par, ya que el circuito contribuye en

2 a su grado cada vez que pasa a travs del vrtice. Concluimos que si un grafo conectado tiene un circuito de Euler, cada uno de sus vrtices debe tener un grado par. Cuando existe un circuito de Euler en un multigrafo conectado, si todos sus vrtices tienen grado, se supone que G es un multigrafo conectado y el grado de cada vrtice de G es par. Al construir un circuito simple que comience en un vrtice arbitrario a de G. Hagamos x0 = a, se escoge arbitrariamente un arco {x0, x1} incidente con a, adems se construye un camino simple {x0, x1}, {x1, x2},, {xn-1, xn} tan largo como sea posible. Por ejemplo, en el grafo G de la figura 2.25 comencemos con a y escojamos en sucesin los arcos {a, f}, {f, c}, {c, b}, y {b, a}, finalizando el camino porque el grafo tiene un nmero finito de arcos. El camino empieza en a con un arco de la forma {a, x}, y finaliza en el mismo a con un arco de la forma {y, a}, debido que se pasa a travs de un vrtice con grado par y solo se usa un arco para entrar a este vrtice, y al menos sobra un arco para que el camino deje el vrtice, el camino puede no utilizar todos los arcos, o bien lo puede hacer.

Se elabora un circuito de Euler si todos los arcos se utilizan. En caso contrario, el subgrafo B elaborado gracias al obtenido de A elimina los arcos ya usados y los vrtices que no son incididos por ningn arco sobrante, por lo tanto al eliminar el circuito a, f, c, b, a, se obtiene el subgrafo B y se expresa en la siguiente figura:

Fig. 5.14

Conforme se observa en la figura anterior, A est conectado y B posee al menos un vrtice en comn con el circuito que ha sido borrado. Por lo tanto un multigrafo conectado tiene un circuito de Euler si y solo si sus vrtices tienen grado par.

Ejemplo: Resolver el siguiente grafo a travs de circuitos y caminos de Euler:

Fig. 1.15 grafos curvos Solucin: Como se observa el grafo en sus vrtices tienen grado par. Para formar el circuito de Euler, primero, se crea el circuito a, b, d, c, b, e, i, f, e, a, y posteriormente se obtiene el subgrafo H borrando los arcos en este circuito y as todos los vrtices quedan aislados; posteriormente se forma el circuito d, g, h, j, i, h, k, g, f, d en H, y despus de crearlo se forma este circuito, ocupando todos los arcos en G, ordenando este nuevo circuito dentro del primer en el lugar adecuado produce el circuito de Euler: a, b, d, g, h, j, i, h, k, g, f, d, c, b, e, i, f, e, a.

5.3.2 Caminos y circuitos de Hamilton Un camino x0, x1,, xn-1, xn en el grafo G = (V, A) es de Hamilton si V = {x0, x1,, xn-1, xn} y xi xj para 0 i < j n. Un circuito x0, x1,, xn-1, xn, x0 con (n > 1) en un grafo G = (V, A) es llamado un circuito de Hamilton si x0, x1,, xn-1, xn es un camino de Hamilton.

El trmino se debe que al juego de Hamilton que es era un dodecaedro de madera con una tachuela en cada vrtice del dodecaedro y un hilo. Los 20 vrtices del dodecaedro eran etiquetados con diferentes ciudades del mundo. El objetivo del juego era iniciar en una ciudad y viajar a travs de las aristas del dodecaedro, visitando cada una de las otras 19 ciudades exactamente una vez, y terminar en la misma ciudad en la que se comenz. El circuito viajado era marcado usando el hilo y las tachuelas. En la siguiente figura se muestra este dodecaedro:

Fig. 1.16 Docaedro de Hamilton Las condiciones para valorar si existe un camino o un circuito de Hamilton son:

1.- Un grafo con un vrtice de grado 1 no puede tener un circuito de Hamilton, ya que en un circuito de Hamilton cada vrtice es incidente con dos arcos del circuito. 2.- Si un vrtice en el grafo tiene grado 2, entonces los dos arcos que inciden en l deben ser parte de cualquier circuito de Hamilton 3.- Un circuito de Hamilton se empieza a construir y este circuito pasa a travs de un vrtice, entonces todos los arcos restantes incidentes en este 4.- Un circuito de Hamilton no puede contener a un circuito ms pequeo dentro de l.