game2_d2d3.proof.gz

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.

ASCII文本文件game2_d2d3.proof包含一份证明，证实了第2局洛斯阿拉莫斯国际象棋（Los Alamos chess）在走棋P-K3（即d2d3）后，黑方可在21步内实现强制获胜。该证明共涵盖267,410,116个黑方行棋的棋局局面，每个局面独占一行，每行内容会给出该局面下的应走着法；对于非将死着法，还会标注直至将死所需的剩余最大步数。该文件采用字母序排序（遵循LC_ALL=C区域设置规则），可在这份容量为12吉字节的证明文件中实现快速检索。