Unidad 2 Teoria de Graficas y Relaciones PDF

Matemticas discretas
Unidad 2. Teora de grficas y Relaciones

Contenido nuclear
Universidad Abierta y a Distancia de Mxico
Programa de la asignatura:
Unidad 2:
Teora de Grficas y Relaciones
Ciencias Exactas, Ingeniera y Tecnologa | Matemticas
Contenido nuclear
Contenido
Introduccin ....................................................................................................................... 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 leyendo .......................................................................................................... 14
rboles ............................................................................................................................ 15
Aprende leyendo .......................................................................................................... 17
Relaciones ....................................................................................................................... 18

Aprende leyendo .......................................................................................................... 19
Cierre de la Unidad .......................................................................................................... 20
Fuentes de consulta ........................................................................................................ 20
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
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 7 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.
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 podemos encontrar 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 este nmero lo multiplicamos 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 y para la
bsqueda de informacin. Este mismo fenmeno pasa en otras redes de fotografas,
mensajes, etc.
Contenido nuclear
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. Podemos considerar que este tipo de problemas
son tratados por expertos en matemticas y ciencias de la computacin, debido a su alto
grado de complejidad.
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, fueron nombrados as en honor del arquitecto Richard
Buckminster Fuller.
Por otra parte, en el rea de la Biologa molecular, la Teora de graficas 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 podemos mencionar robots que acten moviendo rocas en
reas donde han ocurrido desastres naturales, robots que son utilizados por mdicos en
cirugas. El modelo matemtico para manipular un robot se basa en conceptos de Teora
de grficas, lgebra lineal, Estadstica y Geometra, entre otras reas como la electrnica.
Contenido nuclear
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
Contenido nuclear
Desarrollo de contenido nuclear
En esta unidad estudiaremos los principios bsicos de la Teora de grficas para
familiarizarnos con los conceptos que nos servirn para modelar estructuras y fenmenos
mediante los objetos matemticos llamados grficas y sus propiedades, nos vamos 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, utilizaremos los conceptos de grficas, digrficas, rboles y relaciones.
Como ejemplo, consideremos 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
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
() = {1 , 2 , 3 , 4 , 5 , 6 }
El conjunto de aristas de es
() = {
,
,
,
,
2 5
,
,
,
3 6
1 4
1 5
1 6
2 4 ,
2 6
3 4
3 5 }
El orden de es |()| = 6
El tamao de es |()| = 9
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 veremos 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 y son adyacentes si
().
Por ejemplo: en la grfica anterior, los vrtices 1 y 6 son adyacentes, mientras que los
vrtices 1 y 2 no son adyacentes; ya que
1 6 () pero
1 2 ().
Dado un vrtice () se le llama el grado (o valencia) de al nmero de aristas que
inciden en l, y se denota como ().
Por ejemplo: en la grfica anterior, el grado del vrtice 1 es 3, es decir, (1 ) = 3.
Aprende observando
En estos videos se muestran los conceptos bsicos de la teora
de grficas
Jordan, Lluch, Cristina (2011) (Archivo de vdeo) recuperado de
Paenza, Adrin (2011) (Archivo de vdeo) recuperado de
10
Contenido nuclear
Aprende leyendo
A continuacin te recomendamos 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
: = 0 , 1 , 2 , , = , ()
en la cual los vrtices consecutivos son adyacentes, es decir, donde
+1 () para
toda {0,1,2, , 1}. Al vrtice se le llama vrtice inicial y al vrtice se le llama
vrtice final, por lo que en ocasiones a se le llama un -camino, a los vrtices
1 , 2 , , 1 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.
11
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
2 : 4 , 3 , 8 , 6 , 1
3 : 3 , 2 , 1 , 6 , 9 , 4 , 3
Cuando entre dos vrtices , () existe un -camino se dice que est conectado
con y se denota como ~ . Ms adelante veremos 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
conexa si para cada par de vrtices , () existe un -camino en que los conecta.
Teorema. Sea una grfica y sean , (), entonces existe un -camino

en si y slo si existe una -trayectoria en .
Corolario. Una grfica es conexa si y slo si para cualquier par de vrtices
, () existe una -trayectoria en .
12
Contenido nuclear
Grfica conexa
Grfica no conexa
, ()
1 5
Aprende observando
En estos videos se muestran los conceptos bsicos de la Teora
de grficas
Jordan, Lluch, Cristina (2011) (Archivo de vdeo) recuperado de
En estos videos se construye una grfica con el programa Algraf

Tabara
Carbajo, Jos Luis (2011) (Archivos de vdeos)
recuperado de
13
Contenido nuclear
Aprende leyendo
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
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 1.

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 y de un rbol , a la trayectoria nica que los conecta se le suele
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
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
Contenido nuclear
Aprende observando
En estos videos se muestran los conceptos bsicos de rboles en la
teora de grficas
Jordan Lluch, Cristina (2011) (Archivo de vdeo) recuperado de
Aprende leyendo
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
Contenido nuclear
Relaciones
Estaremos interesados en estudiar el concepto de relacin entre los elementos de un
conjunto y sus propiedades; para ello debemos conocer lo que es una relacin reflexiva,
simtrica, transitiva y antisimtrica, as como tambin su representacin matricial y su
grfica. Adems, aprenderemos 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
de . Al conjunto { | (, ) } se le llama el dominio de , y
al conjunto { | (, ) } se le llama el rango de .
Dada una relacin , para dos elementos y , se dice que est
relacionado con si (, ) , y se denota como .
Cuando = , es decir, cuando , 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
(, ) para todo
Simtrica
Si (1 , 2 ) entonces (2 , 1 ) para cualesquiera 1 , 2
Transitiva
Si (1 , 2 ), (2 , 3 ) entonces (1 , 3 ) para cualesquiera

1 , 2 , 3
Antisimtrica
Si (1 , 2 ), (2 , 1 ) entonces 1 = 2 para cualesquiera 1 , 2
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
Contenido nuclear
Aprende observando
En estos videos se muestran los conceptos bsicos de relaciones
binarias
Jordan Lluch, Cristina (2013) (Archivo de vdeo) recuperado de
Aprende leyendo
A continuacin te recomendamos 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
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 te invitamos a
que revises los contenidos de la unidad 3 y realices las actividades para terminar el curso
de matemticas discretas.
Fuentes de consulta
Chartrand G. & Zhang, P. (2005). Introduction to graph theory. E.U.A.: Mc Graw Hill.
Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison Wesley.
Harary, F. (1987). Graph theory. E.U.A.: Addison Wesley.
Jonhsonbaugh, R. (1999). Matemticas discretas. Mxico: Prentice Hall.
Bondy, J. (1988). Graph theory with applications. Inglaterra: Mc. Milln.
Chartrand, G. (1997). Graphs as Mathematical Models. USA: Wester Michigan University.
Chartrand, G. & Zhang, P. (2009). Chromatic graph theory. E.U.A: Chapman and Hall.
Harris, J & Hirst, J. & Mossinghoff, M. (2008). Combinatorics and graph theory. USA:
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 la
siguiente direccin web http://www2.dc.uba.ar/personal/fbonomo/grafos/curso_grafos_handout150909.pdf
20

Unidad 2 Teoria de Graficas y Relaciones PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 2 Teoria de Graficas y Relaciones PDF

Cargado por

Copyright:

Formatos disponibles

Matemticas discretas

Unidad 2. Teora de grficas y Relaciones

Universidad Abierta y a Distancia de Mxico

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Aprende observando .................................................................................................... 10

Aprende observando .................................................................................................... 19

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

El problema de los puentes

La solucin de Euler. El famoso

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Otra rea en la que actualmente se utiliza la Teora de grficas es en la Qumica, donde

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Esquema de contenidos nucleares

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Paenza, Adrin (2011) (Archivo de vdeo) recuperado de

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Teorema. Sea una grfica y sean , (), entonces existe un -camino

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

En estos videos se construye una grfica con el programa Algraf

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

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

Teorema. Todo rbol de orden tiene tamao 1.

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

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Si (1 , 2 ) entonces (2 , 1 ) para cualesquiera 1 , 2

Si (1 , 2 ), (2 , 3 ) entonces (1 , 3 ) para cualesquiera

Si (1 , 2 ), (2 , 1 ) entonces 1 = 2 para cualesquiera 1 , 2

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

Ciencias Exactas, Ingeniera y Tecnologa | Matemticas

También podría gustarte