game2_d2d3.proof.gz
收藏DataCite Commons2025-05-01 更新2024-08-19 收录
下载链接：
https://figshare.com/articles/dataset/game2_d2d3_proof_gz/25424674/1
下载链接
链接失效反馈官方服务：
资源简介：
The ASCII text file game2_d2d3.proof contains a proof that Los Alamos chess game 2 after P-K3 (aka d2d3) is a forced win for black in 21 moves. The proof contains 267,410,116 positions with black to move, one per line, giving for each position the move to make, and for non-mating moves, the maximum number of moves remaining to mate. The file is sorted alphabetically (LC_ALL=C) allowing rapid lookup within the 12Gb proof.
提供机构：
figshare
创建时间：
2024-03-29
