¿Se ha resuelto el juego de las damas? Sí. Esto es lo que eso significa realmente

¿Qué significa que un juego esté «resuelto»?

En teoría de juegos, un juego resuelto es aquel en el que cada posición es determinista con respecto al resultado cuando se juega de forma óptima. Al analizar la historia de las damas, los investigadores demostraron finalmente que el juego termina en empate cuando ambas partes juegan de forma óptima.

Hay tres niveles de resolución de un juego:

• Resolución ultra-débil: un ordenador puede demostrar que el primer jugador puede ganar, perder o empatar en la jugada inicial, pero es posible que no conozca todas las jugadas posteriores.
• Resuelto débilmente: el juego se resuelve partiendo de la posición inicial y proporciona una estrategia que logra el resultado previsto frente a cualquier oponente.
• Resuelto fuertemente: el ordenador conoce la mejor jugada para una posición dada en el juego, independientemente del número de errores cometidos anteriormente.

Se dice que las damas están resueltas débilmente. Los científicos han establecido que, cuando ninguno de los jugadores comete un error, el juego terminará necesariamente en empate.

¿Quién resolvió el problema de las damas? La historia de Jonathan Schaeffer y Chinook

A Jonathan Schaeffer y a su equipo de la Universidad de Alberta se les atribuye haber resuelto el juego de las damas. En 1989, el proyecto comenzó con el desarrollo de un programa informático llamado Chinook.

No fue un éxito inmediato. Este proyecto se prolongó durante 18 años y requirió una enorme capacidad de procesamiento y algoritmos avanzados. Las pruebas concluyentes se publicaron finalmente en la revista científica *Science* en 2007.

¿Cómo resolvió Chinook el juego de damas? Una explicación sencilla del método

Resolver una partida en la que hay 500 quintillones ($5 \times 10^{20}$) de posiciones posibles no es algo que se pueda lograr fácilmente probando todos los movimientos. Si se intentaran contar uno por uno, el universo se acabaría antes de que se terminara. Este nivel de complejidad es el motivo por el que mucha gente se pregunta si el ajedrez es más difícil que las damas, ya que ambos requieren una inmensa capacidad de cálculo para su análisis. En lugar de recurrir al cálculo puro, el equipo de Chinook aplicó dos técnicas principales:

1. La base de datos de finales

El equipo comenzó tras finalizar la partida y luego retrocedió. Analizaron todas las posiciones posibles con dos piezas en el tablero, luego tres, luego cuatro, y así sucesivamente hasta diez. Esto permitió que el ordenador pudiera predecir el resultado de la partida tan pronto como quedaran solo diez piezas.

2. Búsqueda heurística

En la fase intermedia de la partida, donde hay demasiadas piezas como para calcular todas las ramificaciones, Chinook utilizó algoritmos de búsqueda avanzados. Exploró las rutas más probables desde la posición inicial hasta los resultados «conocidos» de la base de datos de finales.

En 2007, Chinook ya había explorado suficientes de estas rutas como para demostrar que la jugada inicial es un empate. Cuando juegas contra Chinook hoy en día, lo mejor que puedes esperar es un empate, y si cometes un solo pequeño error, perderás.

Marion Tinsley: la persona que más se acercó a la perfección en las damas

No se puede hablar de cómo ganar al juego de damas al más alto nivel sin mencionar al Dr. Marion Tinsley. Considerado a menudo el mejor jugador de damas de la historia, Tinsley era una auténtica excepción. En una carrera que abarcó 45 años, según se dice, solo perdió siete partidas.

En 1992, Chinook se enfrentó a Tinsley en el campeonato mundial. Tinsley ganó. Fue un momento histórico en el que la intuición humana se impuso a la potencia bruta del silicio. Sin embargo, en la revancha de 1994, Tinsley tuvo que retirarse por motivos de salud, y Chinook acabó convirtiéndose en el primer programa en ganar un título mundial frente a un humano.

La capacidad de Tinsley para ver el tablero era tan profunda que los investigadores utilizaron sus partidas para ayudar a perfeccionar la lógica de Chinook. Era, a todos los efectos, el equivalente humano de un algoritmo resuelto.

¿Qué significa realmente «resuelto» para los jugadores de damas?

¿El hecho de que las damas sean un juego resuelto significa que el juego ha muerto? En absoluto. Para el jugador medio, la solución no tiene prácticamente ningún impacto. La complejidad de 500 quintillones de posiciones sigue estando muy por encima de las capacidades del cerebro humano. No es posible memorizar la solución, por lo que cada vez que te concentras en una , disposición del tablero de damasla partida sigue siendo una prueba de habilidad, psicología y estrategia.

Sin embargo, en el mundo de la competición de alto nivel, el hecho de que el juego tenga una solución llevó a la adopción de restricciones de tres jugadas. En estos torneos, las tres primeras jugadas se eligen al azar de una baraja de cartas. Esto obliga a los jugadores a situarse en posiciones poco convencionales y les impide limitarse a jugar la partida perfecta que acaba en empate cada vez.

Comparación de juegos resueltos: Damas, ajedrez y otros juegos

Qué significa «resuelto» para los jugadores de hoy en día

Aunque los ordenadores pueden ganar a cualquier humano en el ajedrez, no han resuelto el juego, ya que el número de jugadas posibles es tan enorme que resulta imposible analizarlo todo. Las damas se resolvieron porque tienen un número razonable de posiciones que un ordenador acabaría dominando, mientras que el ajedrez tiene más variaciones que átomos hay en el universo.

Así pues, aunque un programa como Stockfish pueda ser increíblemente inteligente, sigue simplemente calculando la mejor suposición posible en lugar de seguir un curso de acción probado hasta el final. Esto pone de relieve la principal diferencia entre el ajedrez y las damas en lo que respecta a los límites computacionales. En un juego resuelto como las damas, podemos estar seguros de que la jugada perfecta dará lugar a un empate, pero en el ajedrez no tenemos ni idea de si la jugada perfecta dará lugar a un empate o a una victoria garantizada para uno de los bandos.