GRAFOS DIRIGIDOS ALGORITMO DE CONDENSACIN TALLER

PRESENTADO POR:

PAOLA RAMOS MEZA JOS JAVIER VERTEL TENORIO ESNEIDER ARLEY RESTREPO ESTRADA SAID AUGUSTO HERRERA BERROCAL

PRESENTADO A: ING. MARIO MACEA ANAYA

UNIVERSIDAD DE CRDOBA FACULTAD DE INGENIERAS DEPARTAMENTO DE INGENIERA DE SISTEMAS Y TELECOMUNICACIONES PROGRAMA DE INGENIERA DE SISTEMAS TEORA DE GRAFOS 9 DE ABRIL DE 2014

GRAFOS DIRIGIDOS ALGORITMO DE CONDENSACIN

TPICOS RELACIONADOS

DIGRAFOS Llamaremos dgrafo (o grafo dirigido) a una terna D= (V, A, FD), donde V y A son conjuntos finitos y FD es una aplicacin que asocia a cada elemento de A un elemento VxV, es decir un par ordenado de elementos de V. Los elementos de V se llamaran vrtices de D, los elementos de A sern los arcos de D y FD ser la aplicacin o funcin de incidencia dirigida en D, que asocia a cada arco sus extremos. Sea que ( ) ( y es su vrtice final. ) entonces se dice que es el vrtice inicial de y

Se dir que un arco parte de, o incide positivamente en, su vrtice inicial. Recprocamente, cada arco llega a, o incide negativamente en, su vrtice final. Entonces resulta sencillo definir el grado negativo de un vrtice como el nmero ( ) de arcos que llegan a . Anlogamente, el grado positivo de ser el numero ( ) de arcos que parten de . El grado total (o grado sin signo) del ( ) vrtice ser el numero ( ) ( ), que coincide con la definicin o el concepto de grado de vrtice anteriormente estudiado.

DIGRAFOS CONEXOS

Dado un dgrafo D, el grafo subyacente de D, denotado GD, es el grafo que se obtiene de D al omitir el sentido de los arcos. Un dgrafo D es conexo (o dbilmente conexo) si el correspondiente grafo subyacente GD es conexo. Un dgrafo D es fuertemente conexo, si entre todo par de vrtices existe al menos un camino C - ( ). Dos vrtices existiesen C - ( de V (D)

de un dgrafo D se dice que estn fuertemente conectados si )yC-( ).

Un subdigrafo de un dgrafo D inducido por los vrtices de D que estn fuertemente conectados, se llaman un fragmento de D. La condensacin de un dgrafo D es una operacin que consiste en reemplazar cada fragmento de D por un solo vrtice y los arcos entre dos fragmentos por un solo arco. Denotamos la condensacin de un dgrafo D por D*. SUCESORES Y PREDECESORES DE UN VRTICE Se dice que un vrtice es sucesor de un vrtice si existe un arco entre y tal que es el vrtice origen y es el vrtice destino o final. En este mismo caso se dice que es un predecesor de . ASCENDENTES Y DESCENDENTES DE UN VRTICE Los vrtices descendentes de un vrtice son todos los vrtices a los que se llega desde el vrtice : los hijos, los hijos de los hijos, etc. Los vrtices ascendientes de un vrtice son todos los vrtices de los que un vrtice es descendiente: el padre, el padre del padre, etc. El conjunto de los descendentes de lo denotamos por ( ). El conjunto de ascendentes de lo denotamos por ( ). ALGORITMO DE CONDENSACIN Representamos a continuacin un algoritmo que permite determinar la condensacin de un dgrafo. Para hallar la condensacin de un dgrafo necesitamos encontrar: El conjunto de vrtices descendentes de cada vrtice del dgrafo. El conjunto de vrtices ascendentes de cada vrtice del dgrafo. Los fragmentos que contiene el dgrafo.

Paso 1: Hallamos el conjunto de vrtices descendentes de cada vrtice del dgrafo. En este paso tomamos un vrtice cualquiera y seleccionamos los vrtices a los cuales podemos llegar partiendo desde nuestro vrtice inicial. Esos vrtices sern los elementos del conjunto de los descendentes de y lo denotamos por ( ). Este paso debe ser empleado en los dems vrtices. Paso 2: Hallamos el conjunto de vrtices ascendentes de cada vrtice del dgrafo. En este paso tomamos un vrtice cualquiera y seleccionamos los vrtices de los que nuestro vrtice es descendiente. Esos vrtices sern los elementos del conjunto de los ascendentes de y lo denotamos por ( ). Este paso debe ser empleado en los dems vrtices.

Paso 3: Para los conjuntos de ascendentes y descendentes hallados en los pasos 1 y 2 para cada vrtice, la interseccin de los conjuntos ascendentes y ( ) establece el descendentes para el vrtice denotado como ( ) subconjunto de vrtices que posiblemente pertenecen a un fragmento. Para determinar que sea un fragmento sabemos que un fragmento de D es un subdigrafo de un dgrafo D inducido por los vrtices de D que estn fuertemente conectados. Recordemos que dos vrtices de un dgrafo D se dice que estn fuertemente conectados si existiesen los caminos C - ( ) y C - ( ) (simetra). Paso 4: Reemplazar cada fragmento hallado en el paso 3 de D por un solo vrtice y los arcos entre dos fragmentos por un solo arco. Denotamos la condensacin de un dgrafo D por D*. Ejercicio propuesto: Dado el siguiente grafo dirigido

a. Determinar si el dgrafo es dbilmente conexo o fuertemente conexo. b. Aplicar el algoritmo de condensacin para este dgrafo en la determinacin de conjuntos ascendentes, descendentes y fragmentos del dgrafo.

Solucin: a. El dgrafo propuesto no es fuertemente conexo ya que entre el par de vrtices de V (D) no existe un camino C - ( ). Para determinar que nuestro dgrafo D es dbilmente conexo, omitiremos el sentido de los arcos y crearemos el grafo subyacente de D, denotado GD.

Grafo subyacente GD Observamos que el grafo subyacente GD es conexo, por lo tanto el dgrafo D es dbilmente conexo. No es fuertemente conexo ya que entre todo par de vrtices de V (D) no existe al menos un camino C - ( ). b. Paso 1: Hallamos el conjunto de vrtices descendentes de cada vrtice del dgrafo. En este paso tomamos un vrtice cualquiera y seleccionamos los vrtices a los cuales podemos llegar partiendo desde nuestro vrtice inicial. Esos vrtices sern los elementos del conjunto de los descendentes de y lo denotamos por ( ). Este paso debe ser empleado en los dems vrtices. ( ) ( ) * * + +

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ( ) ) )

* * * * * * * * * * + + + + +

+ + + + +

Paso 2: Hallamos el conjunto de vrtices ascendentes de cada vrtice del dgrafo. En este paso tomamos un vrtice cualquiera y seleccionamos los vrtices de los que nuestro vrtice es descendiente. Esos vrtices sern los elementos del conjunto de los ascendentes de y lo denotamos por ( ). Este paso debe ser empleado en los dems vrtices. ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) * * * * * * * * * * + + + + + + + + + +

( (

) )

* * +

Paso 3: Para los conjuntos de ascendentes y descendentes hallados en los pasos 1 y 2 para cada vrtice, la interseccin de los conjuntos ascendentes y ( ) establece descendentes para el vrtice denotado como ( ) el subconjunto de vrtices que posiblemente pertenecen a un fragmento. Para determinar que sea un fragmento sabemos que un fragmento de D es un subdigrafo de un dgrafo D inducido por los vrtices de D que estn fuertemente conectados. Recordemos que dos vrtices de un dgrafo D se dice que estn fuertemente conectados si existiesen los caminos C ( )yC-( ) (simetra).

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ( ) ) )

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ( ) ) )

* * + * * * * * * * * * * + + + + +

+ + + + +

c. Paso 4: Reemplazar cada fragmento hallado en el paso 3 de D por un solo vrtice y los arcos entre dos fragmentos por un solo arco. Denotamos la condensacin de un dgrafo D por D*.