2012-01-15から1日間の記事一覧

論文にぴかしぼっと

DEIMの論文にぴかしぼっと(@pika_shi_bot)を入れてやった.

数独

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