12.01.05, 15:19 #12010002
339 / 数独の最低表出数
最近、パズルの学術的側面が気になって仕方がない私。
数独の最低表出数は17個であることがつい最近証明されたようです。
論文はこちら。
http://arxiv.org/abs/1201.0749v1
まだ斜め読みしただけですが、表出数16個のパターンを計算機で全数探索して、解がしぼれるものが無いことを確かめたそうです。
2011年1月に320個のPCを回し始めて、2011年12月にやっと計算が終わったとのこと。
凄い世界ですね。
こういう活動で学術論文を書けるっていいなぁ。
ちょっと参考文献あさってみようかな。でも数学は苦手なんだよな〜。
どなたかこの方面で教科書とか出版していないのかしら。
#1 匿名 at 12.01.08, 17:56
以下？ 18個、ではなくて？#2 匿名 at 12.01.08, 17:56
いや、あれかこれはきっと339さんが表出17個の数独を作ってくれるフラグと読み取ればいいのか
#3 339 at 12.01.08, 21:06
あまり深く考えずに記事を投稿してしまいました。18でできれば18以下でできたと言って間違いではないからぎりぎりセーフということでご勘弁ください。
「非対称で17個作った人がいるというのを噂で聞いたなぁ」とか考えながら書いたらこうなってしまいました。
私は表出少ないのは苦手なんですよね。
今までに20個未満で作ったのは、対称形19個を一つ作っただけだと思います。
18個となると、計算機の力を借りる方向に走りたくなってしまう。
それはそれで価値はあると思うけど、ニコリ的ではないですね。