DEIMの論文にぴかしぼっと(@pika_shi_bot)を入れてやった.
数独の最小ヒント数は17であることがついに証明されたみたい.[1201.0749] There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem2年間で700万CPU時間かけて導きだしたとか.自分の好きなことにここまで打ち込めるのは素晴らしい…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。