2013-03-12から1日間の記事一覧

「スパコンで力任せに数独の難しい問題を作る」はなぜ失敗したのか。

数独。ナンバープレースとか言われているパズルですね。 9x9のマス目があって、マス目はさらに3x3ごとにまとめられています。 そこに、1から9までの数字を入れていきます。 縦、横には同じ数字は1つしかはいりません。また、3x3でまとまったマス目(ブロック)…