研究人员开发了 Sanko,这是一种新的并行深度优先证明数求解器,旨在解决带位置超级劫 (PSK) 规则的围棋求解的复杂性。PSK 禁止重现早期的整个棋盘局面,这对转置表、静态生死判断和安全走法剪枝等传统求解工具提出了重大挑战。Sanko 通过一种新颖的证明迁移定理解决了这些问题,使其能够高效地求解 5x5 围棋,耗时仅为以前所需时间的一小部分,并为 PSK 规则下的众多棋盘局面确立了新的博弈论值。该团队还发布了求解器的源代码和所有运行数据,以确保其研究结果的可复现性。 AI
影响 引入了一种新颖的算法方法来解决复杂游戏,可能影响博弈论和组合搜索中的人工智能研究。
排序理由 学术论文,详细介绍了新算法及其在特定问题领域的应用。[lever_c_demoted from research: ic=1 ai=1.0]
- 4x7
- 5x5 Go
- arXiv
- basic-ko rule set
- Positional superko
- proof-transfer theorem
- safe move pruning
- Sanko
- static life-and-death recognition
- transposition tables
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →