[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

2013年3月11日のブックマーク (2件)

  • 【画像あり】 将棋の羽生の負け演技うますぎわろたwwwww - ゴールデンタイムズ

    1 :以下、名無しにかわりましてVIPがお送りします :2013/03/11(月) 02:03:24.78 ID:fcNSLWAG0 これだけもう駄目だっていう表情をしておきながら結局は勝つ ↓ 20 :以下、名無しにかわりましてVIPがお送りします :2013/03/11(月) 02:19:22.07 ID:qQyoSFVO0 クソワロタwwwwwwwwwwwwwwww 5 :以下、名無しにかわりましてVIPがお送りします :2013/03/11(月) 02:05:07.13 ID:Nm4kOuVt0 あざといwwwww 6 :以下、名無しにかわりましてVIPがお送りします :2013/03/11(月) 02:05:21.76 ID:2zQ3BrPaO 最後笑ってるだろw 7 :以下、名無しにかわりましてVIPがお送りします :2013/03/11(月) 02:05:31.52 ID:F

    【画像あり】 将棋の羽生の負け演技うますぎわろたwwwww - ゴールデンタイムズ
  • スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件

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