Universidad Mariano Glvez de Guatemala

Ingeniera en Sistemas

Alberto Eugenio Marroqun Gmez.

Matemtica Discreta

Proyecto Final
 -Introduccin-

El presente trabajo explica y ejemplifica la teora de grafos.

El nacimiento del concepto GRAFOS se puede situar, por el ao 1730, cuando

Euler (matemtico) se convirti en el padre de la Teora de Grafos al modelar un
famoso problema no resuelto, llamado el "problema de los puentes de
Knigsberg".

Un ro con dos islas atraviesa la ciudad. Las islas estn unidas, entre si

Y con las orillas, a travs de siete puentes. El problema consista en establecer un

recorrido que pasara una

Y solo una vez por cada uno de los siete puentes, partiendo de cualquier

Punto y regresando al mismo lugar. Para probar que no era posible, Euler
sustituy cada zona de partida por un punto y

Cada puente por un arco, creando as un grafo, el primer grafo, diseado para
resolver un problema.

Mostrar que el problema no tiene solucin equivale a mostrar que el grafo no

puede ser recorrido segn criterios Determinados.

La eficacia de los grafos se basa en su gran podero de abstraccin y la muy clara

Representacin de cualquier relacin (de orden, precedencia, etc.) lo que facilita

Enormemente tanto la fase de modelado como de resolucin del problema.

Gracias a

La Teora de Grafos se han desarrollado una gran variedad de algoritmos y

mtodos

De resolucin eficaces que nos permiten tomar una mejor decisin.

 -Teora de Grafos-

En matemticas y en ciencias de la computacin, la teora de grafos (tambin

llamada teora de las

Grficas) estudia las propiedades de los grafos (tambin llamadas grficas). Un

grafo es un

Conjunto, no vaco, de objetos llamados vrtices (o nodos) y una seleccin de

pares de vrtices,

Llamados aristas (edges en ingls) que pueden ser orientados o no. Tpicamente,
un grafo se representa

Mediante una serie de puntos (los vrtices) conectados por lneas (las aristas).

Una compaa turstica nacional desea crear una nueva ruta que consiste en la visita de 5 destinos
dentro del pas ( Antigua Guatemala, Lago de Atitlan, Semuc Champey y Livingston) , para ello se
solicita analizar todas las posibles rutas para seleccionar la que conlleve menos costos.

Circuitos Hamiltonianos:

Calculo de circuitos disponibles:

(5-1)! 4! 24
= = = 12
2 2 2
Grafos:

1. 2. 3.

4. 5. 6.

7. 8. 9.

10. 11. 12.

Segn los grafos realizados, el circuito hamiltoniano de menor costo es el No.1, el cual en total
suma 15 Km.

~Estructuras de datos en la representacin de grafos

Existen diferentes formas de almacenar grafos en una computadora. La estructura
de datos usada depende de las caractersticas del grafo y el algoritmo usado para
manipularlo. Entre las estructuras ms sencillas y usadas se encuentran las listas
y las matrices, aunque frecuentemente se usa una combinacin de ambas. Las
listas son preferidas en grafos dispersos porque tienen un eficiente uso de la
memoria. Por otro lado, las matrices proveen acceso rpido, pero pueden
consumir grandes cantidades de memoria.

Ciclos y caminos hamiltonianos Ejemplo de un ciclo hamiltoniano. Un ciclo es una

sucesin de aristas adyacentes, donde no se recorre dos veces la misma arista, y
donde se regresa al punto inicial.

Un ciclo hamiltoniano tiene adems que recorrer todos los vrtices exactamente
una vez (excepto el vrtice del que parte y al cual llega). Por ejemplo, en un
museo grande (al estilo del Louvre), lo idneo sera recorrer todas las salas una
sola vez, esto es buscar un ciclo hamiltoniano en el grafo que representa el museo
(los vrtices son las salas, y las aristas los corredores o puertas entre ellas). Se
habla tambin de camino hamiltoniano si no se impone regresar al punto de
partida, como en un museo con una nica puerta de entrada.
Por ejemplo, un caballo puede recorrer todas las casillas de un tablero de ajedrez
sin pasar dos veces por la misma: es un camino hamiltoniano. Ejemplo de un ciclo
hamiltoniano en el grafo del dodecaedro.

Hoy en da, no se conocen mtodos generales para hallar un ciclo hamiltoniano en

tiempo polinmico, siendo la bsqueda por fuerza bruta de todos los posibles
caminos u otros mtodos excesivamente costosos. Existen, sin embargo, mtodos
para descartar la existencia de ciclos o caminos hamiltonianos en grafos
pequeos. El problema de determinar la existencia de ciclos hamiltonianos, entra
en el conjunto de los NP-completos.

-Aplicaciones-
Gracias a la teora de grafos se pueden resolver diversos problemas como por
ejemplo la sntesis de circuitos secuenciales, contadores o sistemas de apertura.
Se utiliza para diferentes reas por ejemplo, Dibujo computacional, en todas las
reas de Ingeniera.

Los grafos se utilizan tambin para modelar trayectos como el de una lnea de
autobs a travs de las calles de una ciudad, en el que podemos obtener caminos
ptimos para el trayecto aplicando diversos algoritmos como puede ser el
algoritmo de Floyd.

Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se

modelan los mismos utilizando grafos y optimizando los tiempos para concretar los
mismos. La teora de grafos tambin ha servido de inspiracin para las ciencias
sociales, en especial para desarrollar un concepto no metafrico de red social que
sustituye los nodos por los actores sociales y verifica la posicin, centralidad e
importancia de cada actor dentro de la red. Esta medida permite cuantificar y
abstraer relaciones complejas, de manera que la estructura social puede
representarse grficamente.

Por ejemplo, una red social puede representar la estructura de poder dentro de
una sociedad al identificar los vnculos (aristas), su direccin e intensidad y da
idea de la manera en que el poder se transmite y a quines. Los grafos son
importantes en el estudio de la biologa y hbitat.

El vrtice representa un hbitat y las aristas (o "edges" en ingls) representa los

senderos de los animales o las migraciones. Con esta informacin, los cientficos
pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat.
 -Conclusiones-

La Teora de Grafos juega un papel importante en la fundamentacin matemtica

de las Ciencias de la Computacin. Los grafos constituyen una herramienta bsica
para modelizar fenmenos discretos y son fundamentales para la comprensin de
las estructuras de datos y el anlisis de algoritmos.

Dos vrtices de un grafo se dicen adyacentes si ambos definen una arista en el

Grafo. En este caso, dichos vrtices se dicen extremos de la arista. Una arista se
Dice que es incidente con cada uno de sus vrtices extremos y dos aristas que
Comparten un extremo se dicen incidentes. En el grafo de la Figura 1 puede verse
Que los vrtices a y d son adyacentes, pero b y c no lo son. Por otra parte, todas
las Aristas de dicho grafo son incidentes (en el vrtice a).

Los grafos son una herramienta que permite modelizar relaciones de esta
naturaleza, de modo que
Se puedan resolver problemas asociados a esas circunstancias, frecuentemente
de forma menos
Costosa que utilizando otras tcnicas como la programacin lineal.

-Fuentes-
Investigadores relevantes en Teora de grafos
Leonhard Euler
Edsger Dijkstra
Paul Erds
Frank Harary
Dnes Knig
Kazimierz Kuratowski
Gerhard Ringel
W.T. Tutte

http://www.unipamplona.edu.co/unipamplona/portalIG/home_23/recursos/general/1
1072012/grafo3.pdf

https://docs.google.com/viewerng/viewer?url=idus.us.es/xmlui/bitstream/handle/11
441/45130/Conoc%C3%ADa+Sherlock+Holmes+la+Teor%C3%ADa+de+Grafos.p
df?sequence%3D1&isAllowed=y