Redes y Grafos
En un mundo global como el actual, abundan las conexiones entre objetos, personas y organismos. Estas conexiones forman a menudo una intrincada red cuyo análisis es fundamental para optimizar su funcionamiento y resolver problemas. Los modelos matemáticos de estas redes se fundamentan en la [b]Teoría de Grafos[/b]. Un grafo no es más que un esquema de las conexiones de una red. Este libro te ayudará a sumergirte en el mundo de las redes y los grafos a través de diversos ejemplos y actividades que, de forma muy simplificada, recogen algunos términos y principios básicos.
Table of Contents
- Regiones, líneas y nodos
- Introducción
- Los puentes de Königsberg
- Figuras de un solo trazo (sobre)
- Un paseo por Sierpinski
- Five room puzzle
- Proximidad
- Mediatriz y circuncentro
- Diagrama de Voronoi
- Voronoi a color
- Soluciones prácticas
- Introducción
- Aplicaciones de los grafos
- Conexiones de telefonía fija
- Colores
- Coloreando mapas y grafos
- Teorema del mapa de cuatro colores
- Número cromático
- Geometría y grafos
- El esqueleto de los poliedros
- Grafos completos
- Grafo completo K5
- Número de caminos y potencias de matrices
- Introducción
- Número de caminos. Potencias de matrices
- Actividades (pdf)
- El recorrido de la señora marquesa
- La tela de araña
- Hojas de ejercicios
- Soluciones de los ejercicios
Introducción
[color=#cc0000][color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/yybrap57]Redes y Grafos[/url].[/color][/color][b][color=#cc0000][br][br]¿Qué es una red?[/color][/b][br][br]Piensa en las personas que conoces y te conocen, con las que hablas a menudo. Con cada una de ellas tienes una conexión, algo que no pasa con las demás personas. Pero, a su vez, cada una de esas personas, no solo te conoce a ti, conoce a otras, ya sean conocidas tuyas o no.[br][br]A medida que empieces a expandir esta cadena de conocidos, surgirán más y más personas que tú no conoces directamente, pero con las que podrías comunicarte si supieses cuáles son las personas intermedias que te separan de ellas.[br][br]Entre todas esas personas hay entonces una gran cantidad de conexiones, la gran mayoría de ellas desconocidas para ti. Decimos que el conjunto de todas esas personas y sus conexiones forman una [color=#cc0000]red [/color](en este caso, una red social).[br][br]Si cambiamos las personas por ciudades y los reconocimientos por carreteras, obtenemos una red de carreteras. Si hablamos de teléfonos fijos y cables telefónicos obtenemos una red telefónica. Hay montones de cosas, personas, instituciones, hechos, símbolos, etc. que pueden interconectarse de diferentes modos. Cada uno de esos conjuntos de conexiones forma una red.[br][br][b][color=#cc0000]¿Qué es un grafo?[/color][/b][br] [br]Un grafo es un conjunto de puntos ([color=#cc0000]vértices [/color]o [color=#cc0000]nodos[/color]) y líneas que los conectan ([color=#cc0000]aristas [/color]o [color=#cc0000]arcos[/color]). El [b][color=#cc0000]grado [/color][/b]de un vértice es el número de aristas que concurren en él. [br] [br]Los grafos expresan las conexiones existentes en una red. Con el paso de los años, la [color=#cc0000]Teoría de Grafos[/color] ha ido generando tantas aplicaciones que hoy se usa prácticamente en el análisis de cualquier red.[br][br][color=#CC3300][b]¿Cuándo y cómo aparecen los grafos?[/b][/color][br][br]Comparativamente con otras áreas matemáticas, los grafos son bastante recientes. Surgen a partir de una curiosa pregunta planteada a principios del siglo XVIII en la ciudad rusa de Kaliningrado (entonces llamada Königsberg). El [color=#cc0000]problema de los puentes de Königsberg[/color] se preguntaba si sería posible realizar un paseo andando sin salir de la ciudad, dividida en cuatro regiones por el río Pregolia, de modo que se recorriese una sola vez cada uno de los siete puentes que las conectaban.[br][br]Este problema llama la atención del genial matemático [color=#cc0000]Leonhard Euler[/color], que estaba de visita en la ciudad, quien demuestra en 1736 que tal paseo es imposible de realizar. Esta demostración está considerada la cuna de la Teoría de Grafos. En ella, Euler conjuga tres grandes técnicas demostrativas.
Primero, [color=#cc0000]sintetiza al máximo[/color] la situación, reduciendo cada una de las cuatro regiones del mapa de la ciudad a un punto y cada uno de los siete puentes a una línea, obteniendo lo que hoy se conoce como [color=#cc0000]grafo dual [/color]del mapa, consistente en cuatro puntos unidos por siete líneas, como muestra la figura. De este modo, el problema original equivale a dibujar este grafo con un solo trazo, sin levantar el lápiz y recorriendo cada línea una sola vez.[br][br]Segundo, Euler emplea un antiguo pero potentísimo método de demostración llamado[color=#cc0000] reducción al absurdo[/color]. Euler sabe que habrá demostrado la imposibilidad del paseo si, razonando a partir de la suposición de que tal paseo existiera, alcanza una contradicción flagrante, un absurdo.[br][br]Finalmente, para alcanzar esa contradicción, Euler aplica un [color=#cc0000]criterio de paridad[/color]. El grafo tiene cuatro vértices. Como solo puede haber un vértice de salida y uno de llegada, los otros vértices tienen que ser vértices de tránsito, es decir, ni se empieza ni se acaba en ellos. Pero eso es imposible, ya que todo vértice de tránsito tendría que tener un número PAR de aristas (la mitad de ellas para llegar al vértice y la otra mitad para salir de él), y todos los vértices del grafo tienen grado impar (3 o 5). Así que… ¡el paseo buscado no puede existir! Los ciudadanos de Königsberg que lo intentaran estaban condenados de antemano al fracaso, como puedes comprobar en la siguiente actividad.
Mediatriz y circuncentro
[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/yybrap57]Redes y Grafos[/url].[br][br][color=#000000]La solución de Euler al problema de los puentes de Königsberg asocia un grafo a un mapa de regiones. En el siglo XIX surgen también problemas recíprocos, que parten de un conjunto de nodos y preguntan acerca de las regiones que deben corresponder a cierto criterio. [br] [br]Por ejemplo, dado un conjunto de nodos, ¿cuáles son las regiones formadas por todos los puntos más próximos a cada uno de ellos?[br][br]Veamos primero los casos más sencillos, con dos y tres nodos.[br][br]Observa la técnica que hemos empleado: [color=#cc0000]contraemos simultáneamente circunferencias de diferentes colores pero del mismo radio con centro en cada nodo[/color]. El rastro de color de cada circunferencia solo sobrevivirá en la región más próxima a cada nodo.[/color][/color]
[color=#999999]Autor de la actividad y construcción GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]
Introducción
Piensa en la red de carreteras de España. Son miles de caminos que conectan poblaciones y lugares. La red eléctrica también, solo que los enlaces son ahora cables en vez de carreteras. [br] [br]Análogamente, podemos pensar en la redes de autobuses o trenes, la red de metro de una ciudad (el de la figura corresponde a Madrid, año 1982), los circuitos eléctricos y electrónicos, las redes de fibra óptica e inalámbricas, las redes de suministro, las redes sociales, Internet ([i]net[/i] significa red), la red de enlaces de los átomos en una molécula, etc. [br][br]Nuestro propio cerebro alberga una red neuronal gracias a la cual podemos recordar, imaginar, pensar y sentir. En la actualidad existe ya toda una Ciencia de Redes y muchas [url=http://informatica.blogs.uoc.edu/2012/11/12/la-belleza-de-las-redes-herramientas-de-visualizacion-de-grafos/]herramientas[/url] que facilitan la creación y visualización de grafos.[br][br]Los grafos tienden a expandirse de modo exponencial. A modo de ejemplo, en [url=https://www.youtube.com/watch?v=IJHqqZZ097E]este enlace[/url] puedes visualizar el crecimiento del grafo correspondiente a contenidos de [color=#cc0000]GeoGebra[/color] en unos siete años.[br][br]Los grafos son esquemas de redes, que ayudan a analizarlas, independientemente de la naturaleza de los objetos conectados y sus conexiones. Algunos tienen estructura de [color=#cc0000]árbol [/color](solo hay un camino entre cada par de vértices), como los árboles genealógicos y los árboles de probabilidad:
Coloreando mapas y grafos
[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/yybrap57]Redes y Grafos[/url].[br][br][color=#000000]Fue una pregunta de coloreado de mapas la que impulsa definitivamente el desarrollo del estudio de los grafos. Esta pregunta, formulada en 1852 por un matemático inglés cuando aún era estudiante es: ¿será posible colorear cualquier mapa plano de regiones utilizando solo cuatro colores, de modo que no haya dos regiones vecinas del mismo color? [br][br]La respuesta, afirmativa, se conoce como [color=#cc0000]teorema de los cuatro colores[/color], pero se tardó más de un siglo en poder demostrarlo. Por fin, en 1970 se obtiene la demostración. Aun así, si bien el resultado es aceptado por la comunidad matemática, la demostración invita a la polémica pues hace uso de un complejo programa de ordenador cuyos resultados no son verificables manualmente. ¿Surgirá algún día otro genio que consiga realizar una “elegante demostración más humana” de este teorema, al estilo de Euler? [br][br]La [color=#cc0000]coloración de grafos [/color]permite visualizar y analizar diferentes relaciones entre vértices conectados de un grafo. Por ejemplo, imagina que en una fiesta coinciden seis personas. Cada par de personas (hay 15 parejas posibles), o bien ya se conocen o bien son mutuamente desconocidas. Pues bien, un resultado conocido como [color=#cc0000]Teorema de amigos y extraños[/color], muy fácil de demostrar coloreando grafos, dice: “En cualquier grupo de seis personas, hay tres de ellas mutuamente conocidas o mutuamente desconocidas.” [br][br]En la siguiente aplicación puedes intentar colorear pequeños mapas con el mínimo de colores posible ([color=#cc0000]número cromático[/color]). Recuerda que dos regiones vecinas no pueden tener el mismo color. Esto equivale a colorear los vértices del grafo dual de modo que se diferencien los colores de cualquier par de vértices extremos de la misma arista. [/color][/color]
[color=#999999]Autor de la actividad y construcción GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]
El esqueleto de los poliedros
[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/yybrap57]Redes y Grafos[/url].[br][br][color=#000000]Observa que, en el ejemplo del Five Room puzzle, el grafo correspondiente al puzle no es un grafo simple. [br][br]Por el contrario, si proyectamos las aristas de cualquier poliedro sobre un plano, el grafo resultante es siempre un grafo simple. Esto es evidente, ya que dos vértices de un poliedro nunca se unen por más de una arista. [br][br]Pues bien, se puede demostrar que este grafo resultante siempre es un grafo plano, es decir, podemos transformarlo en un grafo isomorfo en donde ningún par de aristas se corte ([url=https://es.wikipedia.org/wiki/Diagrama_de_Schlegel]diagrama de Schlegel[/url]). [br][br]En la siguiente construcción, [color=#0000ff]intenta transformar el grafo simple, resultado de proyectar un icosaedro, en un grafo plano[/color] (es decir, intenta que las aristas no se corten). Para ello, [color=#0000ff]activa la casilla Grafo[/color] y aplica este método: elige una región y coloca el resto de los vértices dentro.[br][br]Hacia 1850 el matemático W. R. Hamilton patentó un juego que llamó [i]Viaje por el Mundo[/i]. Consistía en encontrar un recorrido que pasase por 20 ciudades situadas en los nodos del grafo del dodecaedro (que es equivalente a un recorrido por los 20 vértices del dodecaedro). Desde entonces, se llaman [color=#cc0000]caminos hamiltonianos[/color] a los recorridos que visitan todos los vértices de un grafo una sola vez (en los [i]caminos eulerianos[/i], era cada arista la que se recorría una sola vez).[br] [br]Puedes intentar [color=#0000ff]encontrar un camino hamiltoniano en el icosaedro[/color] de la construcción. También puedes intentar[color=#0000ff] resolver el juego original de Hamilton [/color](elige dodecaedro en vez de icosaedro). En ambos casos, si [color=#0000ff]activas la casilla Cadena[/color] podrás ayudarte de la cadena roja para señalar el recorrido. [/color][/color]
[color=#999999]Autor de la actividad y construcción GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]
Introducción
[color=#CC3300][b]Grafos bipartitos completos[/b][/color][br][br]En un grafo completo, todo vértice se conecta a todos los demás. Si previamente dividimos los vértices en dos grupos (como si estuviesen enfrentados), podemos pensar en el grafo que conecta cada vértice de un grupo con todos los vértices del otro grupo. Un grafo así se denomina [color=#cc0000]bipartito completo[/color].[br][br]Un ejemplo muy conocido de este tipo de grafos es el que plantea el famoso [color=#cc0000]problema de las tres casas y los tres servicios[/color] (K[sub]3,3[/sub]). Se trata de conectar tres casas con tres fuentes de suministros (agua, luz y gas), sin que las conexiones se entrecrucen. En la ampliación de la actividad 4 del cuadernillo de actividades "La tela de araña" verás un razonamiento que demuestra que tal grafo no es posible en el plano, pero sí en otras superficies (puedes intentarlo en las hojas de ejercicios).
[center][/center]
En el apartado anterior, tal vez hayas llegado a la conclusión correcta de que un grafo completo de n vértices (K[sub]n[/sub]) tiene siempre n(n-1)/2 aristas. ¿Sabrías ahora averiguar cuántas aristas tiene un grafo bipartito completo K[sub]n,m [/sub]de "n" vértices de un grupo conectados con todos los "m" vértices de otro grupo? Por ejemplo, K[sub]3,3[/sub] tiene 9 aristas.[br][br][br][color=#CC3300][b]Matriz de adyacencia[br][/b][/color][br]La información recogida en un grafo también se puede expresar mediante números, lo que facilita los cálculos computacionales en grandes redes. Por ejemplo, la información del grafo de los puentes de Königsberg puede recogerse en una matriz, llamada [color=#cc0000]matriz de adyacencia[/color].
[center][/center]
Cada fila de la matriz representa el número de aristas que comparte un vértice con cada uno de los vértices. La suma de todos los números de una fila es el grado del vértice correspondiente. [br][br]Nota: Observa que la matriz es simétrica, ya que si una arista conecta A con B, también conecta B con A. Sin embargo, hay grafos (llamados [color=#cc0000]grafos dirigidos[/color]) en donde cada arista tiene una orientación, de modo que A puede conectar con B pero no al revés. En ese caso, la matriz de adyacencia no será simétrica.
El recorrido de la señora marquesa
[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/yybrap57]Redes y Grafos[/url].[/color]
¿Sabrías resolver este pequeño misterio?
