Grafos

Haga clic para modificar el estilo de Programacin en tiempo real. subttulo del patrn 4/15/12

Grafos

4/15/12

En matemticas y ciencias de la computacin es: Conjunto de objetos llamados vrtices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.

Grafos
4/15/12

Los grafos permiten estudiar las interrelaciones entre unidades que interactan unas con otras. Por ejemplo
una red de computadoras puede representarse y estudiarse mediante un grafo.

Grafos
4/15/12

4/15/12

Grafos
4/15/12

Prcticamente cualquier problema puede representarse mediante un grafo, y su estudio trasciende a las diversas reas de las ciencias exactas y las ciencias sociales.

Historia
4/15/12

Sus inicios se desarrollaron en el trabajo de Leonhard Euler, en 1736 dirigido al problema de los puentes de Konisberg.

Consista en encontrar un recorrido para cruzar a pie toda una ciudad pasando solo una vez por cada uno de siete puentes y regresando al mismo punto de inicio. Este trabajo fue considerado como uno de los primeros resultados topolgicos en geometra.

Tipos de grafos
4/15/12

Los grafos son estructuras de datos no lineales que tienen una naturaleza generalmente dinmica. Su estudio podra dividirse en dos grandes bloques:

Grafos Dirigidos. Grafos no Dirigidos(pueden ser considerados un caso particular de los anteriores).

Tipos de grafos
4/15/12

Un ejemplo de grafo dirigido lo constituye la red de aguas de una ciudad ya que cada tubera slo admite que el agua la recorra en un nico sentido. Por el contrario, la red de carreteras de un pas representa en general un grafo no dirigido, puesto que una misma carretera puede ser recorrida en ambos sentidos.

Terminologa
4/15/12

Un grafo G es un conjunto en el que hay definida una relacin binaria, es decir, G=(V,A)

V es un conjunto de objetos a los que denominaremos vrtices o nodos y es una relacin binaria a cuyos elementos denominaremos arcos o aristas.

Terminologa
4/15/12

Dados ,puede ocurrir que: Si las aristas tienen asociada una direccin

(las aristas (x,y) y (y,x) no son equivalentes) diremos que el grafo es dirigido, en otro caso ((x,y)=(y,x)) diremos que el grafo es no dirigido.

Matriz de incidencia

4/15/12

Sea G = (V,E) un grafo con V vrtices y E aristas

Si denotamos los vrtices de G por v1, v2, . . . , vn y las aristas por e1, e2, . . . , en. Entonces la matriz de incidencia de G es la matriz M(G) = [mij ] donde mij es el nmero de veces que la arista ej incide en el vrtice vi;

Ejemplo

4/15/12

Matriz de adyacencia

4/15/12

Diremos que dos vrtices x y de un grafo son adyacentes o vecinos si {x, y} es una arista. Llamaremos lista de adyacencias de un grafo a una tabla en la que cada vrtice encabeza una columna en la que guran los vrtices adyacentes a

Ejemplo

4/15/12

4/15/12

Ejercicio generar el siguiente Grafo

V = { a, b, c, d, e, f }, A = { ab, ac, ae, bc , bd, df ,ef }.

Generar sus matrices de incidencia y

Caminos y ciclos

4/15/12

Un camino es una sucesin de aristas de manera que, a excepcin de la primera, el segundo vrtice de una es el primer vrtice de la siguiente.

Un camino es una sucesin de vrtices 0 , 1 , 2. n , de manera que i -1 es adyacente de n , para i=1,2n

4/15/12 Extremos: son los vrtices inicial y final del camino.

La longitud de un camino: numero de aristas que contiene. Camino cerrado: si sus extremos coinciden. Un camino es simple si en la sucesin de vrtices no hay ninguno repetido. Un grafo es conexo si para cada par de vrtices, existe un camino con extremos en dichos vrtices.

4/15/12

Ciclo

es un camino que empieza y acaba en el mismo vrtice.

Ciclo Hamiltoniano

4/15/12

Diremos que el grafo o multigrafo G tiene un ciclo (camino) de Hamilton si existe un ciclo (camino) que verifica: visita todos sus vrtices cada vrtice es visitado una nica vez (en el caso de los ciclos, el vrtice inicial es visitado de nuevo para cerrar el ciclo)

Definiciones

4/15/12

Adyacencia = son adyacentes si tienen el mismo vrtice en el extremo. Incidencia= Si e{u,v} e es incidente a u,v Digrafo=grafo dirigido Grado de un vrtice= gr(v) es la cantidad de

Un grafo es simple si a lo sumo slo 1 arista une dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la nica que une dos vrtices especficos.

4/15/12

4/15/12 Grafos etiquetados y ponderados

Un grafo G es un grafo etiquetado si sus aristas y/o vrtices tienen asignado alguna identificacin. G es un grafo ponderado si a cada arista e de G se le asigna un nmero no negativo w(e) denominado peso o longitud de e. El peso (o longitud) de un camino en un grafo ponderado G se define como la suma de los pesos de las aristas del camino.

Un importante problema en teora de grafos es 4/15/12 encontrar el camino ms corto (liviano), esto es, el camino con el peso (longitud) mnimo entre dos vrtices dados.

Grafos isomorfos

4/15/12

Si dos grafos G1 y G2 son isomorfos, tienen el mismo nmero de vrtices, el mismo nmero de aristas, el mismo nmero de vrtices de cualquier grado, el mismo nmero de ciclos de cualquier longitud, etc.

Grafos isomorfos

4/15/12

e1 e2 e3 e4 e5 e6 e7 e8 v1 1 0 0 0 0 0 0 0 v2 1 1 0 0 1 0 1 1 v3 0 1 2 1 0 0 0 0 v4 0 0 0 1 1 1 0 0 v5 0 0 0 0 0 1 1 1

a b u 1 v 1 w 0 x 0 y 0

c 2 0 0 0 0

d 0 0 1 0 0

e 0 0 1 1 0

f 0 1 0 1 0

F(v1)= y F(v2) =x g h F(v3) 0 1 0 0 1 0=u 1 0 0 1 1 1F(v4) 0 0 1 =v

4/15/12

Identificar cuales de estos son 4/15/12 grafos isomorfos:

Z Y A m F p
m 1 1 0 0 0 n 0 1 1 0 0 o 0 0 1 1 0

j k

B n
p 0 0 0 1 1

C o

D X

A B C D F

l
Z Y W U X

W k U0 1
j 1 0 0 0 1 1 0 0

l m0 0 0 1 1 0 0 0 1 1

Identificar cuales de estos son 4/15/12 grafos isomorfos: