Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lectura 1 PDF
Lectura 1 PDF
Temas:
1.1 Grafos
1.2 Un poco de historia
1.3 Aplicaciones de los grafos
Bibliografa:
- Estructuras de Datos en Java, Mark Weiss, Addison Wesley, 2000, captulo 14.
- [Floyd] http://es.wikipedia.org/wiki/Algoritmo_de_Floyd-Warshall
- [habitat] Spatial Graphs: Principles and Applications for Habitat Connectivity, Fall et al,
Springer New York, 2007.
Introduccin
Estas lecturas estn escritas para que los alumnos comprendan conceptos importantes de
estructuras de datos avanzadas, como grafos y rboles binarios de bsqueda, y para explicar
algunos algoritmos avanzados que resultan ms eficientes que otros que implementan una
solucin trivial. El primer mdulo, incluyendo esta lectura, presenta la Teora de Grafos, as como
tambin de algoritmos que pueden aplicarse sobre ellos. Espero que disfruten estas lecturas y les
sirva como apoyo de la bibliografa principal.
1.1. Grafos
Un grafo es una estructura matemtica empleada para modelar relaciones binarias entre objetos
de un cierto tipo. Ms formalmente, decimos que un grafo es una tupla <V, E>, donde V es un
conjunto de objetos llamados vrtices (o nodos), mientras que E es un conjunto de pares de
vrtices (pertenecientes a E), llamados aristas (o arcos).
La Teora de Grafos es una rama de las Matemticas y de las Ciencias de la Computacin que
estudia los grafos y sus propiedades.
Tpicamente, un grafo se representa de manera grfica mediante una serie de puntos u valos (los
vrtices) conectados por lneas o flechas (las aristas).
Materia: Algoritmos y Estructuras de Datos 2
Ntese que la definicin formal de un grafo lo determina unvocamente, mientras que diferentes
representaciones grficas de un mismo grafo pueden diferir entre s (siendo isomorfas)
Fuente: http://en.wikipedia.org/wiki/File:Konigsberg_bridges.png
Leonhard Euler (Figura 5), un famoso matemtico y fsico Suizo que vivi en el siglo 18, en
Alemania y Rusia, demostr que el problema no tena solucin. Euler enfoc el problema
Euler demostr que no era posible. La explicacin es la siguiente: si un nodo tiene un nmero
impar de lneas que inciden en l, necesariamente ha de ser el primer o ltimo nodo del recorrido.
Por lo tanto, no se podr encontrar una ruta que resuelva el problema si existen ms de 2 nodos
con nmero impar de lneas incidentes (ya que no puede haber ms de un inicio y un final en una
ruta continua). En el caso de los puentes de Knigsberg hay 4 nodos que tienen nmero de lneas
incidentes impar, por lo que no se puede encontrar una solucin al problema.
Los grafos son importantes tambin en el estudio de la biologa y hbitat [habitat]. El vrtice
representa un hbitat y las aristas representan 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.
Sin ir ms lejos, uno puede encontrarse con problemas representables por grafos en la vida
cotidiana. Supongamos que se desea viajar desde la Ciudad de Crdoba, Argentina, hasta la
ciudad de Portland, Oregon, Estados Unidos. Hay mltiples alternativas para realizar este vuelo,
por ejemplo:
Estas alternativas podran ser representadas en un grafo, que denota las diferentes rutas
ofrecidas por varias compaas, para comunicar dos ciudades. Como se observa en la Figura 6,
este grafo puede resultar bastante complicado, y las alternativas pueden ser numerosas. A travs
de esta representacin, podemos resolver cul es la ruta ms corta (en tiempo o en distancia), la
ms barata, entre otros.