スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件

どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である

[natsutan]

追記ｗｗｗ

[Falky]

これおかしいよ？Pencil Marksだけで最後まで解ける。超簡単。http://www5e.biglobe.ne.jp/~jyokun/sudoku_analyser/ に食わせても一目瞭然…何かが致命的に間違ってるのでは？//Dr.Inkaraの(b)は一手目から多重仮定が必要で死ぬほど難しい。

[lastline]

追記の解説を数独詳しい人にして欲しいｗ

[torrysGalley]

実際に解いてみたら30分ぐらいで解けた。

[megazalrock]

「難しい」が難しい

[ma1a]

数独に詳しく無いのでよくわからないが、これは人間が凄いんじゃなくて、問題設計時にプログラムに与えた情報量が少ないってだけの話だと思うんだけど

[martyan]

追記w人間なら簡単に解けるとかｗ

[itochan]

これは数独 Sudoku ではなく、ナンプレ Number Place ではないでしょうか

[ishihiro]

せめて追記を最後に載せろｗｗｗｗｗ

[ryozo18]

数独にハミルトニアンとかイジングスピンとか出てくるのか

[drug_discovery]

「もう少し難易度判定を見直しました。これは難しいでしょうか？ 」

[vid]

数独ソルバーは他の所で見覚え。どこだったか URL 失念。パズルとして面白そうだなぁ……

[ukidousan]

なんかバージョンアップしてる

[tshimuran]

まさしく機械まかせこその機能主義。RT @hkato193: 読んでる: スパコンで力任せに数独の難しい問題を作る -

[terazzo]

それも一つの成果だとしか……

[snobocracy]

これは初耳だ。「数独はNP完全であることが知られており、かつ以前からスピングラス系との類似性も指摘されている。」

[i196]

追記を先に見ちゃったので後の本論意味ね～と思って読んでない。難しそうだし

[ys0000]

アルゴリズム次第ということで。人間の脳は複雑なアルゴリズムを低クロックで実行するのに秀でた器官。

[namikawamisaki]

機械のアルゴリズムと人間の考え方の違いがあるってことか／すうどく（sudoku）

[shidho]

左下の1とか中段右の8とか機械的に埋まっちゃうし「列レベルで可能性が消える」解法を考慮してないっぽい。/ サイトの説明で言うと「Pencil Marks」だけで解けちゃう問題になってる。/ まとめた。 http://bit.ly/10ySs6e

[Byucky]

書籍でもDSでもスマフォでもソフト買ってる数独愛好家だけど、左上の数字4つの塊と3/5/8の楽そうな配置観て「初級か」と思ってしまった http://apollon.issp.u-tokyo.ac.jp/~watanabe/sample/sudoku/watanabe2013.png

[raf00]

人間の脳の「インスピレーション」というものの凄さ。

[n-styles]

実際に解いてみたらわかるけど、序盤から二択が発生せずに消去法だけでガンガン埋まっていくので簡単

[lets_skeptic]

推測なしで解けるということはバグなのではないでしょうか？

[mztns]

解けた

[kamezo]

難しくないという声がネットには多いが、「読売日曜版の数独しか解いたことのないような人間には十分以上に難しい、いじめか」とムスメが泣いているww

[tmurakam]

単純なバグだったりしてな

[mini_big_foo]

スパコンでガリガリ処理をして一番難しい物をつくっても人間には簡単に解けてしまうとは、やはり人間の脳というのはコンピュータとは違う能力をもってるんだな

[takeishi]

普通に解けたー

[camellow]

なんていうか、興味深いお話

[smbd]

"どうやら人間の手で解いたら、簡単に解けてしまうようです。" へーｗ

[R2-3PO]

「スパコンで力任せに数独の難しい問題を作る」結果できた数独は人間には簡単に解けるらしい。要は「難易度の定義って難しい」って事なんだろう。

[hatanaoki]

うん。試しにやってみたら自分でも解けたくらいなので、残念ながら世界で一番難しい問題てことはないと思う。

[gito2]

追記わろた。なるほど、初歩の手筋だけで解くととても難しいということか。プンちゃんレベルの難易度やね。

[quix_que]

毎度言いますが、数独なら表出数字の配置が対称でないとダメなわけでこれは数独でなくナンプレ。

[sho_taro_123]

パソコンに解いてもらっても、数独解析で見ると解き方がわかり易かったですhttp://www5e.biglobe.ne.jp/~jyokun/sudoku_analyser/

[tsupo]

スパコンで力任せに数独の難しい問題を作る → どうやら人間の手で解いたら、簡単に解けてしまうようです ///

[kkobayashi]

お遊びじゃなくてちゃんとアカデミックなトピックなのね。それにしても追記が切ない・・・。「難しさ」の定義って難しいよね