Professional Documents
Culture Documents
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.
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.