Seguro que muchos de vosotros conocéis el problema de las tres casas y los tres suministros. Sí, ése en el que hay que intentar conectar tres casas con tres centrales de suministro de agua, luz y gas con la condición de que ninguno de los caminos usados para estas conexiones se corten.

Este problema no tiene solución, como ya hemos visto por aquí, y la teoría de grafos nos dice por qué. La cuestión es que este problema se puede modelizar mediante grafos. El grafo que queremos construir se denomina K_{3,3} (la K es en honor a Kazimierz Kuratowski), por lo que el problema ahora sería el siguiente: ¿podemos construir el grafo K_{3,3} en un plano de forma que no haya dos aristas que se corten (en un punto que no sea un vértice)? Pues la respuesta es no, no se puede. El propio Kuratowski demostró que K_{3,3} no es plano (no se puede dibujar en un plano sin que haya cortes entre aristas en puntos que no son vértices), por lo que el «problema de los suministros» no tiene solución en un plano.

(Una representación de K_{3,3} con varios cortes en puntos que no son vértices.)

Cambiemos de «ciudad matemática», pasemos de un plano a una banda de Möbius. ¿Tendrá solución ahora este problema? ¿Podremos suministrar las tres casas con los tres servicios sin que se corten los caminos utilizados para ello? Pues en este caso la respuesta es un rotundo sí, las curiosas propiedades de la banda de Möbius hacen que ahora sí se pueda realizar esta conexión entre casas y centrales de suministro. En concreto, la clave está en el hecho de que la banda de Möbius tiene una sola cara. Pero para entenderlo qué mejor que una imagen ilustrativa de este hecho, ¿verdad? Vamos a ello.

En la imagen siguiente podemos ver tres puntos azules cerrados, que harán el papel de «casas», y tres puntos negros abiertos, que simbolizarán los «suministros». Como podéis ver, al conectar casas con suministros «de la forma habitual» quedan dos conexiones sin hacer. Para hacerlas utilizamos que las líneas no están dibujadas «en uno de los dos lados de la banda» sino «en el único lado de la banda» (recordemos, tiene una sola cara). Es decir, tanto los puntos como las líneas están algo así como «incrustados» en la propia banda. Por tanto, podemos dibujar las líneas que aparecen hacia la derecha, que saldrán de manera inversa por el otro lado de la banda, consiguiendo así que no se crucen. Aquí lo vemos con la banda «desplegada»

y aquí con la banda ya «plegada»

Sencillo a la par que curioso, ¿verdad?

Más de uno estaré ahora pensando en otro grafo de Kuratowski que tampoco es plano. Sí, me refiero a K_5, el grafo completo de cinco vértices. Es un grafo con cinco vértices en el que cada uno de los vértices está conectado mediante una arista con los otros cuatro:

(Una representación de K_5 con varios cortes en puntos que no son vértices.)

Como hemos dicho antes, se sabe que este grafo no puede representarse en un plano sin que haya cortes entre las aristas en puntos que no sean vértices (invito a quien no lo crea a que lo intente). ¿Podrá representarse en una banda de Möbius? Pues, como antes, la respuesta vuelve a ser un rotundo sí. Utilizando de nuevo que la banda de Möbius tiene una única cara podemos representar K_5 en ella. Aquí la podéis ver «sin montar»:

y aquí «montada», en la que se ve que los vértices A y C están unidos con una arista de color azul y los vértices B y D con una de color negro que no se cortan:

Y para finalizar es interesante comentar que ni mucho menos la banda de Möbius es la única superficie donde se pueden representar K_{3,3} y K_5 sin que haya cortes entre aristas en puntos que no sean vértices. Por ejemplo, también puede hacerse esto en un toro, y aquí tenéis cómo hacerlo con K_{3,3}.

Fuentes y enlaces relacionados:

Print Friendly, PDF & Email
4 1 vote
Article Rating

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉