Sei sulla pagina 1di 14

FACULTAD DE INGENIERA

ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

UNIDAD 5: TEORIA DE GRAFOS


5.1 Introduccin a los Grafos
Son estructuras discretas que permiten modelar sistemas formados por
objetos conectados entre si a travs de lneas. Los objetos reciben el nombre de
Vrtices y las lneas reciben el nombre de Aristas.
Sus aplicaciones se observan en solucin de problemas asociados a:
- Vialidad y carreteras
- Lneas telefnicas
- Televisin por cable
- Transporte Areo
- Transporte Metro o Ferroviario
- Redes informticas
- Redes de telecomunicaciones
- Circuitos elctricos
- Automviles
- Diversos sistemas que interconectan sus elementos.
Ejemplo:
El siguiente grafo muestra como vrtices a diferentes ciudades y como aristas
las vas o carreteras que unen a dichas poblaciones.
Mene Mauroa

La Plata
Maracaibo

La Rita
Ciudad Ojeda

San Francisco
Cabimas

Ta Juana

La caada

5.2 Definicin Matemtica de Grafo


Un grafo G es un par ordenado formado por el conjunto de vrtices V y el
conjunto de pares de vrtices llamados aristas A.
Un grafo se denota por:
G = (V, A)
V = Conjunto de Vrtices y A = Conjunto de Aristas
Ejemplo:
a
Aristas
Vrtices
b

V = {a, b, c} y A = {(a, b), (b, c), (c, a)}

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

5.3 Elementos de Grafos. Vrtices, Aristas y Caminos


a. Vrtices
Son los puntos o nodos que conforman un Grafo.
Se define el Grado de un Vrtice como el nmero de aristas que convergen a un
vrtice. Se denota por: (V).
Los tipos de vrtices son:
Adyacente: Sean (a, b) un par de vrtices de un grafo, si hay una arista
que los une, se dice que a y b son vrtices adyacentes. Ejemplo: San
Francisco es adyacente a Maracaibo y viceversa.
a

Aislado: Es un vrtice de grado cero. (V) = 0.


b

Terminal: Es un vrtice de grado uno. (V) = 1.


b

b. Aristas
Son las lneas, ejes o arcos que unes a los vrtices de un grafo y con la
cual se construyen los llamados caminos.
Los tipos de aristas son:
Adyacentes: Son las que convergen al mismo vrtice.
a

Paralelas: Son aquellas que tienen los mismos vrtices inicial y final
a

Cclicas o Bucles: Son aquellas que parten de un vrtice y finalizan en el


mismo.
a

Cruce: Son aquellas que se cruzan en un punto sin hacer conexin.

c. Caminos

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

Sean a y b vrtices del conjunto V de un grafo G, existe un camino


en G si hay una sucesin de de aristas entre a y b, donde a y b son los
extremos del camino. Se define como la longitud del camino, al
nmero de aristas existentes entre los extremos. Si no se repiten los
vrtices se dice que el camino es simple. Un camino es cerrado, si los
extremos del camino son el mismo vrtice.
Ejemplo:
Camino simple de longitud 3: a, c, d, b
a

Camino cerrado de longitud 4: a, c, d, b, a

5.4 Clasificacin de los Grafos:


a. Dirigidos: Cada arista esta representada por un par ordenado
de vrtices, donde uno es el inicio y el otro es el fin.
G1 = (V1, A1)
V1 = {1, 2, 3} y A1 = {<1, 2>, <2, 1>, <2, 3>}
1

b. No dirigidos: Cada arista esta representada por un par no


ordenado de vrtices, donde no se diferencia el inicio y el fin.
G2 = (V2, A2)
V1 = {1, 2, 3, 4} y A2 = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}
1

5.5 Tipos de Grafos

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

a. Grafo Simple: Son grafos no dirigidos en los que existe solo una
arista entre cada par no ordenado de vrtices. Ejemplo: Dibujar un grafo
simple para modelar una red informtica bancaria.
Valencia
Maracaibo

Caracas

Barquisimeto

Coro
Mrida
San Cristbal

b. Multigrafo: Son grafos no dirigidos en los que existen una o


mas aristas entre cada par no ordenado de vrtices, es decir presenta
aristas paralelas o mltiples.

Valencia
Maracaibo

Caracas

Coro
Mrida
San Cristbal

c. Pseudografo: Es un Multigrafo que adems tiene aristas


cclicas.

Valencia
Maracaibo

Caracas

Barquisimeto

Coro

Mrida
San Cristbal

d. Grafo Simple Dirigido: Esta conformado


unidireccionales que son pares ordenados de vrtices.

por

aristas

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

Valencia
Maracaibo

Caracas

Barquisimeto

Coro

Mrida
San Cristbal

e. Multigrafo Dirigido: Esta conformado por aristas que son


pares ordenados de vrtices, pero que son paralelas o mltiples.

Caracas

Valencia

Maracaibo

Barquisimeto

Coro
Mrida
San Cristbal

Tabla resumen de los tipos de Grafos:


Tipo Grafo
Tipo Aristas
SIMPLE
No Dirigidas
MULTIGRAFO
No Dirigidas
PSEUDOGRAFO
No Dirigidas
SIMPLE DIRIGIDO
Dirigidas
MULTIGRAFO DIRIGIDO
Dirigidas

Aristas Mltiples
NO
SI
SI
NO
SI

Bucles o Ciclos
NO
NO
SI
SI
SI

Ejemplo:

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

Dibujar un modelo de grafos para representar las llamadas telefnicas hechas en


una red, utilizando cinco nmeros telefnicos y analizando cada uno de los
siguientes casos:
a-. Representar el nmero de llamadas entre cada nmero si los vrtices son de
grado 4. Que tipo de grafo se requiere?
b-. Representar las llamadas entrantes y salientes en cada nmero, si las que
entran son igual a las que salen. Que tipo de grafo se requiere?
a) Grafo Simple

b) Grafo Dirigido
3

4
5

4
5

Ejemplo: Dibujar un modelo de grafo para representar el siguiente programa


informtico secuencial:
S1
S2
S3
S4
S5
S6

a:= 0
b:= 1
c:= a + 1
d:= b + a
e:= d + 1
e:= c + d

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

S5

S6

S3

S1

S4

S2

5.6 Teoremas de los Grados de los Vrtices:


Grado de un vrtice: es el nmero de aristas incidentes con el,
exceptuando los bucles, cada uno de los cuales contribuye en 2
unidades al grado del vrtice. Se denota por (V) para los grafos no
dirigidos. En los grafos dirigidos, se tiene lo siguiente:
+(V) = Grados de Salida ( nmero de aristas en los que V es el vrtice inicial)
-(V) = Grados de Entrada (Nmero de aristas en los que V es el vrtice final)
+(V) + -(V) = (V)
Teoremas de la suma de los Grados:
- Grafo no dirigido: la suma de los grados de los vrtices es el doble
del nmero de aristas
(V) = 2. A
- Grafo dirigido: la suma de los grados de entrada es igual a la suma
de los grados de salida e igual a el nmero de aristas
+(V) = -(V) = A
Ejemplos:
Dados los grafos de la figura, aplicar los teoremas de la suma de grados.

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

Vrtice (V)
a
2
b
4
c
4
d
1
e
3
f
4

18
9 Aristas

Vrtice
a
b
c
d
e
f

+(V) -(V)
4
2
1
2
2
3
2
2
3
3
0
0
12
12
12 Aristas

5.7- Representacin Matricial de Grafos


Los grafos pueden ser representados a travs de matrices. Los dos tipos de
representacin son las llamadas Matriz de Adyacencia y Matriz de Incidencia.
La matriz de adyacencia se construye, etiquetando las filas y las columnas con
las etiquetas de los vrtices del grafo. Los elementos de la matriz se construyen
colocando el nmero de aristas que exista entre cada par de vrtices, incluso en
los casos de vrtices con aristas cclicas. Si los grafos son dirigidos, las filas se
toman como vrtices iniciales y las columnas como vrtices finales.
La matriz de incidencia se construye, etiquetando los vrtices y las aristas del
grafo. Luego las filas de la matriz se etiquetan con los vrtices y las columnas con
las etiquetas de las aristas. Los elementos de la matriz se construyen colocando
un 1 en los que exista una relacin vrtice-arista, en los que no haya relacin se
coloca un 0. La matriz de incidencia no se aplica a grafos dirigidos ya que no
permite identificar los vrtices iniciales y finales.
Ejemplo: Construir la Matriz de Adyacencia e incidencia para los grafos del punto
anterior.
Matriz de Adyacencia para el Grafo no dirigido:

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

a
b
c
d
e
f

a
0
1
0
0
0
1

b
1
0
1
0
1
1

c
0
1
0
1
1
1

d
0
0
1
0
0
0

e
0
1
1
0
0
1

f
1
1
1
0
1
0

Matriz de Adyacencia para el Grafo dirigido:


a b c d e f
a 1 1 1 0 1 0
b 0 0 0 1 0 0
c 0 1 1 0 0 0
d 0 0 1 0 1 0
e 1 0 0 1 1 0
f 0 0 0 0 0 0
Matriz de Incidencia para el Grafo no dirigido:
5.8- Introduccin a los rboles
Un rbol es un grafo simple no dirigido, conexo y sin ciclos. Se dice que es
conexo porque existe un nico camino entre cada dos vrtices.
Ejemplo:
a

Un rbol con raz es un rbol en el que se designa un vrtice como raz


(vrtice de referencia) y las dems aristas se orientan a partir de l.
Sin en el ejemplo anterior se selecciona como raz el vrtice c, el rbol
ordenado con raz ser el siguiente:
c

b
d

Modulo Instruccional Estructuras Discretas. Teora y Prctica

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

5.9- Terminologa de rboles


A continuacin se describen los trminos utilizados en la teora de rboles:
a. Raz: vrtice de referencia, nivel principal del rbol.
b. Padre: vrtice distinto a la raz y en direccin prxima a la raz.
c. Hijo: vrtice adyacente al padre en direccin lejana a la raz.
d. Hermanos: vrtices con un mismo padre.
e. Antecesores: vrtices en el camino desde la raz hasta el vrtice dado,
sin incluir a este ltimo.
f. Descendientes: son aquellos para los que el vrtice dado es un
antecesor.
g. Hoja: vrtices que no tienen hijos.
h. Vrtices Internos: vrtices que tienen hijos.
i. Subrbol: es el subgrafo del rbol que contiene a un vrtice dado, a sus
descendientes y a todas las aristas que inciden en sus descendientes.
En la siguiente figura, se muestran los elementos antes mencionados:
Raz

c
Antecesor de f

a
Hijo de c
Padre de f

Hoja
Subrbol con raz a
Vrtice Interno

Hermano de f

Descendiente de a

Un rbol m-ario es un rbol en el que todos los vrtices tienen a los sumo
m hijos. Cuando m es igual a dos, se tiene un rbol binario utilizado para el
anlisis de algoritmos.
La longitud del nico camino desde el vrtice raz hasta el vrtice dado, se
denomina nivel de un vrtice. El nivel de la raz es 0. El mximo de los niveles de
sus vrtices se denomina altura del rbol (h).

Modulo Instruccional Estructuras Discretas. Teora y Prctica 10

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

5.10- Recorridos de rboles


Es la secuencia utilizada para leer cada uno de los vrtices que conforman
a un rbol. En base a esto, los tipos de recorridos son:
a. Preorden: se lee primero la raz, luego los subrboles de izquierda a
derecha, desarrollando cada subrbol en preorden.
b. Inorden: se lee primero el subrbol de la izquierda, luego la raz y
despus los subrboles de la derecha.
c. Postorden: se lee primero el subrbol de la izquierda, luego los de la
derecha y finalmente la raz.
Grficamente los recorridos para cada caso se muestran en la siguiente
grafica. Los subrboles se recorren segn el recorrido que se este realizando, es
decir si el rbol principal de raz R se recorre en Preorden, cada uno de los
subrboles T1, T2, Tn, se recorren tambin en preorden y as sucesivamente
hasta llegar al subrbol de menor nivel.

T1

T2

Tn

Paso 3

Paso n

PREORDEN

Paso n+1

Paso 2

Paso 1

Paso 2

R (Raz)

R (Raz)

R (Raz)

T1
Paso 1

T2

Tn

Paso 3

Paso n

INORDEN

T1
Paso 1

T2

Tn

Paso 2

Paso n

POSTORDEN

5.11- Notaciones de rboles


Es la forma de representar las expresiones aritmticas, proposicinales,
formulas, algoritmos, a travs de rboles ordenados con raz.
Los vrtices internos representan las operaciones y las hojas representan
variables o nmeros.
Ejemplo:
Representar a travs de un rbol con raz la expresin:
((X+Y) 2) + ((X-4)/3)
El rbol ordenado con raz para la expresin anterior ser el siguiente:

Modulo Instruccional Estructuras Discretas. Teora y Prctica 11

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.
+

--

Las notaciones pueden ser de tres formas:


a. Infija: es cuando la expresin se escribe recorriendo el rbol Inorden.
Esta forma requiere de parntesis para evitar ambigedades.
Ejemplo:
((X+Y) 2) + ((X-4)/3)
b. Prefija: es cuando la expresin se escribe recorriendo el rbol en
Preorden. No hay ambigedad porque cada operacin tiene un nmero fijo de
operadores por tanto no requiere parntesis. Se evala de derecha a izquierda, a
cada operador le preceden sus dos operandos.
Ejemplo:
((X+Y) 2) + ((X-4)/3)
En forma Prefija seria:
++XY2/-X43
(X-4)
((X-4)/3)
(X+Y)
((X+Y)2
La raz + de primera.
c. Postfija: es cuando la expresin se escribe recorriendo el rbol en
postorden. No son ambiguas y no requieren parntesis. Se evala de izquierda a
derecha y cada operador sigue a sus dos operandos.
Ejemplo:
((X+Y) 2) + ((X-4)/3)
En forma Postfija seria:
XY+2X43/+
(X-4)
((X-4)/3)
(X+Y)
((X+Y)2
La raz + de ultima.

Modulo Instruccional Estructuras Discretas. Teora y Prctica 12

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

Ejemplo:
Evaluar las expresiones a) + - * 2 3 5 / 2 3 4 y b) 7 2 3 * - 4 9 3 / +
Solucin:
La expresin + - * 2 3 5 / 2 3 4 esta en forma prefija y su valor se encuentra as
2 3 es 2 elevado a la 3 que vale 8 por tanto la expresin queda
+-*235/84
/ 8 4 es 8 entre 4 que vale 2 por tanto la expresin queda
+-*2352
* 2 3 es 2 por 3 que vale 6 por tanto la expresin queda
+-652
- 6 5 es 6 menos 5 que vale 1 por tanto la expresin queda
+ 1 2 que es igual a 3.
En conclusin la expresin a vale 3.
Solucin:
La expresin 7 2 3 * - 4 9 3 / + esta en forma postfija y su valor se encuentra asi
2 3 * es 2 por 3 que vale 6 por tanto la expresin queda
76 -493/+
7 6 - es 7 menos 6 por tanto la expresin queda
1493/+
1 4 es 1 elevado a la 4 que vale 1 por tanto la expresin queda
193/+
9 3 / es 9 dividido entre 3 que vale 3 por tanto la expresin queda
1 3 + que es igual a 4.
En conclusin la expresin b vale 4.

Modulo Instruccional Estructuras Discretas. Teora y Prctica 13

FACULTAD DE INGENIERA
ESCUELA DE COMPUTACIN
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL, MSc.

5.12 Ejercicios propuestos de la Unidad 6:


1.- Construir un grafo dirigido que permita representar el siguiente programa secuencial:
S1: X:= 0
S5: X:= X - 2
S2: X:= X + 1
S6: Y:= X + Z
S3: Y:= 2 / X
S7: Z:= 4
S4: Z:= Y
S8: W:= Y + Z
2.- Un sistema de distribucin de petrleo esta formado por 5 estaciones de bombeo, un
patio de tanques, una refinera y una planta de gas. Las 5 estaciones envan crudo al
patio de tanques a travs de lneas de crudo y envan gas a la planta de gas. La estacin
1 enva parte de su petrleo a las estaciones 3 y 4. El patio de tanques enva el crudo
almacenado a la refinera. La planta compresora enva parte del gas a las estaciones 1 y
2, el resto es enviado a la refinera. Construir un modelo del sistema a travs de un grafo
dirigido e indicar el grado de cada una de las instalaciones.
3.- Representar el siguiente grafo dirigido y aplicar el teorema de sumas de grados para
un grafo dirigido.
G = (V, A), donde V = {a, b, c, d, e, f} y
A = {<a, b>, <b, a>, <b, c>, <b, c>, <c, d>, <d, d>, <e, d>, <e, a>, <f, e>, <f, f>, <f, a>}
4.- Representar el grafo construido en la pregunta 2, utilizando una Matriz de Adyacencia.
5.- Dada la matriz de adyacencia siguiente, construir un grafo G = (V, A), en donde V esta
definido por V = {o, p, q, r, s} y el conjunto A esta indicado en la matriz:
(Valor 4 Puntos)
0
1
2
1
2

2
2
1
0
1

3
2
1
0
0

0
1
0
2
0

2
3
1
2
3

6.- Construir un rbol con Raz que tenga las siguientes caractersticas:
a) La altura del rbol sea de 4 (vrtice de mayor nivel)
b) Tres Hojas en el nivel 4
c) Dos vrtices padres en el nivel 1
d) Cinco vrtices hijos en el nivel 3
e) Cinco vrtices en el nivel 2
f) Los nombres de los vrtices, etiquetados segn el nivel.
7.- Obtener el valor de las siguientes expresiones y construir el rbol respectivo:
Notacin Postfija: 5 2 1 3 1 4 + + *
Notacin Prefija: + 3 2 2 3 / 6 4 2
Notacin Prefija: + 3 2 2 3 / 6 4 2
8.- Representar a travs de un rbol con raz las siguientes operaciones:
Operacin de Conjuntos: (A B) (C U (D E))
Operacin Lgica:p q) r s)] (t w) x ]

Modulo Instruccional Estructuras Discretas. Teora y Prctica 14

Potrebbero piacerti anche