Resumen: Si bien el juego Connect-Four se ha resuelto matemáticamente y el mejor movimiento puede calcularse de manera efectiva con los métodos basados en la búsqueda, se creía que una fuerte solución en forma de una tabla de búsqueda era inviable. En este artículo, revisamos un método de búsqueda simbólica basado en diagramas de decisión binarios para producir soluciones fuertes. Con nuestra implementación eficiente, pudimos producir una tabla de búsqueda grande de 89.6 GB en 47 horas en un solo núcleo de CPU con memoria principal de 128 GB para el tamaño estándar de $ 7 veces 6 $ de la placa. Además de esta evaluación de pérdida de draw-draw, incluimos una búsqueda alfa-beta en nuestro artefacto de código abierto para encontrar el movimiento que logra la victoria más rápida o la pérdida más lenta.
Publicado Originalme en export.arxiv.org El 8 de julio de 2025.
Ver Fuente Original
