leonhard euler y la teoría de grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf ·...
TRANSCRIPT
![Page 1: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/1.jpg)
Leonhard Euler y la Teoría
de Grafos
Margarita Toro & Carlos Mejía
Escuela de Matemáticas
Universidad Nacional de Colombia
Medellín
![Page 2: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/2.jpg)
Qué tienen en común:
Un pasatiempo de los habitantes de una
ciudad europea del siglo XVIII;
Colorear el mapa de Colombia;
Planear un viaje de vacaciones;
Planear una rueda de negocios o un evento
Estudiar la propagación de COVID-19
(CORONAVIRUS)
![Page 3: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/3.jpg)
Y ¿Qué tienen en común estas cosas con
Leonhard Euler, el matemático suizo, que
nació en 1707 y murió el 7 de septiembre de
1783 y cuyos trabajos más importantes se
centraron en el campo de las matemáticas
puras?
¿Qué tienen en común las siguiente
imágenes?
![Page 4: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/4.jpg)
![Page 5: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/5.jpg)
![Page 6: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/6.jpg)
Simulación Química Artificial
![Page 7: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/7.jpg)
Conectividad de Internet
![Page 8: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/8.jpg)
Mapa de Internet, Coloreado por
direcciones IP
![Page 9: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/9.jpg)
WWW: Jerarquía Topológica
![Page 10: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/10.jpg)
Conexiones de Viajes
![Page 11: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/11.jpg)
Vínculos
• https://www.eventtia.com/es/inicio
• https://towardsdatascience.com/graph-theory-helped-the-british-become
![Page 12: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/12.jpg)
Todas ellas son ejemplos de problemas que se
pueden modelar usando la Teoría de Grafos, que es una rama de las
Matemáticas y tiene mucho interés en las
Ciencias de la Computación, y cuyo
precursor fue precisamente Leonhard Euler.
![Page 13: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/13.jpg)
La Teoría de Grafos, una rama de la Topología,
es el estudio de estructuras matemáticas que
se usan para modelar relaciones entre
objetos de una colección.
En 1736, época en la que vivió en Prusia,
Euler resolvió el problema conocido como el
Problema de los siete puentes de
Königsberg.
![Page 14: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/14.jpg)
La siguiente es una traducción textual del
artículo que Euler escribió sobre el problema
de los puentes de Königsberg.
“El problema, que entiendo es bien conocido,
dice lo siguiente: En el pueblo de Königsberg,
en Prusia, hay una isla llamada Kneiphof,
rodeada por dos ramas del río Pregel: Hay
siete puentes, a, b, c, d, e, f, y g cruzando las
dos ramas, como se muestra en la figura
![Page 15: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/15.jpg)
![Page 16: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/16.jpg)
La pregunta es si una persona puede
caminar de tal forma que pueda cruzar cada
uno de estos puentes una vez, pero no más
que una vez.
Me han dicho que algunos insisten en que
esto es imposible y que otros tienen dudas,
nadie es capaz de afirmar que es posible.
Con base en lo anterior, he formulado el
siguiente problema general…”
![Page 17: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/17.jpg)
Euler continúa en su trabajo formulando una
teoría general que resuelve el problema
particular y da origen a toda una nueva rama
de las matemáticas, la Teoría de grafos.
Reconstruyamos la forma como resolvió Euler
el problema de los siete puentes:
![Page 18: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/18.jpg)
Primero, analicemos los puentes y el río
![Page 19: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/19.jpg)
Ahora, olvidémonos de las distracciones
Concentrémonos en la información pertinente
![Page 20: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/20.jpg)
Simplifiquemos las cosas aún más:
![Page 21: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/21.jpg)
Por último llegamos simplemente a
Esta figura es
un Grafo
![Page 22: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/22.jpg)
Un grafo está formado por
Vértices
![Page 23: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/23.jpg)
Un grafo está formado por
Vérticesy
Aristas
![Page 24: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/24.jpg)
Un grafo, (gráfico o red) se refiere a una
colección de vértices o nodos y una
colección de aristas, donde cada arista
conecta dos vértices.
Se usa como una abstracción de la relación
entre objetos. Los grafos consisten
exclusivamente de vértices y aristas. Todas
las características del sistemas se eliminan o
se reunen dentro de estos conceptos
![Page 25: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/25.jpg)
Grado de un vértice
= Número de aristas
Grado 3
Grado 5 Grado 3
Grado 3
![Page 26: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/26.jpg)
Clave de la Solución
Estudiar los vértices impares
Llegamos a este
Vértice
![Page 27: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/27.jpg)
Ahora salimos
de este
Vértice.
![Page 28: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/28.jpg)
Al volver otra vez
No importa el
camino
No se puede salir.
Tiene que ser un
Vértice Final
![Page 29: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/29.jpg)
Este análisis se le hace a todos los vértices.
Por tanto, se tiene que
No es posible que haya un camino como el buscado, ya que hay cuatro vértices impares.
![Page 30: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/30.jpg)
Variación: Si tenemos un puente más
![Page 31: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/31.jpg)
*
![Page 32: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/32.jpg)
![Page 33: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/33.jpg)
![Page 34: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/34.jpg)
![Page 35: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/35.jpg)
![Page 36: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/36.jpg)
![Page 37: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/37.jpg)
![Page 38: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/38.jpg)
![Page 39: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/39.jpg)
En términos de la teoría de grafos
Un camino euleriano en un grafo es un
recorrido que usa cada arista exactamente
una sola vez.
Un circuito euleriano es un camino euleriano
que empieza y termina en el mismo punto.
En caso de que exista tal camino se dice que el
grafo es Euleriano.
![Page 40: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/40.jpg)
El problema de los puentes de Königsberg
consiste en investigar si existe un camino
euleriano.
Si se exige iniciar y terminar en el mismo
punto, corresponde a encontrar un circuito
euleriano.
![Page 41: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/41.jpg)
La solución que dió Euler al problema establece que:
Un grafo contiene un circuito euleriano si y sólo si todos sus vértices son pares.
Un grafo contiene un camino euleriano si y sólo si tiene dos vértices impares y los otros vértices pares.
Además, cualquier camino euleriano empieza en uno de los vértices impares y termina en el otro.
![Page 42: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/42.jpg)
La solución a este problema dada por Euler
es considerada el primer teorema de Teoría
de Grafos.
![Page 43: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/43.jpg)
Euler reconoció que la información clave era
el número de puentes y la lista de sus
extremos, y que no importaba la posición
exacta, sino posiciones relativas.
Estas ideas fueron precursoras de la
Topología, que Poincaré llamó inicialmente
Analysis Situs.
![Page 44: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/44.jpg)
La diferencia entre el mapa exacto de la
ciudad y la situación de los puentes y el grafo
esquemático es un buen ejemplo de la forma
de pensamiento topológico, al que no le
interesa las distancias ni las formas rígidas.
![Page 45: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/45.jpg)
Nota Histórica: Situación actual de los
puentes de Königsberg, ahora Kaliningrad.
Dos de los puentes fueron destruidos por bombardeos durante la Segunda Guerra Mundial.
Otros dos fueron demolidos y reemplazados por autopistas modernas. Los otros tres puentes permanecen, aunque sólo dos de ellos son los originales de la época de Euler, pues el otro fue reconstruido en 1935.
Así que ahora el problema de los puentes de Königsberg es diferente.
![Page 46: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/46.jpg)
Característica de Euler
Otro concepto en el que Euler fue precursor
Relaciona el número de vértices, el número de
aristas y el número de caras.
� � V � E � C
![Page 47: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/47.jpg)
La Característica de Euler fue definida
inicialmente para poliedros.
Se usó para probar varios teoremas acerca de
ellos, incluyendo la clasificación de los
sólidos platónicos.
Hoy es un concepto muy importante en la
Topología.
![Page 48: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/48.jpg)
Tetraedro
V= 4
E=6
C=4
4-6+4=2
� � V � E � C
� �
![Page 49: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/49.jpg)
Cubo
V= 8
E=12
C=6
8-12+6=2� �
� � V � E � C
![Page 50: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/50.jpg)
Octaedro
V= 6
E=12
C=8
6-12+8=2� �
� � V � E � C
![Page 51: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/51.jpg)
Dodecaedro
V= 20
E=30
C=12
20-30+12=2� �
� � V � E � C
![Page 52: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/52.jpg)
Icosaedro
V= 12
E=30
C=20
8-12+6=2� �
� � V � E � C
![Page 53: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/53.jpg)
Historia
El artículo Solutio problematis ad geometriam
situs pertinentis, escrito por Euler sobre los
siete puentes de Königsberg y publicado en
1736 en la revista anual de la Academia de
San Petersburgo, Tomo VIII, pág. 128-140 es
claramente el primer artículo en esta teoría y
por tanto su punto de partida.
Hay una traducción en la enciclopedia Sigma,
El Mundo de las Matemáticas, tomo 4,
páginas 164-171.
![Page 54: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/54.jpg)
Problema del Caballo
Euler presentó el primer artículo matemático
sobre el problema del Caballo. Curiosamente
está publicado en francés, que no era la
costumbre de la época: “Solution d'une
question curieuse qui ne paroit soumise à
aucune analyse”, Mémoires de l'Academie
Royale des Sciences et Belles Lettres, Année
1759, vol.15, pp.310–337, Berlín 1766.
![Page 55: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/55.jpg)
En palabras de Euler:
Me encontré un día en un juego de ajedrez y
alguien propuso el siguiente problema:
recorrer con un caballo todas las celdas de
un tablero de ajedrez, sin pasar dos veces
por la misma celda e iniciando en una celda
dada…
![Page 56: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/56.jpg)
![Page 57: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/57.jpg)
La fórmula de Euler, que relaciona los
números de vértices, aristas y caras de un
poliedro fue generalizada por Cauchy y
L´Huillier y es una de las bases para la
Topología.
El artículo de Vandermonde (1735-1796)
sobre el problema del caballo del ajedrez
continúa con las ideas topológicas iniciadas
por Leibniz y Euler.
![Page 58: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/58.jpg)
![Page 59: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/59.jpg)
Pasado más de un siglo del trabajo de Euler
sobre los puentes de Königsberg, Cayley
estudió un tipo particular de grafos, los
árboles. Su motivación fue el estudio de
problemas que provenían del cálculo
diferencial.
![Page 60: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/60.jpg)
Los árboles tienen aplicaciones en la Química
Teórica. El origen de parte de la terminología
que se usa hoy en la Teoría de Grafos
proviene de esta interacción con las ideas de
la Química.
![Page 61: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/61.jpg)
El término “grafo” fue introducido por James
Joseph Sylvester (Inglés, 1814-1897) en un
artículo publicado en 1878 en la revista
Nature.
El desarrollo de la Topología entre 1860 y
1930 aportó grandes contribuciones a la
Teoría de grafos, en particular con los
trabajos de Camille Jordan (Francés, 1838-
1922) , Kazimierz Kuratowski (Polaco, 1896-
1980) y Hassler Whitney (Americano, 1907-
1989).
![Page 62: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/62.jpg)
Otro aporte importante fue el empleo de
técnicas del álgebra moderna.
Un ejemplo de la aplicación de estas técnicas
se encuentra en el trabajo del físico Gustav
Kirchhoff, quien publicó en 1845 la ley de
circuito de Kirchhoff, que permite calcular el
voltaje y la corriente en circuitos eléctricos.
![Page 63: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/63.jpg)
Uno de los problemas más famosos de la
Teoría de Grafos es el problema de los cuatro
colores:
¿Es verdad que en cualquier mapa dibujado en
el plano se pueden colorear sus regiones con
cuatro colores, de tal forma que dos regiones
que tengan un borde común tengan diferente
color?
![Page 64: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/64.jpg)
![Page 65: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/65.jpg)
El problema de los cuatro colores fue
propuesto por primera vez por Francis
Guthrie en 1852
El primer registro escrito es una carta de De
Morgan a Hamilton de ese mismo año.
Durante el tiempo que estuvo el problema sin
resolver se propusieron muchas pruebas
incorrectas, incluso de matemáticos tan
importantes como Cayley.
![Page 66: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/66.jpg)
Este problema permaneció sin resolverse por más de un siglo y su prueba, dada en 1976 por Kennet Appel y Wolfgang Haken, involucró el uso del computadorpara chequear las propiedades de 1936 tipos de configuraciones. Este trabajo es imposible de hacer a mano.
![Page 67: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/67.jpg)
Esta solución creó todo una discusión entre la comunidad científica, en especial la comunidad matemática sobre
¿Qué es una prueba?
![Page 68: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/68.jpg)
Hoy en día esa discusión está más o menos
resuelta, y la solución de Appel y Haken se
considera una prueba correcta.
En 1996 Robertson, Seymour, Sanders y
Thomas publicaron una prueba más simple
de este problema. También requiere el uso
del computador.
![Page 69: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/69.jpg)
Una rama más reciente de la Teoría de grafos
es conocida como Teoría de Grafos
Aleatorios e involucra la introducción de
métodos probabilísticos.
Esta es una rama con mucha investigación.
![Page 70: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/70.jpg)
Aplicaciones
Antes de la introducción de grandes redes de computadores, la Teoría de Grafos era un campo de carácter teórico, sin gran interés por sus aplicaciones prácticas.
Era una rama de la Topología, que está dentro de las Matemáticas “Puras”.
![Page 71: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/71.jpg)
Ejemplos de estructuras que se pueden
modelar por grafos aparecen por todas
partes y muchos problemas de interés
práctico se pueden representar por grafos.
La estructura de un sitio web se puede
representar por un grafo dirigido: los vértices
son las páginas web disponibles en el sitio y
existe una arista dirigida entre la página A y
la página B si y sólo si la página A contiene
un vínculo a la página B.
![Page 72: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/72.jpg)
A partir del momento en el que el análisis de
redes adquirió un interés comercial, la Teoría
de Grafos se convirtió en una rama de las
Matemáticas Aplicadas, y despertó un gran
interés, no sólo en el mundo académico sino
también en la comunidad general.
![Page 73: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/73.jpg)
La estructura de un grafo se puede extender si
se le asigna a cada arista un “peso” o
“etiqueta”.
Los grafos con peso se usan para modelar, por
ejemplo, las redes viales, donde cada arista
representa una carretera que une dos
ciudades y el peso representa la longitud de
cada carretera.
![Page 74: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/74.jpg)
Las redes son digrafos con peso, y su
estudio tiene muchas aplicaciones prácticas.
El Análisis de Redes es por tanto una rama
de la Teoría de Grafos.
La Teoría de Grafos se usa para estudiar
moléculas en Química y en Física.
![Page 75: Leonhard Euler y la Teoría de Grafos - medellin.unal.edu.cocemejia/doc/fdmd/intrografos.pdf · Qué tienen en común: ... se usan para modelar relaciones entre objetos de una colección](https://reader034.vdocuments.site/reader034/viewer/2022042709/5f4b97341d211059951075cf/html5/thumbnails/75.jpg)
De igual forma se tienen problemas de
diseño de rutas de viajes, problemas de
Biología, diseño de tarjetas para computador.
En este momento es un problema importante
el diseño de algoritmos que permita
manipular eficientemente grafos complejos.