読者です 読者をやめる 読者になる 読者になる

数独

数独の最小ヒント数は17であることがついに証明されたみたい.

[1201.0749] There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem

2年間で700万CPU時間かけて導きだしたとか.

自分の好きなことにここまで打ち込めるのは素晴らしい.