Академический Документы
Профессиональный Документы
Культура Документы
Licenciatura en Matemticas
2 Semestre
Programa de la asignatura:
Matemticas discretas
Unidad 2:
Teora de grficas y relaciones
Clave:
05141209/06141209
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Contenido
Introduccin.................................................................................................................... 3
Ejemplos de grficas ................................................................................................... 3
Un poco de historia ........................................................................................................ 4
Aplicaciones en la actualidad ......................................................................................... 5
Esquema de contenidos nucleares................................................................................. 7
Desarrollo de contenido nuclear ..................................................................................... 8
Grficas.......................................................................................................................... 9
Aprende observando .................................................................................................... 10
Aprende leyendo .......................................................................................................... 11
Caminos ....................................................................................................................... 11
Aprende observando .................................................................................................... 13
Aprende leyendo .......................................................................................................... 14
rboles ......................................................................................................................... 15
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Introduccin
La teora de grficas es la rama de las matemticas que estudia las propiedades de los
objetos matemticos llamados grficas, los cuales estn formados por un conjunto finito
de elementos llamados vrtices (o nodos) y una relacin de adyacencia entre ellos.
Tpicamente, las grficas se representan mediante una coleccin de puntos (los vrtices)
conectados por lneas llamadas aristas (o arcos) de acuerdo con la relacin de
adyacencia. As, dos vrtices estn conectados por una arista si y slo si son adyacentes.
En ocasiones es til asignar una orientacin a las aristas para obtener una grfica dirigida;
cuando las aristas estn orientadas son llamadas flechas, y las grficas dirigidas se
denominan digrficas.
Ejemplos de grficas
Ejemplos de digrficas
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Un poco de historia
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 grficas. Tambin se
considera uno de los primeros resultados topolgicos (donde, a diferencia de la
geometra, se estudian las propiedades que no dependen de ninguna medida). Este
ejemplo ilustra la profunda relacin entre la teora de grficas 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:
Determinar 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 permaneci abierto mucho tiempo, hasta que en los aos setenta fue
resuelto por Kenneth Appel y Wolfgang Haken. Al tratar de resolverlo, los matemticos
definieron trminos y conceptos tericos fundamentales de las grficas.
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Francis Guthrie
Kenneth Appel
Wolfgang Haken
Aplicaciones en la actualidad
Entre las aplicaciones de la teora de grficas que se han vuelto importantes en la
actualidad se encuentra el estudio de las redes sociales, cuya importancia radica en el
adecuado almacenamiento de datos, puesto que el costo del tiempo de bsqueda de la
informacin de cada miembro que pertenece a esta red puede tornarse demasiado alto
debido al nmero de usuarios. Por ejemplo, el nmero de usuarios que hay actualmente
en una importante red social tan slo en Mxico es de 49 millones -cifra reportada por el
peridico El economista en 2014-; si multiplicas este nmero por 194, que es el nmero
aproximado de pases que hay en el mundo, se percibe la posibilidad de un grave
problema de almacenamiento para los servidores que hay destinados para ello, as como
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
para la bsqueda de informacin. Este mismo fenmeno pasa en otras redes de
fotografas, mensajes, etc.
El modelado de este tipo de problemas ha sido abordado principalmente por estudiantes
de doctorado de universidades como Stanford, Massachusetts Institute of Technology
(MIT), Berkeley, Oxford, Rice, y tambin por la NASA; en Mxico, tanto el Instituto
Politcnico Nacional (IPN) como la Universidad Nacional Autnoma de Mxico (UNAM)
son los principales promotores en estas reas a travs de los grupos acadmicos de
combinatoria y de computacin cientfica. Debido a su alto grado de complejidad se puede
considerar que este tipo de problemas son tratados por expertos en matemticas y
ciencias de la computacin.
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
matemtico para manipular un robot se basa en conceptos de teora de grficas, lgebra
lineal, estadstica y geometra, entre otras reas como la electrnica.
En el rea didctica y ldica, la teora de grficas permite modelar y resolver juegos. Tal
es el caso de las Torres de Hanoi, el Comesolo, el Domin, el juego Nim, entre otros.
Tambin se han modelado laberintos, y en los ltimos aos se ha creado una relacin
estrecha entre la teora de grficas y la papiroflexia.
Relaciones
Modelacin
rboles
Toria de
grficas y
relaciones
Conexidad
Matrices
Recorridos
Grficas y
Digrficas
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Desarrollo de contenido nuclear
En esta unidad estudiars los principios bsicos de la teora de grficas para familiarizarte
con los conceptos que servirn para modelar estructuras y fenmenos mediante los
objetos matemticos llamados grficas y sus propiedades. Te vas a enfocar en:
Construir grficas que esquematicen situaciones reales
Demostrar teoremas, corolarios, lemas, propiedades, etc., propios de la teora de
grficas
Resolver problemas numricamente
Para lo anterior, utilizars los conceptos de grficas, digrficas, rboles y relaciones.
Como ejemplo, considera un modelo del mapa del estado de Sinaloa. Se etiquetan los
municipios y se le asigna un vrtice a cada uno, se coloca una arista entre dos vrtices si
el municipio correspondiente al primero tiene frontera comn con el municipio
correspondiente al segundo.
Grfica resultante
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Grficas
Muchas situaciones de la vida real pueden ser esquematizadas por medio de diagramas
construidos por puntos (vrtices o nodos) y lneas (aristas o arcos) que conectan algunos
pares de vrtices, aunque eventualmente alguna lnea puede unir un vrtice consigo
mismo.
Estos esquemas, que facilitan la comprensin del problema a resolver, aparecen
frecuentemente en disciplinas dispares y bajo nombres diversos, tales como: redes (en
ingeniera y economa), sociogramas (en psicologa), organigramas (en economa y
planificacin), etc.
A la teora que se ocupa del estudio de estos diagramas o
esquemas se le conoce como teora de grficas.
La teora de grficas desempea un papel importante en varios
campos de la ciencia, entre ellos, las ciencias de la computacin,
donde se tiene aplicacin en la teora de la computacin y diseo
lgico, la inteligencia artificial, los lenguajes formales, los grficos
por computadora, los sistemas operativos, la escritura de
compiladores y la encriptacin, as como en la recuperacin de
informacin.
Como ya se mencion anteriormente, las grficas estn formadas por vrtices que estn
unidos entre s mediante aristas. Por lo tanto, una definicin matemtica de grfica debe
basarse en el conjunto de vrtices y en el conjunto de aristas. Toda arista est asociada
con dos vrtices, esto es, existe una correspondencia entre las aristas y los pares de
vrtices. A continuacin se da la definicin formal de grfica.
Una grfica est formada por un conjunto finito no vaco cuyos elementos son
llamados vrtices, junto con un conjunto
de parejas no ordenadas de vrtices
distintos cuyos elementos son llamados aristas. A la cardinalidad de se le llama el orden
de la grfica, y a la cardinalidad de se le llama el tamao de la grfica. Ejemplo:
El conjunto de vrtices de es
+
( ) *
El conjunto de aristas de es
( ) * +
El orden de es | ( )|
El tamao de es | ( )|
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Observa que el conjunto de las aristas de una grfica establece una relacin sobre los
elementos de . A esta relacin se le llama adyacencia, y ms adelante vers que tiene la
propiedad de ser simtrica y no reflexiva. Dados dos vrtices de una grfica se dice que
stos son adyacentes si la arista que los une tambin pertenece a la grfica; de lo
contrario se dice que los vrtices estn separados. Formalmente, la relacin se define:
Dada una grfica , para cualesquiera
( ).
( ), se dice que
son adyacentes si
es 3, es decir, ( )
Aprende observando
En estos videos se muestran los conceptos bsicos de la teora
de grficas.
Jordan, L. C. (2011). (Archivo de video)
10
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Aprende leyendo
A continuacin se te recomienda leer los siguientes documentos:
http://www.unsa.edu.ar/~hibbard/discreta/grafos.pdf
http://www2.uca.es/matematicas/Docencia/ESI/1711003/Apuntes/Leccion14
.pdf
http://www.usergioarboleda.edu.co/matematicas/memorias/memorias14/28.
Teor%C3%ADa%20de%20Grafos.pdf
Caminos
Si se piensa a los vrtices de una grfica como ciudades, y a las aristas como carreteras,
un camino corresponde a un viaje que comienza en cierta ciudad, pasa por varias
ciudades y termina en alguna ciudad.
11
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
El nmero de aristas que aparecen en la sucesin de un camino se denomina longitud del
camino. En este caso, la longitud de
es , puesto que se recorren aristas para llegar
hasta desde .
Los caminos se pueden clasificar segn sus caractersticas de la siguiente forma:
Un camino
que no repite aristas se denomina paseo (camino sencillo)
Un camino
que no repite vrtices se llama trayectoria (camino elemental)
Un camino cerrado
en el que todos los vrtices son diferentes excepto el vrtice
inicial se llama un ciclo
Paseo
Trayectoria
Ciclo
( ), entonces existe un
Teorema. Sea una grfica y sean
en si y slo si existe una -trayectoria en .
-camino
12
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Grfica conexa
Grfica no conexa
( )
Aprende observando
En estos videos se muestran los conceptos bsicos de la teora
de grficas.
Jordan, L. C. (2011). (Archivo de video)
13
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Aprende leyendo
A continuacin se te recomienda leer los siguientes documentos:
http://www.unsa.edu.ar/~hibbard/discreta/grafos.pdf
http://www2.uca.es/matematicas/Docencia/ESI/1711003/Apuntes/Leccion
14.pdf
http://www.usergioarboleda.edu.co/matematicas/memorias/memorias14/2
8.Teor%C3%ADa%20de%20Grafos.pdf
http://www.maths.lse.ac.uk/Personal/jozef/LTCC/Graph_Theory_Bondy_M
urty.pdf
http://www.esi2.us.es/~mbilbao/pdffiles/DiestelGT.pdf
http://www.hamilton.ie/ollie/Downloads/Graph.pdf
14
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
rboles
Existe un tipo importante de grficas que, gracias a su simplicidad, tienen muchas
aplicaciones en la prctica y dentro de la teora de grficas misma-, las cuales reciben el
nombre de rboles.
Un rbol es una grfica conexa que no contiene ciclos.
Ejemplos de rboles
tiene tamao
Observa que los rboles mostrados arriba cumplen con las tres propiedades
mencionadas.
Dados dos vrtices
denotar como
.
Los rboles se utilizan en muchos campos de aplicacin. Por ejemplo, en las ciencias de
la computacin se usan para desglosar problemas complejos y representarlos mediante
una estructura ramificada.
15
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
http://www.aharef.info/static/htmlgraph/
En algunos casos resulta conveniente considerar a uno de los vrtices del rbol como
especial. A tal vrtice se le llama la raz del rbol. Un rbol con una raz fija se denomina
rbol con raz.
A los rboles sin raz tambin se les suele llamar rboles libres.
16
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Aprende observando
En estos videos se muestran los conceptos bsicos de rboles en la
teora de grficas.
Jordan, L. C. (2011). (Archivo de video)
Aprende leyendo
A continuacin se te recomienda leer los siguientes documentos:
http://www.iust.ac.ir/files/cefsse/pg.cef/Contents/smgmm.ch1.pdf
http://www2.dc.uba.ar/personal/fbonomo/grafos/curso_grafos_handout150909.pdf
http://www.maths.lse.ac.uk/Personal/jozef/LTCC/Graph_Theory_Bondy_Murty.
pdf
http://www.esi2.us.es/~mbilbao/pdffiles/DiestelGT.pdf
http://www.aharef.info/static/htmlgraph/
17
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Relaciones
Estars interesado en estudiar el concepto de relacin entre los elementos de un conjunto
y sus propiedades, para lo cual debes conocer lo que es una relacin reflexiva, simtrica,
transitiva y antisimtrica, as como su representacin matricial y su grfica. Adems,
aprenders el uso en conceptos como las cerraduras transitivas y sus aplicaciones en
algoritmos como el algoritmo de Warshall y los diagramas de Hasse.
Dados dos conjuntos y , se denomina una relacin de a a cualquier subconjunto
+ se le llama el dominio de , y
)
de
. Al conjunto *
|(
*
+
(
)
al conjunto
|
se le llama el rango de .
Dada una relacin
relacionado con si (
Cuando
, es decir, cuando
, se dice que
est
, se dice que
Propiedad
Descripcin
Reflexiva
Simtrica
Si (
Si (
)(
, entonces (
Si (
)(
, entonces
Transitiva
Antisimtrica
para todo
, entonces (
para cualesquiera
)
para cualesquiera
para cualesquiera
Cuando una relacin es al mismo tiempo reflexiva, simtrica y transitiva, se dice que es
una relacin de equivalencia.
Cuando una relacin es simultneamente reflexiva, antisimtrica y transitiva, se le llama
un orden parcial.
Ejemplos de relaciones
La relacin de adyacencia entre los vrtices de una grfica definida por las
aristas en ( ) es una relacin simtrica y no reflexiva.
La relacin estar conectado con sobre el conjunto de vrtices de una grfica es
una relacin de equivalencia.
)
En un rbol con raz , la relacin , definida como (
si
, es un
orden parcial.
18
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Aprende observando
En estos videos se muestran los conceptos bsicos de relaciones
binarias.
Jordan, L. C. (2013). (Archivo de video)
Aprende leyendo
A continuacin se te recomienda leer los siguientes documentos que brindan un
panorama general sobre las matemticas discretas.
Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison Wesley.
Jonhsonbaugh, R. (1999). Matemticas discretas. Mxico: Prentice Hall.
http://www.bibliocomunidad.com/libros/Matem%C3%83%C2%A1ticas%20Discretas%20%206edi%20Johnsonbaugh.pdf
19
Matemticas discretas
Unidad 2. Teora de grficas y relaciones
Contenido nuclear
Cierre de la Unidad
En esta unidad aprendiste los conceptos bsicos de teora de grficas y relaciones.
Resolviste problemas y creaste representaciones de las grficas. Ahora se te invita a
revisar los contenidos de la unidad 3 y realizar las actividades para terminar el curso de
matemticas discretas.
Fuentes de consulta
Chartrand, G. & Zhang, P. (2005). Introduction to graph theory. Estados Unidos: Mc Graw
Hill.
Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison Wesley.
Harary, F. (1987). Graph theory. Estados Unidos: Addison Wesley.
Jonhsonbaugh, R. (1999). Matemticas discretas. Mxico: Prentice Hall.
Bondy, J. (1988). Graph theory with applications. Inglaterra: McMillan.
Chartrand, G. (1997). Graphs as Mathematical Models. Estados Unidos: Wester Michigan
University.
Chartrand, G., Zhang, P. (2009). Chromatic graph theory. Estados Unidos: Chapman and
Hall.
Harris, J., Hirst, J., Mossinghoff, M. (2008). Combinatorics and graph theory. Estados
Unidos: Springer Verlag.
Diestel, R. (1991). Directions in infinite graph theory and combinatorics. Holanda: Link
Amsterdam.
Wilson, R. (2000). Graphs and applications: an introductory approach. Inglaterra: Open
University.
Bonomo, F. (2009). Introduccin a la Teora de Grafos. Argentina. Recuperado de:
http://www-2.dc.uba.ar/personal/fbonomo/grafos/curso_grafos_handout150909.pdf
20