「世界一難しい数独」

あるAnonymous Coward 曰く、

フィンランドの数学者Arto Inkala氏が「世界一難しい数独」を作ったという。同氏が作成した問題作成プログラムを使って生成したもので、問題作成には3か月を要したそうだ（ITmedia）。パズルファンの方は挑戦してみては？

また古い記事を…

[Anonymous Coward]

ずいぶん前に見たような気がすると思ったら…

＞ 2010.08.23 23:31

2010年の記事を、なぜ今さら?

Re:また古い記事を…

[Anonymous Coward]

ロケットニュースの記事 [rocketnews24.com]の問題は今年作られた数独です。
ソース検索しててミスったんだと思われます。

Re:

[Anonymous Coward]

知り合いがGames::Sudoku::solver で両者を解かせてました。
時間はそれぞれ

  1.0258446 msec
27.8268216 msec

だそうです。

# これで検索されたらばれるか……

Re:また古い記事を…

[Anonymous Coward]

たぶん今さら解けたんじゃねえかな

2年も使って・・・

Re:

[Anonymous Coward]

最初から理詰めで解くと難しいらしいけど、初手いくつかを投機的に解くとあっさりとけちゃうこともあるんだよな。

Re:

[Anonymous Coward]

これがスラド時空です。

Re:

[Anonymous Coward]

こうですか？

大魔王Oliver「スラド時空へ引きずりこめ！」

Re:

[Anonymous Coward]

本家 http://games.slashdot.org/story/12/07/04/072227/worlds-hardest-sudoku [slashdot.org]
本家のソース http://www.telegraph.co.uk/science/science-news/9359579/Worlds-hardest... [telegraph.co.uk]

Re:

[Anonymous Coward]

模試やテストで同じ手段を使われたら，学習範囲内なのに解けない問題が続出するのではないだろうか？
　数値だけ変えた類似問題を流出させて暴利をむさぼる仕事が成立しそう・・・

リベンジも希望

[minet (45149)]

数独リベンジ（16進のやつ）の方も興味があります。

Re:リベンジも希望

[shinshimashima (9763)]

数独・ザ・ジャイアントじゃだめ？（1～25)

＃数独・ザ・スーパージャイアントとかこの世にないのかな？７ｘ７あたりで。

Re:

[Anonymous Coward]

2進数のほうが楽しそう。

Re:リベンジも希望

[T.Sawamoto (4142)]

+---+---+
| 0 |   |
+---+---+
|   |   |
+---+---+

Re:

[Anonymous Coward]

美しい問題。単位行列を見ているようだ。

Re:

[Anonymous Coward]

解が自明すぎる

自分で解けないので

[Anonymous Coward]

「Google Goggles」新版リリース、数独を解く機能も - ITmedia ニュース
http://www.itmedia.co.jp/news/articles/1101/11/news081.html [itmedia.co.jp]

代わりにやってもらうんですね

SQLで一発

[su-guy (45498)]

参考 [postgresql.org]

WITH RECURSIVE x( s, ind ) AS
( SELECT sud, position( ' ' IN sud )
  FROM  (SELECT '  53     8      2  7  1 5  4    53   1  7   6  32   8  6 5    9  4    3      97  '::text
             AS sud) xx
  UNION ALL
  SELECT substr( s, 1, ind - 1 ) || z || substr( s, ind + 1 )
       , position(' ' IN repeat('x',ind) || substr( s, ind + 1 ) )
  FROM x
     ,  (SELECT gs::text AS z FROM generate_series(1,9) gs) z
  WHERE ind > 0
  AND NOT EXISTS ( SELECT NULL
                   FROM generate_series(1,9) lp
                   WHERE z.z = substr( s, ( (ind - 1 ) / 9 ) * 9 + lp, 1 )
                   OR    z.z = substr( s, mod( ind - 1, 9 ) - 8 + lp * 9, 1 )
                   OR    z.z = substr( s, mod( ( ( ind - 1 ) / 3 ), 3 ) * 3
                                      + ( ( ind - 1 ) / 27 ) * 27 + lp
                                      + ( ( lp - 1 ) / 3 ) * 6
                                   , 1 )
                 )
)
SELECT s
FROM x
WHERE ind = 0;

手元のPCで、7秒弱で求まりました。

Re:

[Anonymous Coward]

元はOracleか。
再帰的クエリはやっぱりこういう問題には強いな。

SQLServerだと同等の1文クエリは無理っぽいな。
generate_series関数が羨ましすぎる。

Re:自分で解けないので

[imunolion (39292)]

Googleじゃないけど，
Hadoopのexampleの中に，
分散環境(ただしMapReduceではない)での数独を解くのがありますね．

Re:

[Anonymous Coward]

男なら解探索プログラムくらい書かんかい

Re:

[Anonymous Coward]

Googleに過負荷を与えるつもりですか。

Re:

[Anonymous Coward]

カフカになるの？

確かファイファンに…

[KentaHayashi (40880)]

確かファイナルファンタジーに、そんな名前のキャラクターがいたような…
ファイナルファンタジーはあまり詳しくないので、それが正しいのかどうかは判りません。

おふとぴ

[Anonymous Coward]

そりゃ｢ケフカ｣では。

Re:自分で解けないので

[alternative (23238)]

そしてある朝起きると大きな虫になっているんですね？

#　世話してくれる美しい妹がいない...

Re:

[Anonymous Coward]

ある朝起きると大きな虫になっていたが僕には世話してくれる美しい妹がいない
ラノベのタイトルぽいですねぇ

Re:

[Anonymous Coward]

いや、いないと話が始まらない。
「ある朝起きると大きな虫になっていたが妹が世話をしてくれない」じゃないと。
妹は世話をしてくれないけど、メイドさんが世話をしてくれてハーレム展開にしないと。

Re:

[Anonymous Coward]

いや、妹がいなくても両隣に住む幼馴染の娘たちが競って世話をしてくれる展開もあるし

Re:

[Anonymous Coward]

お昼ご飯食べてる間にコンピューターに解いて頂きました。私は手作業で5つ程で投げました。素晴らしい！

Re:

[Anonymous Coward]

あなた、推理小説読んでる人の横でトリック暴いちゃうタイプの人でしょう？
#　誰かマイナスモデつけて見えなくしてやってくれ

Re:

[Anonymous Coward]

あなた、ひと目見るだけで81個の数字並びを覚えてしまうんですか？
それはすごいです。

検証用に解を示してくれたと思えばいいじゃないですか。

Re:

[Anonymous Coward]

数独は「解く過程」がおもしろいのであって、解を提示されたからと行っておもしろさが失われるものではない……と思う。