Documente Academic
Documente Profesional
Documente Cultură
Obsrvese que se puede obtener el grado de un vrtice v en un grafo sencillo sumando el rengln v o
columna v en la matriz de adyacencia. Ejemplo: el grado total del vrtice b es 3. Adems, aunque la matriz
de adyacencia permite representar bucles, no permite representar aristas paralelas; sin embargo, si
modificamos la definicin de una matriz de adyacencia para que sta pueda contener enteros no negativos
arbitrarios, podemos representar las aristas paralelas. En la matriz de adyacencia modificada,
interpretamos la entrada ij-sima especificando el nmero de aristas entre i y j.
Considerar el grafo de la Figura 2.9 para obtener la matriz de adyacencia. Siguiendo la metodologa del
ejemplo anterior, la matriz de adyacencia es la que se muestra como A.
Figura 2.9. Representacin de un grafo.
_______ a b c d e
A
a
b
c
d
e
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 1 0
Utilizando el ejemplo previo, se mostrar que si A es la matriz de adyacencia de un grafo sencillo G, las
potencias de A,
A, A
2
, A
3
,,
cuentan el nmero de caminos de diversas longitudes. Ms precisamente, si los vrtices de G se etiquetan
1, 2,, la entrada ij-sima en la matriz A
n
es igual al nmero de caminos de i a j de longitud n. Por
ejemplo, supn que se obtiene el cuadrado de la matriz A del ejemplo de la Figura 2.9.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
11
__________________________________________ a b c d e
A
2
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 1 0
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 1 0
a
b
c
d
e
2 0 2 0 1
0 3 1 2 1
2 1 3 0 1
0 2 0 2 1
1 1 1 1 2
Considerar la entrada del rengln a, columna c en A
2
, obtenida al multiplicar por pares las entradas del
rengln a por las entradas de la columna c de la matriz A y sumando:
a 0 1 0 1 0
( )
0
1
0
1
1
b
d
00+11+00+11+01 2
La nica forma en que un producto distinto de cero podra aparecer en esta suma es cuando ambas
entradas por multiplicar son iguales. En este ejemplo la suma es 2 pues existen dos caminos de longitud 2
de a a c.
(a, b, c) y (a, d, c)
En general, la entrada en el rengln x y la columna y de la matriz A
2
es el nmero de caminos de longitud 2
del vrtice x al vrtice y.
Las entradas de la diagonal de A
2
proporcionan los grados de los vrtices (cuando el grafo es sencillo).
Considerar el vrtice c en el ejemplo de la Figura 2.9. el grado de c es 3 pues c es incidente en las tres
aristas (c, b), (c, d), (c, e). Pero cada una de estas aristas se puede convertir en un camino de longitud 2 de
c a c.
(c, b, c), (c, d, c) y (c, e, c)
b d
c
Teorema: Si A es la matriz de adyacencia de un grafo
sencillo, la entrada ij-sima de A
n
es igual al nmero de
caminos de longitud n del vrtice i al vrtice j, n = 1, 2,
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
12
Matriz de incidencia
Otra manera de representar un grafo es mediante la matriz de incidencia. Para obtener la matriz de
incidencia, considera el grafo de la Figura 2.10. Primero se debe construir una matriz y etiquetar los
renglones con los vrtices y las columnas con las aristas en algn orden arbitrario. La entrada del rengln v
y la columna e es 1 si e es incidente en v y 0 en caso contrario.
Figura 2.10. Representacin de un grafo.
La matriz de incidencia del grafo de la Figura 2.10 es la que a continuacin se da:
___ e
1
e
2
e
3
e
4
e
5
e
6
e
7
v
1
v
2
v
3
v
4
v
5
1 1 1 0 0 0 0
0 0 1 1 1 0 1
0 0 0 0 0 1 0
1 1 0 1 0 0 0
0 0 0 0 1 1 0
La matriz de incidencia permite representar las aristas paralelas y los bucles. La columna como e
7
representa un bucle. Obsrvese que en un grafo sin bucles, cada columna tiene dos 1s y que la suma de
los elementos de un rengln proporciona el grado del vrtice identificado con ese rengln. Las aristas
paralelas en este ejemplo son e
1
y e
2
.
Ejemplos complementarios de la seccin
Problema: elabora un grafo que represente un mapa de carreteras y ciudades, considera 5 ciudades (A, B,
C, D, E), con las siguientes caractersticas: 1) hay dos rutas que unen las ciudades A y B, 2) no existe una
ruta entre A y D, 3) existe un camino que pasa por B, C y D, 4) la ciudad E est aislada.
Solucin: Una posible solucin al ejercicio, es la que se muestra en la Figura 2.11. Se usa un grafo no
dirigido puesto que el problema no plantea alguna direccin para alguna carretera. Las aristas representan
a las carreteras y los vrtices representan a las ciudades. Para cumplir con el requisito 1), se usan aristas
paralelas.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
13
Figura 2.11. Grafo representando un mapa de carreteras y ciudades.
Problema: La Figura 2.12.a) muestra una parte del plano de una ciudad, en el cual las flechas denotan
calles de direccin nica. Elabora un grafo que represente esta parte del plano. Este grafo puede ser til
para los servicios de emergencia pblicos, como los Bomberos y la Polica.
Solucin: Segn el plano, existen calles con direccin nica y otras que no, por lo tanto, el tipo de grafo
requerido es mixto. Para este caso, las aristas representarn a las calles y los vrtices representarn las
esquinas o intersecciones entre calles. El grafo obtenido es el que se muestra en la Figura 2.12. (b).
Figura 2.12. Representacin grfica del sistema de calles de una ciudad.
Actividad 2. Solucin de problemas mediante la representacin de grafos
Propsito
Construir un grafo mediante un planteamiento dado.
Instrucciones
Karla, Manuel, Juan, Mnica, Eliangel e Iliana, van a subir a un juego mecnico en forma circular, se sabe
que:
Karla conoce a Juan y a Mnica
Manuel conoce a Juan y a Eliangel
Iliana conoce a Eliangel y a Mnica
Es posible sentarlos de forma que personas que estn sentadas juntas se conozcan?
1. Construye un grafo dnde se represente la solucin del planteamiento.
2. Menciona el nmero de vrtices del grafo que construiste.
Enva tus resultados al Facilitador(a).
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
14
Actividad 3. Matriz de adyacencia
Propsito
Representar con una matriz de adyacencia un grafo.
Instrucciones
Representa utilizando una matriz de adyacencia el siguiente grafo:
Enva tus respuestas al Facilitador(a).
2.2. Caminos y circuitos
Si se piensan a los vrtices de un grafo como ciudades y las aristas como carreteras, un camino corresponde a un
viaje que comienza en cierta ciudad, pasa por varias ciudades y termina en alguna ciudad. A continuacin se dan
las definiciones formales de caminos y circuitos.
2.2.1. Terminologa bsica
Un ejemplo de camino sera: {(v
i1
, v
i2
), (v
i2
, v
i3
), , (v
ik-2
, v
ik-1
), (v
ik-1
, v
ik
)}
y se puede escribir de la siguiente forma: {(v
i1
, v
i2
, , v
ik-1
, v
ik
)}
Un camino de un dgrafo en el cual todas las aristas sean distintas se denomina camino sencillo.
Un camino en el que todos los vrtices sean diferentes se denomina camino elemental.
El nmero de aristas que aparecen en la sucesin de un camino se denomina longitud del camino.
Definicin: Sea G = (N, A, f) un dgrafo sencillo. Se dice que una
sucesin de aristas es un Camino de G si y slo si el vrtice terminal, v
t
,
de cada arista del camino es el vrtice inicial, v
i
, de la prxima arista del
camino.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
15
Figura 2.13. Grafo con distintos caminos.
En la Figura 2.13., se muestra un dgrafo con una diversidad de caminos. Algunos caminos que surgen en el vrtice
1 y finalizan en el vrtice 9 son:
Camino 1: {1, 9}
Camino 2: {1, 2, 3, 8, 1, 9}
Camino 3: {1, 2, 4, 6, 7, 8, 1, 9}
En un circuito el nodo inicial aparece al menos dos veces aun cuando se trate de un circuito elemental.
Algunos circuitos presentes en el grafo de la Figura 2.13. son:
Circuito 1: {1, 2, 3, 8, 1}
Circuito 2: {1, 2, 4, 5, 7, 8, 1}
Circuito 3: {1, 2, 3, 8, 1, 2, 3, 8, 1}
Un grafo sencillo que no tenga ningn ciclo/circuito se denomina acclico, naturalmente, los grafos acclicos no
pueden tener bucles; ver ejemplos en la Figura 2.14.
Definicin: Un camino que comienza y acaba en un mismo
vrtice se le denomina circuito o ciclo. Un circuito se
denomina sencillo si ninguna arista del circuito aparece
ms de una vez en el camino y se denomina elemental si
no pasa por ningn vrtice ms de una vez.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
16
Figura 2.14. Ejemplos de grafos acclicos.
La definicin de camino requiere que las aristas que aparezcan en la sucesin tengan un vrtice inicial y uno
terminal bien definidos. En el caso de un grafo sencillo no-dirigido, una arista est dada por una pareja no
ordenada, y cualquiera de los vrtices de esa pareja no ordenada se puede considerar como vrtice inicial o final
de la arista. Para aplicar la misma definicin de camino a un grafo no-dirigido, se puede considerar que todas las
aristas del grafo no-dirigido se sustituirn por dos aristas dirigidas de sentidos opuestos. Una vez hecho esto, se
tiene un grafo dirigido, y las definiciones de camino, circuito, etc., pueden ser aplicadas.
2.2.2. Camino de Euler
El Camino de Euler est definido como un camino a travs del grafo G que recorre todas las aristas del
grafo solamente una vez, pero que su vrtice de inicio y final son diferentes.
Para ejemplificar la anterior definicin, analizamos el grafo de la Figura 2.15, el cual tiene un camino de
Euler. El camino de Euler en dicho grafo es (4, 3, 5, 2, 3, 1, 2, 4, 5). Obsrvese que los vrtices 4 y 5 tienen
grado impar.
Figura 2.15. Grafo con camino de Euler.
Las condiciones para la existencia de un camino de Euler estn dadas en el siguiente teorema.
Teorema: Si G es un grafo y no tiene vrtices aislados, entonces, este tiene
un camino de Euler si y slo si las siguientes dos propiedades se cumplen:
1) El grafo G est conectado.
2) El grafo tiene exactamente dos vrtices de grado impar.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
17
Para comprobar dicho teorema, buscamos un camino de Euler en el grafo de la Figura 2.16. Este grafo est
completamente conectado, es decir, no tiene vrtices aislados, y tiene exactamente dos vrtices de grado
impar, vrtice 2 y 6. Por lo que se puede suponer que el grafo tiene un camino de Euler. El camino de
Euler en dicho grafo es (2, 5, 4, 1, 2, 3, 6, 5, 8, 4, 7, 8, 9, 6).
Figura 2.16. Grafo con camino de Euler.
2.2.3. Circuitos de Euler
El primer artculo en teora de grafos fue el escrito por Leonhard Euler en 1736. El artculo present una
teora general que inclua una solucin a lo que ahora se llama el problema de los puentes de Knigsberg.
El problema de los puentes de Knigsberg consiste en determinar un circuito a partir de un modelo grfico
representando a los puentes de Knigsberg, que incluya todas las aristas y todos los vrtices del grafo.
Por lo tanto, en honor a Euler, un circuito de una grafo que incluya todas las aristas y todos los vrtices de
G se le denomina Circuito de Euler.
De acuerdo a la seccin anterior, un circuito de Euler debe cumplir con el siguiente teorema.
Usamos el ejemplo de la Figura 2.17 para verificar si est tiene un circuito de Euler. Observando el grafo se
determina que es conexo, y como el grado de cada vrtice es par, basados en el teorema previo decimos
que el grafo tiene un circuito de Euler.
Los grados de cada uno de los vrtices son:
(v
1
) = (v
2
) = (v
3
) = (v
5
) = 4, (v
4
) = 6, (v
6
) = (v
7
) = 2.
Teorema: Si G es un grafo conexo y todo vrtice tiene grado par, entonces G tiene
un circuito de Euler.
O en su caso,
Teorema: Si un grafo G tiene un circuito de Euler, entonces G es conexo y todo
vrtice tiene grado par.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
18
Figura 2.17. Grafo conexo con circuito de Euler.
Por inspeccin se determina que el circuito Euler es el siguiente:
(v
6
, v
4
, v
7
, v
5
, v
1
, v
3
, v
4
, v
1
, v
2
, v
5
, v
4
, v
2
, v
3
, v
6
).
2.2.4. Circuito de Hamilton
Sir William Rowan Hamilton lanz al mercado a mediados del siglo XIX un juego en forma de dodecaedro
(ver Figura 2.18a). Cada esquina llevaba el nombre de una ciudad y el problema era partir de cualquier
ciudad, recorrer las aristas, visitar cada ciudad exactamente una vez, y regresar a la ciudad inicial. El grafo
de las aristas del dodecaedro se muestra en la Figura 2.18b. Entonces, podemos resolver el juego de
Hamilton si podemos determinar un circuito en el grafo de la Figura 2.18b que contenga a cada vrtice solo
una vez, excepto por el vrtice inicial y final que aparece dos veces.
Figura 2.18. (a) Juego de Hamilton, (b) Grafo del juego de Hamilton.
Por lo tanto, en honor de Hamilton, se dice que un circuito en un grafo G que contenga cada vrtice solo
una vez, excepto por el vrtice inicial y final que aparece dos veces, es un circuito Hamiltoniano.
Una solucin al grafo del juego de Hamilton se ilustra en la Figura 2.19.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
19
Figura 2.19. Solucin al juego de Hamilton.
El problema de determinar un circuito Hamiltoniano en un grafo parece similar al de determinar un circuito
de Euler. Un circuito de Euler visita cada arista una vez, mientras que un circuito Hamiltoniano visita cada
vrtice una vez; sin embargo, en realidad estos problemas son un poco distintos. Adems, a diferencia de
los circuitos de Euler, no se conocen condiciones necesarias y suficientes fcilmente verificables para la
existencia de un circuito Hamiltoniano en un grafo.
Los siguientes ejemplos muestran casos de grafos con un circuito Hamiltoniano y otro que no lo tiene. El
grafo de la Figura 2.20a tiene un circuito Hamiltoniano, el circuito (1, 2, 3, 4, 5, 1) es un circuito
Hamiltoniano. El grafo de la Figura 2.20b no tiene un circuito Hamiltoniano; para producir un circuito
Hamiltoniano en este grafo ser necesario eliminar dos aristas, una incidente en el vrtice v
2
y otra
incidente en el vrtice v
4
.
Figura 2.20. Grafo (a) con circuito Hamiltoniano, y (b) sin circuito Hamiltoniano.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
20
Actividad 4. Pozos
Propsito
Representar un grafo mediante un planeamiento.
Instrucciones
1. Resuelve lo que se te indica:
Se tiene tres casas y tres pozos. Intenta dibujar senderos que unan cada casa con
cada pozo de tal manera que no se crucen.
2.2.5. Isomorfismo
Definicin: Dos grafos G
1
y G
2
son Isomorfos si existe una funcin uno a uno y sobre, f, de
los vrtices de G
1
a los vrtices de G
2
y una funcin uno a uno y sobre, g, de las aristas de G
1
a las aristas de G
2
, de modo que una arista e es incidente en v y w en G
1
si y slo si la arista
g(e) es incidente en f(v) y f(w) en G
2
. El par de funciones f y g es un Isomorfismo de G
1
sobre G
2
.
Dicho de manera menos abstracta, dos grafos son Isomorfos si tienen una estructura idntica, aunque sean
representados grficamente de manera diferente; o , dos grafos son Isomorfos si existe un renombramiento
de los vrtices de los grafos tal que ambos sean idnticos.
En el ejemplo dado en la Figura 2.21, se muestran dos grafos isomorfos, ambos tienen una estructura
idntica aunque grficamente son representados de manera diferente, y aunque tengan nombres de
vrtices diferentes.
Figura 2.21. Grafos isomorfos.
Un isomorfismo para los grafos de la Figura 2.21 se define como
f(a) = A, f(b) = B, f(c) = C, f(d) = D, f(e) = E
g(x
i
) = y
i
, i = 1, , 5.
Matemticas discretas
Unidad 2. Grafos y rboles
Educacin Superior Abierta y a Distancia Ciencias Exactas, Ingenieras y Tecnologa
21
Para ejemplificar dicho teorema, daremos las matrices de adyacencia de los grafos mostrados en la Figura
2.21. La matriz de adyacencia del grafo de la Figura 2.21a con respecto del orden de los vrtices a, b, c,
d, e, es el siguiente:
Y se puede observar que es igual a la matriz de adyacencia del grafo de la Figura 2.21b con respecto del
orden de los vrtices A, B, C, D, E, que es el siguiente:
Por lo tanto, ambos grafos de la Figura 2.21 son isomorfos.
Lo siguiente es una forma de demostrar que dos grafos sencillos G
1
y G
2
no son isomorfos. Se determina
una propiedad de G
1
que G
2
no tenga, pero que G
2
tendra si G
1
y G
2
fuesen isomorfas. Tal propiedad
es un invariante. Ms precisamente, una propiedad P es un invariante, si siempre que G
1
y G
2
sean
grafos isomorfos.
Si G
1
tiene la propiedad P, entonces G
2
tambin tiene la propiedad P.
Segn la definicin previa de Isomorfismo, si dos grafos G
1
y G
2
son isomorfos, entonces existen funciones
uno a uno y sobre de las aristas de G
1
en las aristas de G
2
. As, si G
1
y G
2
son isomorfos, entonces G
1
y G
2
tienen el mismo nmero de aristas y el mismo nmero de vrtices. Por tanto, si e y n son enteros no
negativos, las propiedades tiene e aristas y tiene n vrtices son invariantes.
____ a b c d e
a
b
c
d
e
0 1 0 0 1
1 0 1 0 0
0 1 0 1 0
0 0 1 0 1
1 0 0 1 0
___ A B C D E
A
B
C
D
E
0 1 0 0 1
1 0 1 0 0
0 1 0 1 0
0 0 1 0 1
1 0 0 1 0