Está en la página 1de 20

Matemticas discretas

Unidad 2. Teora de grficas y relaciones


Contenido nuclear

Universidad Abierta y a Distancia de Mxico

Licenciatura en Matemticas

2 Semestre

Programa de la asignatura:
Matemticas discretas
Unidad 2:
Teora de grficas y relaciones

Clave:
05141209/06141209

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Aprende observando .................................................................................................... 17


Aprende leyendo .......................................................................................................... 17
Relaciones ................................................................................................................... 18
Aprende observando .................................................................................................... 19
Aprende leyendo .......................................................................................................... 19
Cierre de la Unidad ...................................................................................................... 20
Fuentes de consulta ..................................................................................................... 20

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ejemplo del uso de las grficas para describir la estructura de un territorio

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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.

El problema de los puentes


de Knigsberg. A esta ciudad
la cruza el ro Pregel, creando
dos islas. Se puede recorrer
toda la ciudad pasando una
sola vez por todos y cada uno
de los siete puentes que unen
la parte insular de la ciudad con
el resto?

La solucin de Euler. El famoso


matemtico abstrajo los detalles de la
forma de la ciudad y sus puentes para
quedarse con la conectividad, dando
lugar a una de las primeras grficas. El
grado de todos los vrtices es impar, lo
que implica que es imposible recorrerlos
todos pasando una sola vez por cada
uno.

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.

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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.

Otra rea en la que actualmente se utiliza la teora de grficas es en la qumica, donde


uno de los usos ms importantes es en el modelado de las molculas de carbono; este
uso de las grficas dio origen a los llamados fullerenos hace ya ms de 25 aos, los
cuales son considerados una de las estructuras qumicas ms hermosas e interesantes
por sus formas regulares, y fueron nombrados as en honor del arquitecto Richard
Buckminster Fuller.
Por otra parte, en el rea de la biologa molecular, la teora de grficas es utilizada para
generar modelos de protenas y mapas genmicos.
En el rea de las ciencias de la computacin, la teora de grficas es utilizada para
generar nuevos algoritmos que permitan efectuar simulaciones eficientes de un fenmeno
determinado y as resolver diversos tipos de problemas. En Mxico, como en todo el
mundo, un rea de oportunidad estratgica es la construccin de robots para diferentes
fines; por citar algunos usos, robots que acten moviendo rocas en reas donde han
ocurrido desastres naturales, robots que son utilizados por mdicos en cirugas. El modelo

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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.

Esquema de contenidos nucleares

Relaciones

Modelacin

rboles

Toria de
grficas y
relaciones

Conexidad

Matrices

Recorridos

Grficas y
Digrficas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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 | ( )|

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Por ejemplo: en la grfica anterior, los vrtices


y
son adyacentes, mientras que los
( ), pero
( ).
vrtices
y
no son adyacentes; ya que
( ), se le llama el grado (o valencia) de
Dado un vrtice
inciden en l, y se denota como ( ).
Por ejemplo: en la grfica anterior, el grado del vrtice

al nmero de aristas que

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)

Paenza, A. (2011) (Archivo de video)

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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.

En esta grfica, un ejemplo de camino sera la sucesin de vrtices 8,7,5,4,6,7,8,3,2,


donde se inicia en el vrtice 8 y se termina en el vrtice 2. Observa que para ir de un
vrtice al siguiente la arista que los une debe pertenecer a la grfica.
Formalmente, un camino

de una grfica es una sucesin de vrtices


( )
,
( ) para
en la cual los vrtices consecutivos son adyacentes, es decir, donde
*
+. Al vrtice se le llama vrtice inicial, y al vrtice se le llama
toda
vrtice final, por lo que en ocasiones a
se le llama un -camino; a los vrtices
se les llama vrtices interiores. Observa que los vrtices no
necesariamente son diferentes. Se dice que
es un camino cerrado (o circuito) si
;
en otro caso, se dice que
es un camino abierto.

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

( ) existe un -camino se dice que est conectado


Cuando entre dos vrtices
con y se denota como
. Ms adelante vers que la relacin estar conectado con
es una relacin de equivalencia.
Un concepto importante en la teora de grficas es el de conexidad. Una grfica es
( ) existe un -camino en que los conecta.
conexa si para cada par de vrtices

( ), entonces existe un
Teorema. Sea una grfica y sean
en si y slo si existe una -trayectoria en .

Corolario. Una grfica


( ) existe una

-camino

es conexa si y slo si para cualquier par de vrtices


-trayectoria en .

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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)

En estos videos se construye una grfica con el programa Algraf


Tabara, C. J. (2011) (Archivos de video)

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

En un rbol, a los vrtices de grado 1 se les llama hojas.


A continuacin se comentan algunas propiedades importantes de los rboles.

Teorema. Todo rbol de orden

tiene tamao

Teorema. En un rbol, cualesquiera dos vrtices estn conectados por una


nica trayectoria.
Teorema. Todo rbol no trivial tiene al menos dos hojas.

Observa que los rboles mostrados arriba cumplen con las tres propiedades
mencionadas.
Dados dos vrtices
denotar como
.

de un rbol , a la trayectoria nica que los conecta se le suele

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.

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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.

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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/

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

, para dos elementos


, y se denota como

, es decir, cuando

, se dice que

est

, se dice que

es una relacin binaria sobre .

De acuerdo con sus propiedades, las relaciones binarias se clasifican de la siguiente


manera.

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.

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

20