arXiv ID:
2604.07907
arXiv 提交日期: 2026-04-09
捕获-静止分解:国际象棋残局库的验证定理 / Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases
1️⃣ 一句话总结
这篇论文提出了一个名为‘捕获-静止分解’的定理,通过将棋盘位置分为三类并建立验证规则,从根本上解决了国际象棋残局库结果标签的准确性验证难题,避免了传统方法可能出现的循环论证问题。