11×11 Domineering 已求解：先手必胜
人工智能
2016-02-18 v1
摘要
我们开发了一个名为 MUDoS（马斯特里赫特大学 Domineering 求解器）的程序，能够以非常高效的方式求解 Domineering 局面。这使得此前已知局面（直至 10×10 棋盘）的求解速度大幅提升（以所考察节点数衡量）。更重要的是，它使得 11×11 Domineering 棋盘的求解成为可能，该棋盘此前远远超出以往 Domineering 求解器的能力范围。该求解需要考察 259,689,994,008 个节点，在单台普通台式机上耗费了近半年的计算时间。结果表明，在最优对弈下，先手赢得 11×11 Domineering 对局，无论由 Vertical 还是 Horizontal 先手。此外，其他若干此前未解的棋盘也被求解。按照 Vertical 先手的约定，8×15、11×9、12×8、12×15、14×8 和 17×6 棋盘均由 Vertical 获胜，而 6×17、8×12、9×11 和 11×10 棋盘均由 Horizontal 获胜。
引用
@article{arxiv.1602.05404,
title = {11 x 11 Domineering is Solved: The first player wins},
author = {Jos W. H. M. Uiterwijk},
journal= {arXiv preprint arXiv:1602.05404},
year = {2016}
}