★ 2
Sanko 求解器在位置超级劫规则下证明 5x5 围棋
论文提出并行深度优先证明数求解器 Sanko，通过证明迁移定理在位置超级劫（PSK）规则下恢复置换表、死活识别与安全剪枝三项技术。6 线程 16 分钟证明 5x5 围棋，此前最优需 5.25 小时；并首次给出 23 个棋盘的 PSK 值，其中 11 个此前在任何规则下均未解出。作者开源求解器与全部…
arXiv cs.AI11 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出并行深度优先证明数求解器 Sanko，通过证明迁移定理在位置超级劫（PSK）规则下恢复置换表、死活识别与安全剪枝三项技术。6 线程 16 分钟证明 5x5 围棋，此前最优需 5.25 小时；并首次给出 23 个棋盘的 PSK 值，其中 11 个此前在任何规则下均未解出。作者开源求解器与全部…