Está en la página 1de 6

Introduccin

Bsicamente Euler, se le presento el problema de los puentes, donde el con sus


teoras y creencias logra implementar un sistema mas organizado de regiones y puentes
(Vrtices y Arista), llamado grafo; de esto se basa la resolucin de los puentes de
knigsber, adems que deja la importancia de cmo saber cuando un grafo tiene o no
solucin, pero antes de empezar, Qu es un grafo?
En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo,
imagen) o grfica es un conjunto de objetos llamados vrtices o nodos unidos por enlaces
llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un
conjunto. Son objeto de estudio de la teora de grafos. Tpicamente, un grafo se representa
grficamente como un conjunto de puntos (vrtices o nodos) unidos por lneas (aristas).
Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre
unidades que interactan unas con otras. Por ejemplo, una red de computadoras puede
representarse y estudiarse mediante un grafo, en el cual los vrtices representan terminales
y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones
inalmbricas). Prcticamente cualquier problema puede representarse mediante un grafo, y
su estudio trasciende a las diversas reas de las ciencias exactas y las ciencias sociales.
Entonces podemos decir que un conjunto de grafos asociados, todo esto forma parte de la
teora de grafos la cual es una rama de la matemticas discretas y aplicadas, y es una
disciplina que unifica diversas reas como combinatoria, lgebra, probabilidad, geometra
de polgonos, aritmtica y topologa.

Los Siete Puentes de Knigsber

Knigsberg (hoy Kaliningrado, Rusia) fue una ciudad al norte de Alemania,


construida a ambos lados del ro Pregel (Pregolva en ruso). La ciudad incluye dos islas y,
en 1736, un total de siete puentes las conectaba con la ciudad. El problema se trataba de
encontrar un punto en de la ciudad de manera que, partiendo de l, se pudiese llegar de
nuevo a este punto pasando una sola vez por cada uno de los siete puentes.
El problema lleg a odos de Euler cuando ste se encontraba trabajando en San
Petersburgo y, en 1736, public un artculo solucionando el tema titulado "Solutio
problematis ad geometriam situs pertinentis" ("Solucin de un problema relativo a la
geometra de posicin"). Se considera este artculo como los comienzos de la Topologa; y
es que ya con el ttulo, Euler dejaba entrever que se trataba de un tipo diferente de
geometra, en el que la distancia no era relevante.
En su artculo, Euler no slo mostraba que no exista solucin del problema de los puentes,
sino que generaliz el problema representando la situacin como un grafo conexo y
concluyendo que un grafo conexo tiene un ciclo euleriano (el camino buscado en el
problema) si, y slo s,

La valencia de todos los vrtices es par (esto es, si cada vrtice est conectado con
un nmero par de aristas).
La valencia de todos los vrtices es par, salvo la de dos vrtices que es impar.

Anlisis y solucin del problema

El problema, formulado originalmente de manera informal, consista en responder a


la siguiente pregunta:
Dado el mapa de Knigsberg, con el ro Pregolya dividiendo el plano en cuatro regiones
distintas, que estn unidas a travs de los siete puentes, es posible dar un paseo
comenzando desde cualquiera de estas regiones, pasando por todos los puentes,
recorriendo slo una vez cada uno, y regresando al mismo punto de partida?
La respuesta es negativa, es decir, no existe una ruta con estas caractersticas. El
problema puede resolverse aplicando un mtodo de fuerza bruta, lo que implica probar
todos los posibles recorridos existentes. Sin embargo, Euler en 1736 en su publicacin
Solutio problematis ad geometriam situs pertinentis demuestra una solucin generalizada
del problema, que puede aplicarse a cualquier territorio en que ciertos accesos estn
restringidos a ciertas conexiones, tales como los puentes de Knigsberg.
Para dicha demostracin, Euler recurre a una abstraccin del mapa, enfocndose
exclusivamente en las regiones terrestres y las conexiones entre ellas. Cada puente lo
represent mediante una lnea que una a dos puntos, cada uno de los cuales representaba
una regin diferente. As el problema se reduce a decidir si existe o no un camino que
comience por uno de los puntos azules, transite por todas las lneas una nica vez, y regrese
al mismo punto de partida.

Demostracin
Euler determin, en el contexto del problema, que los puntos intermedios de un
recorrido posible necesariamente han de estar conectados a un nmero par de lneas. En
efecto, si llegamos a un punto desde alguna lnea, entonces el nico modo de salir de ese
punto es por una lnea diferente. Esto significa que tanto el punto inicial como el final

seran los nicos que podran estar conectados con un nmero impar de lneas. Sin
embargo, el requisito adicional del problema dice que el punto inicial debe ser igual al
final, por lo que no podra existir ningn punto conectado con un nmero impar de lneas.
En particular, como en este diagrama los cuatro puntos poseen un nmero impar de lneas
incidentes (tres de ellos inciden en tres lneas, y el restante incide en cinco), entonces se
concluye que es imposible definir un camino con las caractersticas buscadas.

Repercusiones

Esta abstraccin del problema ideada por Euler dio pie a la primera nocin de grafo,
que es un tipo de estructura de datos utilizada ampliamente en matemtica discreta y en
ciencias de la computacin. A los puntos se les llama vrtices y a las lneas aristas. Al
nmero de aristas incidentes a un vrtice se le llama el grado de dicho vrtice.
Especficamente, un diagrama como el de la abstraccin del mapa de Knigsberg
representa un multigrafo no dirigido sin bucles.
En la teora de grafos, existe un concepto llamado ciclo euleriano, llamado as
justamente en honor a Leonhard Euler, que representa cualquier camino dentro de un grafo
particular, capaz de recorrer todas las aristas una nica vez, regresando finalmente al
mismo vrtice original. En coloracin de grafos, una subrea de la teora de grafos, la
resolucin de este problema constituye adems el primer teorema de los grafos planares.
Por otra parte, la publicacin de Euler es la primera que hace alusin a una
geometra en que slo interesan las propiedades estructurales de los objetos, y no sus
medidas, como tradicionalmente se hace. El matemtico llama a esta nueva manera de ver
los objetos geomtricos geometriam situs, trmino que hoy se traduce como topologa,
rea actual de la matemtica cuyo origen directo puede situarse en la resolucin de este
problema.