数独の最小ヒント数は17であることがついに証明されたみたい.
[1201.0749] There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem
2年間で700万CPU時間かけて導きだしたとか.
自分の好きなことにここまで打ち込めるのは素晴らしい.
数独の最小ヒント数は17であることがついに証明されたみたい.
[1201.0749] There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem
2年間で700万CPU時間かけて導きだしたとか.
自分の好きなことにここまで打ち込めるのは素晴らしい.