Anlisis y solucin del problema

Leonhard Euler (1707 - 1783), famoso matemtico que resolvi el problema en 1736, dando origen a la teora de grafos. Retrato de 1753. 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 ms de un nico 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 llaman 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 multgrafo 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.

El problema original en la actualidad

Puente de la Miel sobre el ro Pregolya en Kaliningrado.Dos de los siete puentes originales fueron destruidos por el bombardeo de Knigsberg durante la Segunda Guerra Mundial. Otros dos fueron posteriormente demolidos y reemplazados por carreteras modernas. Los tres puentes restantes an permanecen en pie, aunque slo dos de ellos desde la poca de Euler, pues uno fue reconstruido en 1935.

Por lo tanto, en la actualidad slo existen cinco puentes en Kaliningrado, distribuidos de tal manera que ahora es posible definir un camino euleriano,es decir, una ruta que comienza en una isla y terminar en otra; pero no todava un ciclo euleriano, es decir, que la ruta comience y termine en el mismo lugar, lo cual era necesario para cumplir con las condiciones iniciales del problema

Llamamos camino Euleriano al camino que visita todas las aristas slo una vez. Si el camino forma un ciclo, se le denomina ciclo Euleriano. Si una grfica tiene un camino

Euleriano, se dice que la grfica es Euleriana. Se conocen con este nombre en honor a Leonhard Euler, quien fue el primero en estudiarlas al tratar de resolver el problema de los siete puentes de Knigsberg. La primera condicin que necesitamos para que una grfica sea Euleriana es que sea conexa. Si la grfica es no dirigida, entonces todos los vrtices deben tener grado par (para formar un ciclo) o slo deben existir dos con grado impar (se puede formar un camino). Para las grfica no dirigidas, necesitamos que la cantidad de aristas que entran sean igual a las que salen (para el ciclo), o que exista slo un vrtice que tenga una arista ms que entra y slo un vrtice que con una ms que salga (para el camino). Esto tambin aplica para multigrficas. El algoritmo ms conocido para construir un camino o ciclo Euleriano se le conoce como algoritmo de Fleury. Teniendo una grfica Euleriana, tomamos un vrtice con grado impar para empezar o cualquiera si no hay impares. Para escoger la arista a tomar, utilizamos cualquiera que no sea un puente a menos que no tengamos otra opcin. Recordemos que un puente es una arista que al borrarla la grfica se vuelve noconexa. A la arista que tomamos, la borramos (o la hacemos no elegible). Repetimos este procedimiento hasta que no queden aristas. A la grfica que le quitamos las aristas se le conoce como grfica reducida.