Ngj/v2008

7.1 Teora de grafos

204
Matemticas Discretas
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.

Leonardo Euler estudi el asunto, represent las distintas zonas A, B, C y D
por medio de puntos, mientras que los puentes estaban representados por lneas
que unan estos puntos. A la figura la llam grafo, a los puntos los llam vrtices y a
las lneas las denomin aristas.
Estudi si una figura lineal se poda dibujar con un solo trazo, sin levantar el
lpiz del papel y sin pasar dos veces por el mismo sitio.





Ngj/v2008
7.1 Teora de grafos
205
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:

Estos no pueden hacerse en las condiciones exigidas:

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
7.1 Teora de grafos
206
Matemticas Discretas
Tc1003
Teora de Grafos
7.1 Teora de grafos
La Teora de Grafos juega un papel importante en la fundamentacin
matemtica de las Ciencias de la Computacin. Los grafos constituyen una
herramienta bsica para modelar fenmenos discretos y son fundamentales para la
comprensin de las estructuras de datos y el anlisis de algoritmos.
En matemticas y ciencias de la computacin, la teora de grafos estudia
las propiedades de los grafos, que son colecciones de objetos llamados vrtices (o
nodos) conectados por lneas llamadas aristas (o arcos) que pueden tener
orientacin (direccin asignada). Tpicamente, un grafo est diseado por una serie
de puntos (los vrtices) conectados por lneas (las aristas).

El trabajo de Leonhard Euler, en 1736, sobre el problema de los puentes de
Knigsberg es considerado como uno de los primeros resultados de la teora de
grafos. Tambin se considera uno de los primeros resultados topolgicos en
geometra (que no depende de ninguna medida). Este ejemplo ilustra la profunda
relacin entre la teora de grafos y la topologa.
En 1845 Gustav Kirchhoff public sus leyes de los circuitos para calcular el
voltaje y la corriente en los circuitos elctricos.
En 1852 Francis Guthrie plante el problema de los cuatro colores que
plantea si es posible, utilizando solamente cuatro colores, colorear cualquier mapa
de pases de tal forma que dos pases vecinos nunca tengan el mismo color. Este
problema, que no fue resuelto hasta un siglo despus por Kenneth Appel y
Wolfgang Haken, puede ser considerado como el nacimiento de la teora de grafos.
Al tratar de resolverlo, los matemticos definieron trminos y conceptos tericos
fundamentales de los 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
7.1 Teora de grafos
207
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


En algunos casos es necesario asignar un sentido a las aristas, por ejemplo,
si se quiere representar la red de las calles de una ciudad con sus inevitables
direcciones nicas. El conjunto de aristas ser ahora un subconjunto de todos los
posibles pares ordenados de vrtices, con (a, b) (b, a). Los grafos que contienen
aristas dirigidas se denominan grafos orientados, como el siguiente:
Las aristas no orientadas se consideran bidireccionales para efectos prcticos
(equivale a decir que existen dos aristas orientadas entre los nodos, cada una en un
sentido).
Se considera la caracterstica de "grado" (positivo o negativo) de un vrtice,
como la cantidad de aristas que llegan o salen de l; para el caso de grafos no
orientados, el grado de un vrtice es simplemente la cantidad de aristas que tocan
este vrtice. Por ejemplo, el grado positivo (salidas) de d es 3, mientras que el grado
negativo (llegadas) de b es 1.

Grafos isomorfos
Dos grafos tendrn la misma forma matemtica cuando la nica diferencia entre
ambos, en cuanto a su estructura, sea la representacin grfica de sus vrtices y
aristas. Cuando las conexiones entre vrtices tengan las mismas aristas, se dice que
son homorfos. [Hortal, 270]
Ejemplo:


Subgrafo
Un grafo G
1
es subgrafo de otro G si todos los vrtices de G
1
estn en G pero no
necesariamente todos los vrtices de G estn en G
1.
[Hortal, 268]






Ngj/v2008
7.1 Teora de grafos
208
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 K
n
, 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 V
1
con uno de V
2
.
No existen aristas uniendo dos elementos de V
1
; anlogamente para V
2
.
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
7.1 Teora de grafos
209
Matemticas Discretas
Tc1003
Teora de Grafos
Ejemplos:
f b g S
d c e S
f S
d e S
b a d S
a S
b c S
b S
*
7
1
5 *
1
2
3
8
7
6
5
4
3
2
1
=
+ =
=
=
+ =
=
+ =
=


Relacin se ejecuta primero
Ejemplo:



{ }
{ } f e d e b c f a d a e a b a c a E
f e d c b a V
=
=
, , , , , , ,
, , , , ,






Ejemplo:

{ }
( ) ( ) ( ) { } c b d a b a E
e d c b a V
, , , , ,
, , , ,
=
=



Grafo dirigido
V Conjunto de vrtices
E Conjunto de aristas
G Grafo
Donde ( ) E V G , =
Ejemplo 2: ( ) b a E , : la arista es incidente en los nodos a y b
Ejemplo 2: ( ) b a E , : 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
7.1 Teora de grafos
210
Matemticas Discretas
Tc1003
Teora de Grafos
Definicin: Sean x , y vrtices (no necesariamente diferentes) de un grafo dirigido
( ) E V G , = un camino x - y en G es una sucesin alternada finita

Camino







Camino cerrado: Cualquier camino x - y donde x = y ; esto es, inicia y termina en
el mismo nodo
a d e c b a
a d b a a a



Camino abierto: Cuando y x , inicia y termina en vrtices diferentes

1.
{ } { } { } { } { } { } b d d e e c c d d b b a , , , , , , , , , , ,

Camino: b a longitud = 6
se repiten vrtices b y d
b d e c d b a
Se repite arista: { } b d, (2)
b d e c d b a
2 5 4 3 2 1

2.
f c e d c b

Camino: f b longitud = 5
Se repiten vrtice c
Arista no se repite
3. { } { } { } { }: , , , , , , , a d d e e c c f
Camino: a f longitud = 4
No repite vrtice
No repite arista
* Como no es dirigido
Camino b a tambin camino a b
Camino f b tambin camino b f
Camino a f tambin camino f a
f e d a
f e c b a t a

:




Ngj/v2008
7.1 Teora de grafos
211
Matemticas Discretas
Tc1003
Teora de Grafos
4.
{ } { } { } c d d c c b , , , , ,

Camino: b b cerrado: x x b d c b

Camino: repite arista y x repite vrtices

Camino cerrado: repite a y v: x x

Recorrido: no repite arista: ( ) d b
c e d c b
a d e c f a f :

Recorrido cerrado: b-b: x-x
Circuito = recorrido cerrado (no repite aristas y llega al mismo vrtice)
Ejemplo: {a, b}, {b, c}, {c, e}, {e, d}, {d, a}
a d e c b a : camino a a
recorrido a- a
cerrado a a
longitud = 5

Camino simple: no repite vrtice: no se repite vrtice
a d e c f a f :
e a e c b a :

Camino simple cerrado: no repite vrtices y lleva al mismo lado. x x

Ciclo: camino simple cerrado

Vrtices
repetidos
Aristas
repetidas
y x abierto y x cerrado
Nombre
X X X - Camino
X X - X Camino cerrado
X - X - Recorrido
X - - X Circuito
- - X - Camino simple
- - - X Ciclo




Ngj/v2008
7.1 Teora de grafos
212
Matemticas Discretas
Tc1003
Teora de Grafos

Ciclos: a d b a
b d c b
c e d c


Camino simple:
f c b a
d b a
d c b a
f c d a

Circuito:
a d c b d a

Recorrido.
b d c b a

Camino cerrado:
a d c d b a

Camino:
e d b c d b a


Ejemplo.



no existe un camino
simple para llegar ha e










Ngj/v2008
7.1 Teora de grafos
213
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) Dibujar el grafo que modele esta situacin:


b) Enumerar los caminos simples de g a a

a e e d d c c b b g
a e e d d g a g


, , , ,
, , :


c) Cul es el menor nmero de segmentos que tendran que cerrarse para
interrumpir el paso de b a d?

: , ,
: .
d g g f f b
d b d c c b


Dos

d) Es posible salir de la ciudad c y regresar a ella, visitando una sola vez las
otras ciudades? NO

e) Cul es la respuesta del inciso anterior si no es necesario regresar a c? Si;
g f f b b a a e e d d c , , , , ,


f) Es posible comenzar en alguna ciudad y viajar por todas las autopistas
exactamente una vez? (se permite visitar una ciudad ms de una vez y no es
necesario regresar a la ciudad donde de parti). Si;
b a a e e d d c c b b d g g f f b b g , , , , , , , ,












Ngj/v2008
7.1 Teora de grafos
214
Matemticas Discretas
Tc1003
Teora de Grafos
Actividades de Teora de Grafos

1. Enumera tres situaciones, en que un grafo pueda ser til.

2. Para el grafo de la figura, determina
a) un camino de b a d que no sea un recorrido;
b) un recorrido b-d que no sea un camino simple;
c) Cuntos caminos simples existen de b a f?

3. Cuntos caminos simples diferentes existen entre los vrtices h y c en el grafo
dado en la figura?

4. Sea G = (V, E) el grafo no dirigido de la figura, cuntos caminos simples existen
en g de e a h? Cuntos de ellos son de longitud 5?

5. Para el grafo de la figura
a) Determina un camino para ir de Barcelona a Sevilla
b) Cuntos ciclos tiene?
c) Existe una recorrido en la que puedas visitar todas las ciudades?, si
existe, cul?








Madrid
Murcia
Valencia
Granada
Sevilla
Cdiz
Badajoz
Vigo
Corua
Gerona
Barcelona
Zaragoza
Bilbao
Oviedo
Valladolid
J an
2
5
1
1
5
0
4
0
3
2
4
1
3
4
9
1
9
1
9
9
1
2
5
356
304
3
9
5
4
5
5
1
7
1
2
8
0
1
9
3
3
2
4
3
2
5
296
1
0
0
3
3
5
2
7
8
2
4
2
256


Ngj/v2008
7.1 Teora de grafos
215
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


7. Cuntos caminos simples diferentes existen entre los vrtices a y c en el grafo
dado en la figura?


8. Dibuja, si existen, grafos con
a. 5 vrtices, 6 aristas y sin ciclos de longitud 3
b. 5 vrtices con grados 0, 5, 1, 3 y 2

9. Dibuja, si existen, grafos de cuatro vrtices con los siguientes grados:
c. 2, 2, 2, 3
d. 2, 2, 2, 4
e. 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


Ngj/v2008
7.1 Teora de grafos
216
Matemticas Discretas
Tc1003
Teora de Grafos

Actividades Teora de Grafos
Solucin

1. Enumera tres situaciones, en que un grafo pueda ser til.
Diagramas de ejecucin de programas
Representacin de rutas de transporte o recorridos
Grficas de relaciones

2. Para el grafo de la figura, determina
a) un camino de b a d que no sea un recorrido; b-c-a-b-e-d
b) un recorrido b-d que no sea un camino simple; b-c-d
c) Cuntos caminos simples existen de b a f? 3*2*3*2=36

3. Cuntos caminos simples diferentes existen entre los vrtices h y c en el grafo
dado en la figura?3*2*2*2*2=48

4. Sea G = (V, E) el grafo no dirigido de la figura, cuntos caminos simples existen
en g de e a h? 4*3*2*2=48Cuntos de ellos son de longitud 5?3



Ngj/v2008
7.1 Teora de grafos
217
Matemticas Discretas
Tc1003
Teora de Grafos
5. Para el grafo de la figura
a) Determina un camino para ir de Barcelona a Sevilla Barcelona-Valencia-
Murcia-Granada-Sevilla
b) Cuntos ciclos tiene?8
c) Existe una recorrido en la que puedas visitar todas las ciudades?, No
tiene si existe, cul?












6. Para el grafo de la figura, determina
a) Cuntos ciclos tiene?, cules? 4. a-b-c
b-c-d-e
a-b-e-d-c
e-f-g

b) Traza un camino simple de g a c g-e-d-c


7. Cuntos caminos simples diferentes existen entre los vrtices a y c en el grafo
dado en la figura?3*2*1*2*2*1*1=24




Madrid
Murcia
Valencia
Granada
Sevilla
Cdiz
Badajoz
Vigo
Corua
Gerona
Barcelona
Zaragoza
Bilbao
Oviedo
Valladolid
J an
2
5
1
1
5
0
4
0
3
2
4
1
3
4
9
1
9
1
9
9
1
2
5
356
304
3
9
5
4
5
5
1
7
1
2
8
0
1
9
3
3
2
4
3
2
5
296
1
0
0
3
3
5
2
7
8
2
4
2
256


Ngj/v2008
7.1 Teora de grafos
218
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