在消费级硬件上强解 7×6 连子四局
人工智能
2025-07-09 v1
摘要
虽然连子四局（Connect-Four）已被数学上解决，且可使用基于搜索的方法有效计算最佳移动，但以查找表形式的强解被认为不可行。本文我们重新审视了一种基于二进制决策图的符号搜索方法，以产生强解。通过高效实现，我们在单核 CPU 上（配备 128 GB 主存）用 47 小时生成了 89.6 GB 大的查找表，以适用于标准 7×6 棋盘大小。除了此胜负平评估外，我们还在开源作品中包含 alpha-beta 搜索，以寻找实现最快获胜或最慢失败的移动。
引用
@article{arxiv.2507.05267,
title = {Strongly Solving $7 \times 6$ Connect-Four on Consumer Grade Hardware},
author = {Markus Böck},
journal= {arXiv preprint arXiv:2507.05267},
year = {2025}
}