1Grafos II

Operaciones
 2

Abstract
 El documento busca exponer claramente cada una de las operaciones utilizadas entre grafos 3
basndonos en primera instancia de la definicin de grafo y su similitud con los conjuntos, y as
posteriormente llegar a puntualizar los mtodos de cada operacin y llegar a definir al final
algoritmos de dichas operaciones y otros anexos tambin.Tabla de Contenidos

Captulo 1 Operaciones Entre Grafos..............................................................................................1

Unin...........................................................................................................................................2
Interseccin..................................................................................................................................2
Suma Anillo.................................................................................................................................3
Generalidades y Propiedades.......................................................................................................4
Fusin de Vrtices.......................................................................................................................5
Adicin de Una Arista.................................................................................................................6
Captulo 2 Algoritmos en Grafos.....................................................................................................7
Bsqueda en profundidad............................................................................................................7
Ejemplo....................................................................................................................................8
Bsqueda en anchura...................................................................................................................9
Ejemplo..................................................................................................................................10
Lista de referencias........................................................................................................................12
 Captulo 1

Operaciones Entre Grafos

Un grafo G consiste de dos conjuntos finitos: un conjunto no vaco V(G) de

vrtices y un conjunto de aristas E(G), donde cada arista est asociada a un conjunto

compuesto por uno o dos vrtices llamados puntos extremos. La correspondencia de

aristas a puntos finales se llama la funcin de arista a punto extremo.1

Puesto que los grafos son definidos en trminos de los conjuntos de vrtices y

aristas como lo vimos en el prrafo anterior, llega a ser natural que las operaciones

definidas en la teora de conjuntos puedan ser aplicadas a la teora de grafos.

Para definir cada uno de las siguientes operaciones tendremos presente los

subgrafos presentados a continuacin. Sean G1 = (V1, A1, fG1) y G2 = (V2, A2, fG2)

dos subgrafos de un grafo G = (V, A, fG)

Figura 1. Subgrafos sin Operar.

1
Definicin de Grafo Tomada del Libro Matemticas Discretas con Aplicaciones de
Susanna S. p. 626
Unin

La unin de dos conjuntos A y B es otro conjunto A B cuyos elementos son todos

los elementos de A y/o de B; teniendo claro la definicin buscamos aplicarla a grafos

llegando al siguiente ejemplo. La unin de los subgrafos G, G1 y G2, es otro subgrafo G3

= (V3, A3, fG3) de G tal que V3 = V1 U V2, A3 = A1 U A2 y fG3 asigna a toda arista de

A3 un par de vrtices de V3.2

Figura 2. Ejemplo de Unin.

Interseccin

La interseccin de dos conjuntos A y B es otro conjunto A B cuyos elementos son

los elementos comunes a A y B; teniendo claro la definicin buscamos aplicarla a grafos

llegando al siguiente ejemplo. Sean V1 V2 0 la interseccin de los subgrafos G1 y

2
Definicin de Unin Tomada del Paper Operaciones Entre Grafos de Joseviloria p. 2
G2, G1 G2, es otro subgrafo G4 = (V4, A4, fG4) de G. tal que V4 = V1 V2, A4 = A1

A2 y fG4 asignan a toda arista de A4 un par de vrtices de V4.3

Figura 3. Ejemplo de Interseccin.

Suma Anillo

La diferencia simtrica de dos conjuntos A y B es otro conjunto A B cuyos

elementos son todos los elementos de A o B, a excepcin de los elementos comunes a

ambos; teniendo claro la definicin buscamos aplicarla a grafos llegando al siguiente

ejemplo. La suma anillo de los subgrafos G1 y G2, G1 o G2, es otro subgrafo G5 = (V5,

3
Definicin de Interseccin Tomada del Paper Operaciones Entre Grafos de Joseviloria p.
3
A5, fG5) de G, tal que V5 = V1 U V2, A5 = (A1 U A2) (A1 A2) = A1 A2 y

fG5 asigna a toda arista A5 un par de vrtices de V5.4

Figura 4. Ejemplo de Suma Anillo.

Generalidades y Propiedades

Teniendo en cuenta las tres operaciones antes mencionadas, debemos mencionar

ciertas generalidades y propiedades en cada una de ellas. Las tres operaciones son

conmutativas, lo que significa que:

G1 U G2 = G2 U G1, G1 G2 = G2 G1, G1 G2 = G2 G1

Para todo grafo G se tiene que:

4
Definicin de Suma de Anillo Tomada del Paper Operaciones Entre Grafos de
Joseviloria p. 4
 G U G = G G = G, G G = , Si G1 es un grafo de G, entonces G G1

= G A(G1)

Si G1 y G2 son arista-disjuntos, entonces G1 G2 = y G1 G2 = G1

U G2.

Si G1 y G2 son vrtice-disjuntos, entonces G1 G2 no est definido.

Figura 5. Ejemplo arista-disjuntos y vrtice-disjuntos.

Fusin de Vrtices

Un par de vrtices a y b de un grafo G se dicen que han sido fusionados, si los

vrtices son remplazados por un nuevo vrtice, tal que toda arista incidente en a o en b, o

en ambas es incidente en el nuevo vrtice.5

Para entender mejor el concepto de fusin presentamos el siguiente ejemplo

donde fusionamos los vrtices a y b del grafo original donde ms adelante vemos que 2 se

convierte en un aro y la arista 4 en una arista paralela a la arista 5, la fusin de los

vrtices no altera el nmero de aristas, pero si reduce el nmero de vrtices en una

unidad.

5
Definicin de Fusin de Vrtices Tomada del Paper Operaciones Entre Grafos de
Joseviloria p. 5
 Figura 6. Ejemplo de Fusin de Vrtices.

Adicin de Una Arista

Tambin podremos hacer la adicin de una arista donde claramente el grafo G

seria subgrafo del nuevo grafo G+a, para entenderlo mejor; Sea G = (V, A, f) un grafo y u

y v dos vrtices de G. El grafo G+a, donde f(a) = uv denota el grafo cuyo conjunto de

vrtices es V(G) y cuyo conjunto de aristas es A(G) U{a} esta operacin se llama adicin

de una arista a. Si en el grafo G los vrtices u y v son adyacentes, entonces la arista a en

G+a es paralela a la arista cuyos extremos son u y v en G.6

Figura 7. Ejemplo de Adicin de una Arista.

6
Definicin de Adicin de Aristas Tomada del Paper Operaciones Entre Grafos de
Joseviloria p. 6
 Captulo 2

Algoritmos en Grafos

Daremos a conocer dos importantes algoritmos de grafos para un grafo dado G.

Cualquier algoritmo de grafos en particular puede depender de la forma en que G se

mantiene en la memoria. Aqu se supone que G se mantiene en la memoria por medio de

su estructura de adyacencia.

Figura 8. Grafo G con su estructura de adyacencia

Muchas aplicaciones de grafos requieren el examen sistemtico de los vrtices y las aristas de un

grafo G. Hay dos formas normales para hacer lo anterior. Una forma se denomina Bsqueda en

profundidad y la otra, bsqueda en anchura.

Bsqueda en profundidad

La idea general detrs de una bsqueda en profundidad que empieza en un vrtice

inicial A es la siguiente: primero se procesa el vrtice inicial A. Luego se procesa cada

vrtice N a lo largo de un camino P que empieza en A; es decir, se procesa un vecino de

A, luego un vecino de A y as sucesivamente. Despus de llegar a un punto muerto; es

decir, a un vrtice sin vecino no procesado, se retrocede en el camino P hasta que es

posible continuar a lo largo de otro camino P. Y as en lo sucesivo. El retroceso se logra

usando una STACK para mantener los vrtices iniciales de posibles caminos futuros.

Tambin se requiere un campo STATUS que indique el estado actual de cualquier vrtice,

de modo que ningn vrtice sea procesado ms de una vez.7

El algoritmo de la bsqueda en profundidad (DFS) se muestra en la figura 8-31.

El algoritmo procesa slo aquellos vrtices que estn unidos al vrtice inicial A; es decir,

el componente conexo que incluye a A. Suponga que se desea procesar todos los vrtices

del grado G. Entonces es necesario modificar el algoritmo de modo que empiece de

nuevo con otro vrtice (que se denomina B) que an se encuentre en el estado ready

(STATE = 1). Este vrtice B se obtiene al recorrer la lista de vrtices.

7
Explicacin de Bsqueda en Profundidad Tomado del Libro Matemticas Discretas de
Lipschutz p. 174
 Figura 9. Algoritmo de Bsqueda en Profundidad

Ejemplo.

Suponga que el algoritmo de bsqueda en profundidad se aplica al grafo inicial.

Los vrtices se procesan en el siguiente orden:

A, D, L, K, C, J, M, B

En la siguiente figura se muestra a la secuencia de los vrtices que estn en

proceso y la secuencia de las listas de espera en STACK. (Observe que despus que se

procesa el vrtice A, sus vecinos B, C y D se aaden a STACK en el orden primero B,

luego C y por ltimo D; por tanto, D est en la parte superior de STACK y D es el

siguiente vrtice que ser procesado.) Cada vrtice, excluyendo a A, proviene de una lista

de adyacencia y entonces corresponde a una arista del grafo. Estas aristas constituyen un

rbol de expansin de G. Los nmeros indican el orden en que las aristas se agregan al

rbol de expansin, y las lneas discontinuas indican retroceso.8

8
Ejemplo de Bsqueda en Profundidad Tomado del Libro Matemticas Discretas de
Lipschutz p. 175
 Figura 10. Bsqueda en Profundidad

Bsqueda en anchura

La idea general detrs de una bsqueda en anchura que empieza en un vrtice

inicial A es la siguiente: primero se procesa el vrtice inicial A. Luego se procesan todos

los vecinos de A. Enseguida se procesan todos los vecinos de los vecinos de A. Lo natural

es seguir la pista de los vecinos de un vrtice, y es necesario garantizar que ningn

vrtice sea procesado dos veces. Esto se logra mediante el uso de una QUEUE para

mantener los vrtices que estn en espera de ser procesados, y por un campo STATUS

que indica el estado actual de un vrtice.9

El algoritmo de bsqueda en anchura (BFS) se muestra en la figura 8-33. De

nuevo, el algoritmo slo procesa los vrtices que estn unidos al vrtice inicial A; es

decir, el componente conexo incluyendo a A. Suponga que desea procesar todos los

vrtices en el grafo G. Entonces es necesario modificar el algoritmo de modo que

9
Explicacin de Bsqueda por Anchura Tomado del Libro Matemticas Discretas de
Lipschutz p. 175
empiece de nuevo con otro vrtice (que se denomina B) que an se encuentre en el estado

ready (STATUS = 1). Este vrtice B puede obtenerse recorriendo la lista de vrtices.

Figura 11. Algoritmo de Bsqueda en Anchura

Ejemplo.

Suponga que el algoritmo de bsqueda en anchura se aplica al grafo en la figura 8.

Los vrtices se procesan en el siguiente orden:

A, B, C, D, K, L, J, M

En la siguiente figura se muestra la secuencia de las listas de espera en QUEUE y

la secuencia de los vrtices que estn siendo procesados. (Observe que despus de

procesar el vrtice A, sus vecinos B, C y D se aaden a QUEUE en el orden primero B,

luego C y por ltimo D; por tanto, B est al frente de la QUEUE y as B es el siguiente

vrtice que ser procesado.) De nuevo, cada vrtice, excluyendo a A, proviene de una

lista de adyacencia y, por tanto, corresponde a una arista del grafo. Estas aristas forman

un rbol de expansin de G. Una vez ms, los nmeros indican el orden en que las aristas
se agregan al rbol de expansin. Observe que este rbol de expansin es diferente al

anterior que proviene de una bsqueda en profundidad.10

Figura 12. Bsqueda en Anchura

Lista de referencias

Epp, Susanna S. Matemticas Discretas Con Aplicaciones. 1st ed. Santa Fe (Mxico):
Cengage Learning, 2012.

Liu, C. L. Elementos De Matemticas Discretas (2A.Ed.). 1st ed. McGraw-Hill

Interamericana, 2011

Prez Aguila, Ricardo. Una Introduccin A Las Matemticas Discretas Y Teora De

Grafos. 1st ed. El Cid Editor, 2000. Print.

Lipschutz, S., Lipschutz, M. L., Lipson, M. L., Spiegel, M. R. S., Spiegel, L. J. M. R.,
Stephens, L. J., & Haderlie, S. (2007). Matemticas discretas (No. 510).
Argentina.

10
Ejemplo de Bsqueda por Anchura Tomado del Libro Matemticas Discretas de
Lipschutz p. 176
Scribd. (2014). Operaciones Entre Grafos. [online] Available at:
https://es.scribd.com/doc/209571060/Operaciones-Entre-Grafos [Accessed 1 Apr.
2017].