Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de Grafos PDF
Teoria de Grafos PDF
Tc1003
Teora de Grafos
Teora de Grafos
OBJETIVOS
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
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
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
7.1 Teora de grafos
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
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
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 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
7.1 Teora de grafos
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
7.1 Teora de grafos
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}
E = {(a, b ), (a, d ), (b, c )}
Grafo dirigido
V Conjunto de vrtices
E Conjunto de aristas
G Grafo
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
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
Camino
at : abce f
ad e f
Ngj/v2008 210
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
Ngj/v2008 211
7.1 Teora de grafos
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
7.1 Teora de grafos
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.
d) Es posible salir de la ciudad c y regresar a ella, visitando una sola vez las
otras ciudades? NO
Ngj/v2008 213
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
45
5
32
0
28
Zaragoza 0
395
296 10
32
5 Barcelona
19
Valladolid
3
9
34
Madrid
3 25
40 1
191 Valencia
3 35
Badajoz
241
15
Jan
0
2
24
99
Sevilla Murcia
256 278
5
12
Cdiz Granada
Ngj/v2008 214
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
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 215
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
Ngj/v2008 216
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
171
45
5
32
0
28
Vigo 356 Gerona
4
Zaragoza 0
395
296 10
32
5 Barcelona
19
Valladolid
9
34
Madrid
3 25
40 1
191 Valencia
3 35
Badajoz
241
15
Jan
0
2
24
99
Sevilla Murcia
256 278
5
12
Cdiz Granada
Ngj/v2008 217
7.1 Teora de grafos
Matemticas Discretas
Tc1003
Teora de Grafos
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
7.1 Teora de grafos