Tema 1 TEORIA DE GRAFOS

1.1 DEFINICIN DE GRAFOS 1.2 CONCEPTOS 1.2.1 Adyacencia, Incidencia, Grados de los vrtices 1.2.2 Cadena, cadena cerrada, Camino, Ciclo 1.2.3 Sucesiones grficas 1.2.4 Conectividad 1.3 Matriz de Adyacencia y Matriz de Incidencia 1.4 Tipos de grafos 1.5 Aplicaciones

DESARROLLO

1.1 definicin de grafos

Un grafo es un par ( ) dnde: ( ) ( Ejemplo: Si ( ) dnde: )

)(

)(

)(

)(

)(

)(

)(

Su representacin grfica sera:

A continuacin damos algunas definiciones para hacer una comparacin. Sobre las siguientes: Definicin 1 ( ) consta de , un conjunto no vaco de vrtices y de E, un conjunto de Un grafo simple pares ordenados de elementos distintos de V. A esos pares se les llama Aristas o lados. En muchos casos los grafos simples no bastan para modelar algunos tipos de situaciones en las cuales se requiere de la existencia de mltiples aristas entre par de vrtices. En este caso no es suficiente definir las aristas como par de vrtices. A continuacin veremos otras definiciones. Definicin 2 ( ) costa de un conjunto de V vrtices, un conjunto de E de aristas y una Un multigrafo funcin f de E en ( ) . Se dice que las aristas son aristas mltiples o paralelas si ( ) ( ) Definicin 3

Un pseudografo funcin

( (

) costa de un conjunto V de vrtices, un conjunto E de aristas y una ) . Se dice que una arista e es un bucle o lazo si ( )

Definicin 4 Un dgrafo conocido tambin como grafo dirigido ( ) consta de un conjunto de V de vrtices, un conjunto E de aristas, que son pares ordenados de elementos de V. 1.2.1 Adyacencia, Incidencia, Grados de los vrtices

Adyacencia Dos vrtices u, v de un grafo Ejemplo

V1 (v1,v2) (v1,v3) V2 (V3,v2)

) se dicen adyacentes si (

V3

Asimismo dos aristas son adyacentes si tienen un mismo vrtice como extremo; anlogamente entre s.

Incidencia

El grado de un vrtice es el nmero de lados incidentes a l. El grado de un vrtice u se denota grado de los vrtices de Ejercicio Si es un grafo simple, muestre que donde v es el nmero de vrtices de G. ( ) Denotamos con ( ) ( ) el mnimo y el mximo

respectivamente.

Solucin

En un dgrafo distinguimos entre grado entrante y grado saliente de , el primero indica el nmero de lados que tienen al vrtice tiene el vrtice ( inicial, y se denotan como terminal y el segundo indica el nmero de lados que ( ) ( ) respectivamente.

Teorema 1 La suma de los grafos en un vrtice es el doble del nmero de lados. Es decir, si ) entonces

( )

Teorema 2 Si

) es un dgrafo, entonces. ( ) ( )

Teorema 3 El nmero de vrtices de grado impar es par.

1.2.3 Sucesiones grficas

Una sucesin finita de enteros no negativos se dice sucesin grfica si existe un grafo no dirigido simple que tiene por sucesin de grados la sucesin dada. Ejemplo Es grfica la sucesin (4,3,3,2,2)? Solucin La sucesin de enteros no negativos (4,3,3,2,2) es una sucesin grfica, porque es la sucesin de grados del grafo no dirigido simple siguiente

Ejemplo 2 Teniendo en cuenta las propiedades vistas, es grfica la sucesin (3,3,3,2,2)? La sucesin de enteros no negativos (3,3,3,2,2) no es una sucesin grfica Porque no existe ningn grafo simple con un nmero impar de vrtices de grado impar.

Ejemplo 3 Es grfica la sucesin (6,3,3,2,2)? La sucesin de enteros no negativos (6,3,3,2,2) no es una sucesin grfica. Porque si existiera un grafo no dirigido simple con esa sucesin de grados, tendra 5 vrtices, uno de los cuales tendra que estar conectado a 6 ms, lo que significa que si el grafo ha de ser simple, debera haber por lo menos 7 vrtices. Teorema de Hakimi Sea la sucesin decreciente de enteros no negativos

Se dice ( ( ) es una sucesin grfica si y solo si ) Es una sucesin grfica

1.2.2 Cadena, Cadena Cerrada, Camino, Ciclo

Cadena: a toda sucesin finita alterna de vrtices y aristas (resp. arcos). Cadena cerrada: a toda cadena en la que los vrtices inicial y final coinciden. Camino: a toda cadena en la que no se repiten ni vrtices ni aristas (resp. arcos). Ciclo: a toda cadena en la que nos e repiten ni vrtices ni aristas a excepcin del inicial y final. Longitud de la cadena: nmero de aristas (resp. Arcos) que la forman.

Ejemplo.

Cadena: Cadena cerrada: Camino: Ciclo:

1.2.4 Conectividad Conexin en grafos dirigidos

Sea

) grafo no dirigido est conectado a si .

Se dice que el vrtice

Se llama componente conexa de G a todo subgrafo inducidos por los vrtices de una clase de equivalencia. Se dice que es un grafo es conexo si tiene una nica componente conexa. Ejemplo:

Teorema 1 Sea Si ( ( ) un grafo no dirigido, con | |>1 ), Teorema 2 Sea ( ) un grafo no dirigido, conexo, |V|=n >1 ( ) pertenece a un ciclo, entonces G- es tambin conexo. son las componentes conexas de G, se verifica.

A) G posee un ciclo o un vrtice de grado 1 B) Si la arista

c)

Conexin en grafos dirigidos

Sea ( ) grafo dirigido Se dice que el vrtice u est fuertemente conectado al v si u alcanza a v y v alcanza a u. Se llama componente fuertemente conexa a G a todo subgrafo inducido por los vrtices de una clase de equivalencia. subgrafo mximal Se dice que un grafo es fuertemente conexo si tiene una nica componente conexa. Ejemplo

Teorema 1 Sea Si ( ( ) un grafo no dirigido, con | |>1 ), No se verifica para los arcos son las componentes conexas de G, se verifica.

Teorema 2 Sea ( ) un grafo dirigido, fuertemente conexo,

Grafo dbilmente conexo Sea ( ) grafo dirigido si y estn conectados en el grafo

Se dice que el vrtice u est dbilmente conectado al subyacente .

Se llama componente dbilmente conexa de G a todo subgrafo inducido por los vrtices de una clase de equivalencia, o de forma equivalente, a todo subgrafo tal que su subyacente sea una componente conexa en .

Se dice que un grafo es dbilmente conexo si su grafo subyacente es conexo.

1.3 Matriz de Adyacencia y Matriz de Incidencia

Sea ( ) un grafo con vrtices y aristas, entonces le corresponde una matriz y las ] donde es el denominada matriz de incidencia de G. Si denotamos los vrtices d G por aristas . Entonces la matriz de incidencia de G es la matriz M(G)=[

nmero de veces que la arista arista sea un lazo.

incide en el vrtice

los valores son 0,1 o 2 en el caso que la

Otra matriz asociada a G es la matriz de adyacencia, esta es una matriz donde es el nmero de aristas que van de hasta .

( )

] en

A continuacin damos un ejemplo de un grafo con su correspondiente matriz de incidencia y matriz de adyacencia.

1.4 Tipos de Grafos

Hay varios tipos de grafos, en esta seccin estudiaremos los grafos libres, completo, regular, grafos isomorfos, grafos ponderados, subgrafos, y bipartito. Tambin veremos los ciclos hamiltonianos, y ciclos eulerianos Grafos Libres Sea un grafo ( ( ) si dice libre si , es decir, si no tiene aristas.

Grafos Completos Un grafo simple ) se dice completo si cada vrtice est conectado a cualquier otro vrtices se denota .

vrtice en G. El grafo completo con

Grafo completo de 6 vrtices.

Un grafo completo de n vrtices tiene vrtice.

aristas, y sus grafos son

de cualquier

Ejercicio: Un grafo completo con n vrtices tiene Grafos regulares Sea un grafo (

Aristas.

) es regular de grado k o k-regular si cada vrtice tiene grado k; es decir, un

grafo es regular si todos los vrtices tiene el mismo grado.

Grafos regulares que tienen el mismo grado Grafos Isomorfos Definicin Los grafos ( ) ( ) son isomorfos si existe una funcin biyectiva y ( ) ( ) . Si son

con la propiedad de que, para cada par de vrtices solo si ( ) ( )son adyacentes en isomorfos lo denotamos como . Es decir .

Cabe resaltar algunos criterios para probar si un grafo es isomorfo, como ser el mismo nmero de vrtices, el mismo nmero de aristas, el mismo nmero de la misma cantidad de grados, el mismo nmero de ciclos de cualquier longitud, etc.

Probar si son isomorfos

Probar si son isomorfos Grafos etiquetados y ponderados Un grafo G etiquetado es si sus aristas tienen asignada alguna identificacin. En particular, G es un grafo ponderado si cada arista e de G se le asigna un nmero no negativo ( ) denominado peso

o longitud de . El peso o longitud de un camino en un grafo ponderado G se define como la suma de los pesos de todas las aristas del camino. Uno de los problemas ms comunes dentro de la teora de grafos es encontrar la ruta ms corta o el camino ms liviano entre los vrtices dados. Encontrar el camino ms corto de P y Q.

Subgrafos Sea ( ) un grafo, Si ( ) es un grafo tal que decimos que H es un

subgrafo de G. Si F contiene todos los lados de E que unen los puntos de W en G se dice que H es un subgrafo completo de G generado por W. Si W=V decimos que H es un subgrafo extendido de G.

Grafos Bipartitos Se dice que un grafo simple dos conjuntos disjuntos conecta un vrtice Ejemplo ( . ( ) es bipartito si el conjunto de vrtices V se puede dividir en ) de tal manera que toda arista

con un vrtice de

Grafos Eulerianos y Grafos Hamiltonianos Grafos Eulerianos El origen de la teora de los ciclos eulerianos fue planteado y resuelto por el propio Leonhard Euler en 1736 en un problema que tiene el nombre de Siete puentes de la ciudad de Knigsberg (Prusia oriental en el siglo XVIII y actualmente, Kaliningrado, provincia rusa) dando origen a la Teora de los grafos.

El problema se enuncia de la siguiente forma: Dos islas en el ro Pregel, en Knigsberg se unen entre ellas y con la tierra firme mediante siete puentes. Es posible dar un paseo empezando por una cualquiera de las cuatro partes de tierra firme, cruzando cada puente una sola vez y volviendo al punto de partida?

El problema planteado se puede representar como el siguiente grafo.

Por consiguiente la pregunta se traslada a es posible pasar por todas las aristas sin repetir ninguna. Euler demostr que no era posible ya que el nmero de aristas que inciden en cada vrtice no es par. condicin necesaria para entrar y salir de cada vrtice y para regresar al punto de partida, por caminos distintos. ( Si tenemos camino euleriano. ), si tiene exactamente dos vrtices de grado impar, entonces tiene

En caso de que todos los vrtices sean o tengan grado par,

tiene un ciclo euleriano.

Propiedades Un grafo conexo y no dirigido se dice que es euleriano si cada vrtice tiene un grado par. Un grafo no dirigido es euleriano si es conexo y si se puede descomponer en uno con los vrtices disjuntos. Si un grafo no dirigido euleriano. Un grafo dirigido es euleriano si es conexo y cada vrtice tiene grados internos iguales a los externos. es euleriano entonces su grfo-lnea L(G) se dice que es tambin

Un grafo no dirigido se dice que es susceptible de ser recorrido (en ingls: traversable) si es conexo y al menos dos vrtices en el grafo tienen grado impar.

Grafo Hamiltonianos Comencemos preguntndonos: Cundo un grafo tienen un ciclo cerrado qu contenga a todos sus vrtices? Cuando existe tal ciclo lo llamaremos ciclo hamiltoniano. Definicin

Un camino hamiltoniano es un camino que pasa por cada vrtice exactamente una vez. Un grafo que contiene un camino hamiltoniano se denomina un ciclo hamiltoniano si es un ciclo que pasa por cada vrtice exactamente una vez (excepto el vrtice del que parte y al cual llega). Un grafo que contiene un ciclo hamiltoniano se dice grafo hamiltoniano.

Estos conceptos se pueden extender para los grafos dirigidos.

1.5 Aplicaciones
Un gran nmero de aplicaciones nace gracias a la teora de grafos y continuamente se hallan formas para resolver muchos problemas de la vida real aplicando grafos. Por ejemplo existen aplicaciones de la sntesis de circuitos secuenciales, contadores o sistemas de apertura. Se puede usar para modelar trayectos como el de una lnea de buses a travs de las calles de una ciudad, en la que podemos aplicar bsqueda de caminos para los trayectos.

Para la administracin de proyectos como CMP y PERT, en las que se modelan los mismos usando grafos. La teora de grafos tambin ha servido de inspiracin para las ciencias sociales, en especial para desarrollar un concepto no metafrico de red social que sustituye los nodos por los actores sociales y verifica la posicin, centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones complejas, de manera que la estructura social puede representarse grficamente. Por ejemplo, una red social puede representar la estructura de poder dentro de una sociedad al identificar los vnculos (aristas), su direccin e intensidad y da idea de la manera en que el poder se transmite y a quines.

Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice representa un hbitat y las aristas (o "edges" en ingls) representa los senderos de los animales o las migraciones. Con esta informacin, los cientficos pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat.

Tambin se ha usado los grafos para crear lenguajes cibernticos aplicado a modelos continuos como ser los diagramas de influencias propuestos por J w Forrester.

La aplicacin se puede ver en cada da en el mundo real, ya que todo est conectado de alguna manera y es parte de un sistema.