Grafos Dirigidos

GRAFOS DIRIGIDOS Sea G=(V,A) un Grafo, donde Aristas. Se define: V= conjunto de Vrtices y A= conjunto de

Vrtice adyacente: El vrtice y es adyacente al vrtice x, si y solo si, (x, y) es una arista del grafo. En este caso, el arco (x, y) es incidente sobre el vrtice y.

y es el vrtice punta y x es el vrtice cola , del arco(x, y).

Camino: Es una secuencia de vrtices v1, v2,, vn tal que (vi -> vi+1) es una arista para 1 i n. Este camino conecta a v1 con vn.

Camino simple: Es un camino en donde todos sus vrtices son distintos, solo su vrtice de partida y de fin pueden ser los mismos. Longitud del camino: Es el numero de arcos a lo largo del camino (numero de vrtices - 1, en caminos simples que no vuelven al punto de partida). Ciclo Simple: Un ciclo simple de un grafo dirigido es un camino simple de longitud mayor o igual a 1. Grafo dirigido etiquetado: Es un grafo dirigido en el cual cada arco, cada vrtice o ambos pueden tener una etiqueta asociada. Una etiqueta puede ser un nombre o un valor de cualquier tipo. Grado de emisin de un vrtice vi: El grado de emisin de un vrtice vi es el nmero de arcos que parten de l (nmero de vrtices adyacentes). ge(vi) = nmero de arcos (i, j) que pertenecen a G, para j=1, 2, , n. Grado de recepcin de un vrtice vj: El grado de recepcin de un vrtice vj es el nmero de arcos que inciden en l (nmero de vrtices incidentes). gr(vj) = nmero de arcos (i, j) que pertenecen a G, para i=1, 2, , n.

Representacin de Grafos
A) Matriz de adyacencia Sea G= (V, A) un grafo, donde V= {1, 2, 3. . ., n}. La matriz de adyacencia para G es una matriz booleana de dimensin nxn, donde cada elemento [i, j] vale 1 si y solo si, existe un arco (i, j).

Sucesin de los grados de emisin: 1 1 1 2 3 Sucesin de los grados de recepcin: 1 1 1 2 3

Sucesin de los grados de emisin: 222334 Sucesin de los grados de recepcin: 2 2 2 3 3 4

B) Lista de adyacencia Sea G= (V, A) un grafo, donde V= {1, 2, 3. . ., n}. La lista de adyacencia para un vrtice i es una lista, en algn orden, de todos los vrtices adyacentes a i. Se puede representar G por medio de un arreglo H, donde H[i] es un apuntador a la lista de adyacencia del vrtice i.

Distancia de un grafo La distancia d(u, v) entre dos vrtices u y v de un grafo es la longitud del camino ms corto de u a v . Si no existe ningn camino de u a v se pone d(u, v ) = . Dimetro de un grafo El dimetro de G es la mxima distancia entre dos vrtices de G y se denota diam(G). Un grafo G = (V, A) es conexo si para cualquier par de vrtices u, v V existe un camino en G que los une, es decir un camino con extremos u y v . Equivalentemente, G es conexo si diam(G) . Cintura de un grafo La cintura de un grafo es la longitud del ciclo ms corto que contiene y si el grafo es acclico, su cintura es cint_G =. Circunferencia de un grafo La circunferencia de un grafo es la longitud del ciclo ms largo que contiene y si el grafo es acclico, su circunferencia es circ_G =0.
Ejemplo:

d(a, h)=2

diam(G)=7

cint_G =3 circ_G =5.

Modelo matemtico para el diseo de un semforo para una interseccin complicada de calles.

Semforo en una interseccin Se desea asociar una seal del semforo a cada grupo de giros permisibles, para ello se deber encontrar cual el menor nmero posible de grupos de giros permisibles para tener un semforo con el menor nmero posible de fases. En esta interseccin es posible realizar 13 giros. Estos son: AB, AC, AD, BA, BC, BD, DA, DC, DB, EA, EB, EC, ED. Algunos de estos giros pueden ser simultneos, mientras que otros no pueden realizarse al mismo tiempo. Construyamos un grafo donde los vrtices sean este conjunto de giros permisible V={AB, AC, AD, BA, BC, BD, DA, DC, DB, EA, EB, EC, ED} y cuyos arcos enlacen a pares de vrtices que representan giros que no se permiten al mismo tiempo.

AB AB AC AD BA BC BD DA DB DC EA EB EC ED

AC

Matriz de adyacencia de giros incompatibles AD BA BC BD DA DC DB EA 1 1 1 1 1 1 1 1 1 1

EB 1 1 1 1 1

EC

ED

1 1 1

1 1 1 1 1 1 1 1

1 1 1

1 1 1

1 1

1 1

Recopilacin:

Msc. Amabiles Nez