in

El problema del ángel

El prolífico matemático John Horton Conway, muy conocido por sus aportes a la teoría de conjuntos , de nudos, de números, de juegos y de códigos, propuso el denominado “problema del ángel” en 1982. Tiene dos jugadores -el ángel y el demonio- y se juega sobre un tablero de ajedrez de tamaño infinito. Sus reglas son muy sencillas, y el diablo debe intentar confinar al ángel mientras este evita ser atrapado. Pero la verdadera dificultad de este problema consiste en determinar si existe una estrategia tal que asegure que uno de los dos contrincantes pueda ganar siempre.

Si hablamos de juegos de tablero, parece que cuando más simples son sus reglas, más atractivos resultan. El ajedrez, uno de los más complejos juegos de tablero que existen, tiene reglas tan simples que cualquiera puede aprenderlas en cinco minutos. Sin embargo, aplicarlas correctamente o encontrar una estrategia que asegure la victoria es una tarea enormemente compleja.

El problema del ángel

El problema del ángel, propuesto por el matemático John Horton Conway en 1982 en el libro Winning Ways (Maneras de ganar), pertenece a esta categoría. A pesar de ser más conocido por haber creado en 1970 el “juego de la vida”, Conway es un prolífico matemático que ha hecho aportes muy importantes en la teoría de conjuntos , la teoría de nudos, la teoría de números, la teoría de códigos y la teoría de juegos. El problema del ángel pertenece a esta última categoría.

En algunas publicaciones este juego suele denominarse “Ángeles y Demonios”.

En este juego, que en algunas publicaciones suele denominarse “Ángeles y Demonios”, participan dos jugadores, llamados respectivamente “el ángel” y “el diablo”. Se juega sobre una tablero de ajedrez de tamaño infinito, y ambos jugadores poseen características completamente diferentes. El ángel tiene “poder k”, donde “k” es un número natural igual o mayor que 1, y que se acuerda entre ambos participantes antes de comenzar el juego. Al comenzar, el tablero solamente contiene dos fichas: el ángel, en el centro del mismo (aunque al ser infinito, no tiene mucho sentido hablar de “centro”) y el diablo en cualquier otra casilla.

En cada turno, el ángel salta a otra casilla vacía, con la condición de que dicha casilla -moviéndose como lo haría un rey en el ajedrez- se encuentre a “k” casillas de su posición anterior y no esté marcada. Cuando es su turno, el diablo puede “marcar” una casilla cualquiera en la que no esté el ángel. En sus movimientos el ángel puede saltar sobre casillas bloqueadas, pero no puede acabar su recorrido sobre una de ellas. El diablo gana si logra que el ángel no pueda moverse, y el ángel gana si puede sobrevivir indefinidamente. La pregunta del millón es: ¿Puede un ángel con poder suficientemente alto ganar?

Las situación, evidentemente, no pinta nada bien para el ángel.

Para asegurar que existe una estrategia ganadora deberíamos demostrar que, o bien el diablo puede forzar una victoria en un número finito de jugadas, o que el ángel siempre dispone de un movimiento al que puede recurrir para evitar perder, en cuyo caso su “estrategia ganadora” sería tan simple como escoger siempre este movimiento. Lamentablemente, la solución dista mucho de ser fácil de encontrar.

El mismo Conway ofreció una recompensa por una solución general a este problema, que a pesar de no ser excepcionalmente atractiva -unos 100 dólares por una estrategia ganadora para el ángel  y 1000 dólares para una demostración de que el diablo puede ganar cualquiera que sea el poder del ángel- hizo que cientos de aficionados a este tipo de pasatiempos transpirasen sangre tratando de encontrarla. Al igual que ocurre con otros juegos de tablero, es posible aplicar las reglas del problema del ángel a tableros de más dimensiones. En efecto, y aunque el juego original estaba pensado para tableros bidimensionales, las primeras demostraciones de estrategias exitosas (pero parciales) se encontraron para dimensiones mayores a dos.

En tres dimensiones se pudo demostrar que si el ángel se mueve siempre aumentando su coordenada Y, y el diablo sólo puede jugar moviéndose sobre dos planos, entonces el ángel tiene una estrategia ganadora. Por supuesto, nadie que jugase “de verdad” con el diablo se iba a limitar a mover de una forma más tonta, por lo tanto el ángel estaba muy lejos de tener una estrategia segura en su poder. Poco después se demostró que el bueno de la película podía ganar en 3D, siempre que su poder fuese mayor o igual que 13, sin importar de qué forma se moviese el diablo.

En cuanto al problema original, en dos dimensiones, fue el propio Conway quien hizo los primeros avances hacia la demostración buscada. En 1982 demostró que un ángel con k=1 siempre pierde frente al diablo. Ese mismo año también encontró que si el ángel nunca disminuye su coordenada Y, entonces el diablo siempre puede ganar.  Por último, en 1996, demostró que si el ángel siempre aumenta su distancia desde el punto de origen, entonces el diablo tiene una estrategia ganadora. Las situación, evidentemente, no pinta nada bien para el ángel.

Se juega sobre un tablero de ajedrez de tamaño infinito

A pesar de todos los esfuerzos, no existe una demostración que -jugando sobre un tablero 2D- asegure la victoria de ninguno de los dos contrincantes. Esto, que puede ser visto como un fracaso por algún pesimista, es en realidad una prueba de lo entretenido que puede resultar un juego sencillo como este. La inexistencia -al menos hasta ahora- de una estrategia ganadora asegura que ambos jugadores tienen la oportunidad de ganar, algo indispensable para que un juego sea viable. Mientras que miles de jugadores disfrutan de sus partidas de “Ángeles y Demonios”, cientos de matemáticos se esfuerzan para encontrar una demostración que -quizás- ni siquiera exista. 

Reportar

¿Qué te pareció?

Escrito por Ariel Palazzesi

14 Comments

Leave a Reply
  1. ¡Qué interesante! sobre todo porque, de momento, cualquiera de los dos puede ganar. Si fuera más inteligente me pondría a buscar una solución, pero en realidad la cosa se me escapa. Ni si quiera consigo jugar al ajedrez con una verdadera estrategia xD.

  2. Problemas matemáticos, como este, y algunos filosóficos comparten el desden de quienes no ven algo práctico en ellos. La historia paso por la misma situación, qué sirve conocer el pasado lo que importa es el presente y futuro.

  3. Articulo muy interesante, aunque no entiendo muy bien el movimiento del Angel. Es cierto que el ajedrez es tremendamente sencillo de aprender, para luego lo complicado que es de ganar. A no ser, claro esta, que juegues contra alguien que no tenga mucha idea. El juego del Angel y el Demonio tambien es muy simple, añadiendo quiza la "complejidad" de que el tablero es infinito. Habria que ver si el ajedrez tambien es irresoluble en un tablero infinito. Porque las veces que he jugado al ajedrez, solo era posible ganar cuando quedaban pocas fichas atrapando al Rey en algun rincon del tablero, algo que si fuese infinito no se podria hacer.

    • Obviamente aqui se puede jugar con las palabras, ya que si o si siempre hay que arrinconar al rey para que sea mate, pero no necesariamente contra los bordes del tablero, puede ser contra otra piezas o incluso contra "bordes" imaginarios marcados por torres o damas, cuyos casilleros el rey no puede ocupar. Incluso, hay un mate que es muy comun que se los hagan a los principiantes y se llama "Mate Pastor" en el cual, el Mate se logra retirando tan solo 1 pieza del tablero (un peon), y el rey queda "encerrado" entre todas sus otras piezas sin posibilidad de salvarse.
      Mas aun, debido a que alfiles, torres y damas pueden mover la cantidad de casilleros que deseen por turno, no tendria sentido tener un casillero infinito para salvarse ya que de una u otra manera el rey quedaria encerrado por poder moverse 1 casillero a la vez. El tener un casillero infinito en el ajedrez solo entorpeceria el juego y haria mas sencillo el mate.

  4. no le encuentro sentido a este problema

    mientras el angel tenga un tablero infinito jamas sera atrapado por el diablo

    o entendi mal?

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

Muy fácil de utilizar

Cómo convertir fotos en Emoji animados

Enlaces Recomendados de la Semana (N°482)