arXiv cs.AI· Sami Kharma, Florian Schintke·· 12 小时前AI 评分31
Sanko 求解器在位置超级劫规则下解出 5x5 围棋并确立 23 个新棋盘值
Solving Go under Positional Superko: Sound Proof Transfer and New Board Values
AI 导读
Sanko 是一个并行深度优先的证明数求解器，通过证明迁移定理在位置超级劫（PSK）规则下恢复置换表、静态死活识别与安全剪枝，用六线程 16 分钟解出 5x5 围棋，此前最优方法需六进程 5.25 小时。
正文 · AI 翻译
摘要：位置超级劫（PSK）禁止重现任何先前的全盘局面。它既是成文中国规则的一部分，也是计算机围棋所用规则的一部分。然而，几乎所有已求解的围棋棋盘都是在更简单的基本劫规则集下计算出来的。PSK 使求解变得困难：合法性取决于整个对局历史，这破坏了使求解可行的三个工具，即置换表（图-历史交互问题）、静态死活识别和安全着法剪枝。我们提出 Sanko，一个并行深度优先证明数求解器，它健全地恢复了全部三个工具。其核心是一个廉价的证明迁移定理：存储的证明在新路径上保持有效，除非证明的胜者必须创造的某个棋盘已经出现过。Sanko 用六个线程在 16 分钟内证明了 5x5 围棋，而此前的最先进技术用六个进程需要 5.25 小时，在单台 192 线程机器上则只需约一分半钟。它还首次确立了另外二十三个棋盘的 PSK 值，其中十一个在任何规则下都未被求解。超级劫改变了博弈论值：4x7 在基本劫下是整盘胜，在 PSK 下却只值 12 点，并且我们精确指出了先前发表的最优行棋线失败的那一步。与先前对空围棋棋盘的求解不同，我们发布了求解器源代码，以及我们数值和测量背后每次运行的命令行和结果，以便所有报告的值都可复现。
| 评论： | 15 页，7 幅图，12 张表 |
| 主题： | 人工智能（cs.AI） |
| MSC 分类： | 91A46, 68T20 |
| ACM 分类： | I.2.8; I.2.1 |
| 引用为： | arXiv:2610.29414 [cs.AI] |
| （或本版本的 arXiv:2610.29414v1 [cs.AI]） | |
| https://doi.org/10.48550/arXiv.2610.29414 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Sami Kharma [查看电子邮件]
[v1]
2026 年 10 月 21 日星期三 08:37:12 UTC（44 KB）
来源：arXiv cs.AI · arxiv.org