Durante siglos, maestros de salón, matemáticos y aficionados apasionados se formularon una misma pregunta ante el tablero: ¿encierra el juego de damas un destino ineludible? Cuando dos jugadores se enfrentan sobre una cuadrícula de sesenta y cuatro casillas sin cometer jamás un descuido, ¿dispone el primer jugador de una ventaja determinante? ¿Pesa sobre el segundo jugador un lastre insuperable? ¿O se halla el juego en un perfecto y absoluto equilibrio?
En julio de 2007, una célebre investigación publicada en la prestigiosa revista Science zanjó el debate de forma rotunda[1]. Dirigido por el científico Jonathan Schaeffer desde la Universidad de Alberta, un equipo internacional demostró que las damas inglesas (conocidas en el mundo anglosajón como checkers o draughts) están formalmente resueltas. Tras una empresa científica que abarcó 18 años y comenzó en 1989, su programa, llamado Chinook, aportó la prueba definitiva: el juego perfecto por ambas partes culmina de manera irreversible en tablas.
Este colosal logro no destruyó el placer de disfrutar de las damas. Muy al contrario, reveló con precisión por qué la geometría de este pasatiempo sigue cautivando tanto en tableros de madera como en plataformas digitales.
Los tres niveles de resolución según la teoría de juegos
En las conversaciones cotidianas solemos decir que un enigma está resuelto en cuanto encontramos el truco que lo despeja. En las matemáticas discretas y la computación, sin embargo, el concepto obedece a un marco formal establecido en 1994 por el especialista Victor Allis[2]. Allis definió 3 categorías estrictas para clasificar las soluciones en juegos de información perfecta:
- Resolución ultra-débil. Una demostración prueba el desenlace teórico de la posición de salida (victoria de las blancas, victoria de las negras o tablas), pero sin proporcionar un algoritmo ni una secuencia explícita de movimientos para materializarlo. El ejemplo célebre es el juego de Hex, donde la teoría de juegos demuestra que el primer jugador tiene victoria forzada por robo de estrategia, sin que exista una pauta práctica para jugar en tableros grandes.
- Resolución débil. Un algoritmo o árbol de demostración garantiza una estrategia completa capaz de forzar el empate o la victoria desde la posición inicial frente a cualquier respuesta del rival. Puede que el software no conozca el juicio exacto de posiciones absurdas fruto de jugadas grotescas, pero desde la apertura resulta absolutamente invencible. En este grupo se encuentran las damas[1].
- Resolución fuerte. Un algoritmo determina en tiempo real el valor exacto y la jugada óptima para cada una de las posiciones reglamentariamente alcanzables, sin importar los errores cometidos antes. Conecta 4 quedó fuertemente resuelto en 1988: el primer jugador fuerza la victoria desde cualquier situación si actúa correctamente[2].
Las damas inglesas se resolvieron de forma débil y no fuerte porque almacenar cada posición disparatada habría demandado una memoria infinita. El grupo de Schaeffer concentró su esfuerzo en resolver el curso de la partida partiendo de la formación reglamentaria. Dicha apertura enfrenta a 12 piezas oscuras contra 12 piezas claras en las 32 casillas oscuras, sumando 24 fichas en total[3].
18 años de cómputo: la hazaña científica de Chinook
El espacio combinatorio de las damas es infinitamente más profundo de lo que aparenta la sencillez de sus movimientos. En un tablero de 8×8 casillas, el número estimado de configuraciones legales asciende aproximadamente a 5 × 10^20 posiciones[1]. Escrita con todos sus dígitos, esa cantidad representa medio trillón de estados posibles. Analizarlas una por una en un procesador clásico habría demorado varios milenios.
Para dominar semejante laberinto, los investigadores dividieron el desafío en dos direcciones complementarias: calcular hacia atrás desde los finales de partida y explorar hacia adelante desde la posición inicial.
El cálculo retrógrado y los 39 billones de finales
La piedra angular de la solución residió en el análisis retrógrado. En lugar de avanzar a ciegas desde el primer movimiento, los científicos comenzaron por el desenlace del juego, cuando apenas quedan fichas sobre el paño. Una posición en la que una dama se mide a otra dama solitaria es trivial: concluye de inmediato en tablas. Dos damas acorralando a una ficha rival en una esquina constituyen un triunfo forzado.
Añadiendo fichas de manera escalonada, Chinook calculó el resultado matemático de cada configuración. Si un movimiento permite saltar a una postura victoriosa previamente archivada, la posición examinada se clasifica como ganada. Si todos los caminos legales conducen a un cuadro desfavorable, se etiqueta como perdida. Si la defensa perfecta mantiene el balance, se anota como tablas.
Entre 1989 y 2007, Chinook construyó tablas exhaustivas para todas las posiciones con 10 o menos piezas en el tablero[1]. Esta monstruosa base de datos contiene 39 billones de posiciones distintas. Una vez que una partida desciende a 10 piezas, Chinook no calcula: lee el destino indiscutible directamente de la memoria.
La unión entre la apertura y la base de datos de finales
Completadas las tablas de 10 piezas, restaba tender un puente seguro que enlazara la formación inicial de 24 piezas con ese umbral inferior[1].
El equipo aplicó algoritmos de búsqueda con número de prueba combinados con poda alfa-beta. El sistema exploró las variantes críticas, buscando simplificaciones forzadas y capturas que desembocaran en las bases de datos conocidas, al tiempo que descartaba las ramas donde una mala jugada quedaba refutada de inmediato.
Tras años de computación paralela en cientos de procesadores en red, se descartaron miles de millones de variantes superfluas para tejer un árbol verificado de decenas de millones de posiciones esenciales. Cada ramificación desde la apertura conducía a una fortaleza inexpugnable o enlazaba con las tablas de la base de 39 billones de posiciones. En 2007, la demostración concluyó con éxito: las damas son indiscutiblemente tablas[1].
Marion Tinsley: la mente humana ante el algoritmo
Mucho antes de que los procesadores descifraran el juego, un ser humano rozó la perfección absoluta mediante su deslumbrante intuición. El Dr. Marion Tinsley, profesor de matemáticas en Florida, es considerado por consenso unánime el mejor jugador de damas de todos los tiempos.
La trayectoria de Tinsley sobrepasa cualquier marca imaginable. A lo largo de una carrera competitiva de 45 años en torneos de élite, Tinsley perdió tan solo 9 partidas individuales entre miles disputadas[1]. Se proclamó campeón mundial durante décadas consecutivas, retirándose temporalmente solo cuando menguaba su motivación deportiva. Para medir a Chinook frente al listón más alto de la capacidad humana, Jonathan Schaeffer organizó un campeonato mundial oficial en 1992.
Aquel duelo de 1992 fue una lucha memorable entre el talento intuitivo y el cálculo maquinal. En 39 extenuantes partidas, Tinsley exhibió un dominio posicional sublime y doblegó a Chinook con un balance de 4 victorias, 2 derrotas y 33 tablas[1]. Supuso la primera vez en la historia del deporte de la mente en que un programa disputaba una corona oficial ante un monarca humano reinante.
En 1994 se celebró el esperado desquite. Tras 6 tablas consecutivas, Tinsley tuvo que retirarse aquejado de una enfermedad fulminante, falleciendo en 1995[1]. Chinook fue investido entonces campeón mundial hombre-máquina. El estudio posterior de los duelos de Tinsley reveló que sus decisiones coincidían casi milimétricamente con las bases de finales de Chinook. Su mente había interiorizado las armonías geométricas del tablero por pura intuición.
Comparación de complejidad: de Conecta 4 al ajedrez
Para sopesar la magnitud del cálculo de las damas, conviene situar el juego en la gran escala de la complejidad combinatoria.
En 1950, el célebre Claude Shannon examinó la estructura matemática del ajedrez en un trabajo fundacional sobre programación[4]. Shannon calculó que el ajedrez contiene cerca de 10^44 posiciones reglamentarias y un árbol de decisión de al menos 10^120 partidas concebibles, cifra venerada hoy como el número de Shannon[4].
Observemos el escalafón de los juegos analizados:
- Conecta 4: Fuertemente resuelto en 1988[2]. Con billones de estados, un equipo portátil corriente lo resuelve hoy en segundos.
- Damas inglesas de 8×8: Débilmente resueltas en 2007 con cerca de 5 × 10^20 posiciones[1]. Exigió 18 años de cálculo y una base de 39 billones de posiciones de finales.
- Ajedrez: Completamente sin resolver. Sus 10^44 posiciones y 10^120 bifurcaciones[4] superan cualquier tecnología de cálculo sistemático. En la actualidad, las tablas de finales de ajedrez cubren únicamente posiciones de hasta 7 piezas. Pasar a 8 piezas demandaría una capacidad de almacenamiento exorbitante, mientras que resolver la partida íntegra con 32 piezas queda fuera del alcance de la computación convencional.
- Damas internacionales de 10×10: Sin resolver. Jugadas en cien casillas con veinte piezas por bando, presentan un espacio estimado de 10^30 posiciones. El vuelo de la dama y la captura obligatoria por mayoría multiplican el árbol de variantes más allá del horizonte computable.
Por qué la solución matemática no apaga la pasión humana
Cuando el hallazgo de 2007 copó portadas, algunos analistas vaticinaron la muerte de las damas. Si las máquinas saben que todo concluye en tablas, ¿qué sentido tiene sentarse a mover piezas?
Semejante queja ignora la naturaleza del juego humano. Una resolución matemática retrata la colisión entre dos intelectos invulnerables que ejecutan decenas de jugadas sin el más leve titubeo. Sin embargo, ningún jugador de carne y hueso puede memorizar 39 billones de finales ni almacenar en su mente millones de ramificaciones de cálculo.
Sobre el tablero, las damas siguen siendo un combate táctico trepidante. La obligación reglamentaria de comer constituye el corazón de su dinamismo: si hay un salto disponible, es obligatorio ejecutarlo. Esta norma engendra combinaciones espectaculares donde se entregan piezas a propósito para arrastrar al contrario a diagonales comprometidas y asestar golpes múltiples demoledores.
En la práctica cotidiana, tres factores marcan la diferencia:
- La agudeza en la apertura. Aunque el cauce principal preserve la igualdad, las ramificaciones iniciales encierran trampas temibles. Un paso en falso en las primeras jugadas precipita la derrota en apenas dos turnos.
- El dominio estratégico del medio juego. Controlar las casillas centrales, salvaguardar la fila de coronación y dominar los flancos demandan una comprensión profunda. Quienes estudian la estrategia de damas superan con regularidad a quienes se limitan al cálculo inmediato.
- La exactitud en los finales. Con el material equilibrado, la regla de la oposición define la contienda. Un paso impreciso arruina una victoria evidente o permite al adversario refugiarse en una fortaleza intocable, como detallamos en nuestro análisis de finales de damas.
En los torneos oficiales se emplea el sorteo de aperturas para eludir los esquemas más transitados y situar a los maestros directamente ante posiciones inéditas. Las damas están más vivas que nunca; la ciencia simplemente acreditó la solidez y la nobleza de su diseño.
La dimensión psicológica del combate sobre el tablero
La igualdad teórica jamás se traduce en monotonía cuando dos personas se miden frente a frente. La presión del tiempo, el cansancio acumulado y la tensión de cada cambio de piezas convierten cada partida en una prueba de resistencia mental. Quien sabe anticipar las debilidades ajenas y mantener la serenidad táctica inclina la balanza a su favor sin necesidad de memorizar billones de datos.
La belleza de las damas radica en esa pugna viva de voluntades. La ciencia demostró que el empate aguarda en el horizonte perfecto, pero sobre la madera, la creatividad y la valentía determinan el destino de cada lance.
Tanto si vas a repasar las reglas de las damas, como si quieres descubrir diversas variantes de damas o prefieres jugar a las damas online contra aficionados de cualquier rincón del planeta, el tablero te aguarda con infinitas posibilidades. La ciencia trazó el veredicto final, pero la emoción del viaje le pertenece por entero a los jugadores.
Preguntas frecuentes
¿Están resueltas las damas para cualquier error imaginable?
No. Las damas inglesas están débilmente resueltas, no fuertemente resueltas. La prueba garantiza una estrategia perfecta a partir de la formación reglamentaria con 24 piezas en 32 casillas oscuras, asegurando las tablas[1]. Asimismo, resuelve todas las posiciones con 10 o menos piezas mediante su base de 39 billones de estados. No obstante, no cataloga jugadas disparatadas en posiciones con muchas piezas.
¿Puede un jugador humano ganar a Chinook hoy en día?
Frente a una versión íntegra de Chinook dotada de su libro de aperturas y su base de 10 piezas, ningún ser humano puede ganar. Al ser un empate probado, el sistema óptimo no perderá jamás. Si el rival actúa con perfección infalible, la partida acabará en tablas; si el humano incurre en la más mínima imprecisión posicional, la máquina se adueña de la ventaja y fuerza el triunfo.
¿Tienen ventaja las negras en las damas inglesas?
En las damas inglesas mueven primero las negras. Aunque llevar la iniciativa inicial permite disputar casillas centrales clave, la demostración de Schaeffer constató que este primer turno no basta para quebrar una defensa rigurosa[1]. Con un juego óptimo por ambas partes, esa ventaja se disuelve y la partida sella un empate riguroso.
Fuentes
- Schaeffer, J., Burch, N., Björnsson, Y., Kishimoto, A., Müller, M., Lake, R., Lu, P., & Sutphen, S. (2007). Checkers Is Solved. Science, 317(5844), 1518–1522.
- Allis, L. V. (1994). Searching for Solutions in Games and Artificial Intelligence. Ph.D. thesis, University of Limburg, Maastricht.
- Boardgammon. “Checkers Rules: How to Play, Movement, and Captures.”
- Shannon, C. E. (1950). Programming a Computer for Playing Chess. Philosophical Magazine, Ser. 7, 41(314), 256–275.
- Boardgammon. “Checkers Crown: Play Online Checkers and Regional Draughts Variants.”
- Boardgammon. “Play Checkers Online: Free Browser and Mobile Draughts.”
- Boardgammon. “Checkers Variants: The Kinds of Draughts Played Around the World.”
¿Hay un error o una frase que suena rara? Escríbenos
