Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grafos
Grafos
Tc1003
Teora de Grafos
Teora de Grafos
OBJETIVOS
Unidad
Tema
Subtema
Objetivos
VIII Teora de Grafos
7.1 Definiciones
7.2 Trayectorias y circuitos de Euler
7.3 Trayectorias y circuitos de Hamilton
7.4 rboles
Definir, reconocer un grafo para establecer la solucin de un
problema.
Reconocer Camino, Camino cerrado, Recorrido, Circuito, Camino
simple y Ciclo.
Definir, distinguir un circuito de Euler y una trayectoria de Euler
Definir, distinguir un circuito de Euler y una trayectoria de
Hamilton
Definir y distinguir un rbol, rbol enraizado rboles de
expansin, notacin polaca.
Introduccin
LOS SIETE PUENTES DE LA ISLA KUEIPHOF
La isla Kueiphof en Koenigsberg (Pomerania) el ro que la rodea se divide en
dos brazos.
Sobre los brazos estaban construidos siete puentes y para los habitantes era
motivo de distraccin descubrir un itinerario de manera que pudieran regresar al
punto de partida, despus de haber cruzado por los siete puentes pero pasando slo
una vez por cada uno de ellos.
Ngj/v2008
204
Matemticas Discretas
Tc1003
Teora de Grafos
Lleg a la siguiente conclusin:
1. Es imposible si hay ms de dos vrtices impares.
2. Es posible cuando:
a) Todos los vrtices son pares y el punto de partida puede ser cualquiera.
b) Cuando no hay ms de dos vrtices impares y en este caso el comienzo del
recorrido comienza en uno de ellos y termina en el otro.
(Impar es un vrtice si de l parten un nmero impar de caminos).
A la isla A llegan 5 puentes; a la B llegan 3 puentes; a la orilla C llegan 3
puentes y a la orilla D llegan 3 puentes, por tanto, segn las conclusiones
anteriores, el problema no tiene solucin.
Ejemplos:
Estos dibujos pueden hacerse de un solo trazo:
Este estudio de Euler dio origen a la teora de los grafos, que se emplean en el
estudio de los circuitos elctricos, en problemas de transporte, programacin con
ordenador, etc.
Ngj/v2008
205
Matemticas Discretas
Tc1003
Teora de Grafos
Grafo
Un grafo es una pareja G = (V, A), donde V es un conjunto de puntos, llamados
vrtices, y A es un conjunto de pares de vrtices, llamadas aristas.
En teora de grafos, slo queda lo esencial del dibujo: la forma de las aristas
no son relevantes, slo importa a qu vrtices estn unidas. La posicin de los
vrtices tampoco importa, y se puede variar para obtener un grafo ms claro.
Ngj/v2008
206
Matemticas Discretas
Tc1003
Teora de Grafos
Generalmente, se considera que colocar los vrtices en forma de polgono
regular da grafos muy legibles.
Prcticamente cualquier red puede ser modelada con un grafo: una red de
carreteras que conecta ciudades, una red elctrica o un alcantarillado.
Aristas dirigidas y no dirigidas
Subgrafo
Un grafo G1 es subgrafo de otro G si todos los vrtices de G1 estn en G pero no
necesariamente todos los vrtices de G estn en G1. [Hortal, 268]
Ngj/v2008
207
Matemticas Discretas
Tc1003
Teora de Grafos
Caracterizacin de Grafos
Grafos Simples
Un grafo es simple si a lo ms slo 1 arista une dos vrtices cualesquiera.
Esto es equivalente a decir que una arista cualquiera es el nico que une dos
vrtices especficos.
Un grafo que no es simple se denomina complejo.
Grafos Conexos
Un grafo es conexo (ms formalmente fuertemente conexo) si todos sus
vrtices estn conectados por un camino; es decir, si para cualquier par de vrtices
(a, b), existe al menos un camino posible desde a hacia b.
Es posible determinar si un grafo es fuertemente conexo coleccionando la
informacin de los grados de sus vrtices al tiempo que se acumulan las diferentes
rutas que salen de un vrtice o llegan a l.
En trminos matemticos la propiedad de un grafo de ser fuertemente
conexo permite establecer en base a l una relacin de equivalencia para sus
vrtices, la cual lleva a una particin de stos en "componentes fuertemente
conexos", es decir, porciones del grafo, que son fuertemente conexas cuando se
consideran como grafos aislados. Esta propiedad es importante para muchas
demostraciones en teora de grafos.
Grafos Completos
Un grafo simple es completo si existen aristas uniendo todos los pares
posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e que
los une.
El conjunto de los grafos completos es denominado usualmente
, siendo
el grafo completo de n vrtices.
Un Kn, es decir, grafo completo de n vrtices tiene exactamente
aristas.
La representacin grfica de los Kn como los vrtices de un polgono regular
da cuenta de su peculiar estructura.
Grafos Bipartitos
Un grafo G es bipartito si puede expresarse como G = {V1 + V2, A} (es decir,
la unin de dos grupos de vrtices), bajo las siguientes condiciones:
V1 y V2 son distintos y tienen ms de un elemento cada uno.
Una arista en A une un vrtice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V1; anlogamente para V2.
Bajo estas condiciones, el grafo se considera bipartito, y puede describirse
informalmente como el grafo que une o relaciona dos conjuntos de elementos
diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe
unirse un elemento de la columna A con un elemento de la columna B.
Ngj/v2008
208
Matemticas Discretas
Tc1003
Teora de Grafos
Ejemplos:
S1
b=3
S2
c =b+2
S3
a =1
S4
d = a *b + 5
S5
e = d 1
S6
f =7
S7
e =c+d
S8
g = b* f
V = {a, b, c, d , e, f }
E = {a c, a b, a e, a d , a f , c b, e d , e f }
Ejemplo:
V = {a, b, c, d , e}
V
E
G
Conjunto de vrtices
Conjunto de aristas
Grafo
Grafo dirigido
Donde G = (V , E )
Ejemplo 2: E : (a, b ) la arista es incidente en los nodos a y b
Ejemplo 2: E : (a, b ) a es el vrtice origen y b es el vrtice terminal.
e vrtice aislado
Ejemplo 2: Grafo dirigido.
Ejemplo 1: Grafo no dirigido.
Grafo: Cuando no se especifica se entiende que es no dirigido
Ngj/v2008
209
Matemticas Discretas
Tc1003
Teora de Grafos
Definicin: Sean x , y vrtices (no necesariamente diferentes) de un grafo dirigido
G = (V , E ) un camino x - y en G es una sucesin alternada finita
Camino
at :
abce f
ad e f
aa
a bd a
a bc ed a
1.
Camino: a b longitud = 6
se repiten vrtices b y d
a
b
d
c
e
d
b
Se repite arista: {d , b} (2)
1
2
3
4
5
2
a
b
d
c
e
d
b
c
d
e
c
f
2. b
Camino: b f longitud = 5
Se repiten vrtice c
Arista no se repite
3. { f , c}, {c, e}, {e, d }, {d , a} :
Camino: f a longitud = 4
No repite vrtice
No repite arista
* Como no es dirigido
Camino a b tambin camino b a
Camino b f tambin camino f b
Camino f a tambin camino a f
Ngj/v2008
210
Matemticas Discretas
Tc1003
Teora de Grafos
4.
b b cerrado: x x
b
c
d
b
Camino:
repite arista x y
repite vrtices
a
b
c
e : a e
Ngj/v2008
Aristas
repetidas
X
X
-
x y
abierto
x y
X
X
X
-
cerrado
X
X
X
Nombre
Camino
Camino cerrado
Recorrido
Circuito
Camino simple
Ciclo
211
Matemticas Discretas
Tc1003
Teora de Grafos
Ciclos:
a
b
d
a
b
c
d
b
c
d
e
c
Camino simple:
a
b
c
f
a
b
d
a
b
c
d
a
d
c
f
Circuito:
a
d
b
c
d
a
Recorrido.
a
b
c
d
b
Camino cerrado:
a
b
d
c
d
a
Camino:
a
b
d
c
b
d
e
Ejemplo.
no existe un camino
simple para llegar ha e
Ngj/v2008
212
Matemticas Discretas
Tc1003
Teora de Grafos
Ejemplo:
Siete ciudades a, b, c, d, e, f y g estn conectadas por un sistema de autopistas como
sigue: (1) I-22 va de a a c, pasando por b; (2) I-33 va de c a d y contina hacia f; (3)
I-44 va de d por e hacia a; (4) I-55 va de f a b pasando por g; y (5) I-66 va de g a d.
a)
c)
g d , d e, e a
g b, b c, c d , d e, e a
Dos
d) Es posible salir de la ciudad c y regresar a ella, visitando una sola vez las
otras ciudades? NO
e)
f)
c d , d e, e a, a b, b f , f g
Ngj/v2008
213
Matemticas Discretas
Tc1003
Teora de Grafos
Zaragoza
395
356
28
0
45
5
3
19
Valladolid
296
Madrid
1
0
15
Jan
12
5
Cdiz
Ngj/v2008
2
24
256
99
Sevilla
Gerona
191
Valencia
241
Badajoz
25
3 35
3
40
0
10
Barcelona
5
32
34
9
Vigo
32
171
278
Murcia
Granada
214
Matemticas Discretas
Tc1003
Teora de Grafos
6. Para el grafo de la figura, determina
a.
Cuntos ciclos tiene?, cules?
b.
Traza un camino simple de g a c
Ngj/v2008
215
Matemticas Discretas
Tc1003
Teora de Grafos
Ngj/v2008
216
Matemticas Discretas
Tc1003
Teora de Grafos
5. Para el grafo de la figura
a) Determina un camino para ir de Barcelona a Sevilla Barcelona-ValenciaMurcia-Granada-Sevilla
b) Cuntos ciclos tiene?8
c) Existe una recorrido en la que puedas visitar todas las ciudades?, No
tiene si existe, cul?
Oviedo
Bilbao
4
Zaragoza
395
32
3
19
Valladolid
296
0
15
Jan
12
5
Cdiz
2
24
256
99
Sevilla
191
Valencia
241
3 35
Badajoz
25
Gerona
Barcelona
Madrid
3
40
0
10
34
9
Vigo
304
28
0
45
5
356
32
171
Corua
278
Murcia
Granada
Ngj/v2008
217
Matemticas Discretas
Tc1003
Teora de Grafos
8. Dibuja, si existen, grafos con
a. 5 vrtices, 6 aristas y sin ciclos de longitud 3 no existe
b. 5 vrtices con grados 0, 5, 1, 3 y 2 no existe
9. Dibuja, si existen, grafos de cuatro vrtices con los siguientes grados:
a. 2, 2, 2, 3
b. 2, 2, 2, 4
c. 2, 1, 2, 1
10. En el siguiente grafo, los nmeros en las aristas representan los kilmetros
entre un punto y otro. Encuentra el camino ms corto del punto v al punto w
v-15-b-4-g-6-h-3-w=28
v-4-a-10-f-14-w=28
v-6-c-13-g-6-h-3-w=28
Ngj/v2008
218