どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である
2009年11月13日、政府の事業仕分けで、文科省の次世代スパコン開発は2010年度の予算計上を「限りない見送りに近い縮減」と仕分けられた。 これは事業仕分けチームの結論で、最終決定は行政刷新会議を経て、来年度予算書として国会で審議・承認されねばならず、まだ始まったばかりであろう。 財務省のサマリー、文科省・理研の説明、仕分け人達の突っ込みと応答、そして結論に対する事後の関係者や私設応援団の反応、等々は結構面白かった。とりわけ面白かったのは文科省・理研側の対応で、データに裏打ちされた明快な答弁が出来ず、あれでは凍結も止むを得ないであろうと感じた。 なお、この問題は「次世代スパコンからのNECの撤退」で既に述べてあるので参照されたし。 さて財務省の論点は以下である。 １．次世代スパコンの開発には、これまで545億円の国費を投入。仮に、来年度システムの本格的着手を行えば、完成までに
「京速」見送りで、コンピュータのわかってる人までが残念がっているのが不思議でしょうがない。 スーパーコンピューターを復活してほしい – 西 和彦 こういった主張を見ると、「なんでもかんでも世界一になってりゃいいのか」と思えて来る。 もう何度も書いているけれど、あのプロジェクトは「次の世界一」のために潰れるべきだったのだ。 日本が世界一のコンピュータが作れるようになること、これに異論はない。「二番目ではダメなのか？」と言われれば、「ダメに決まってるだろ」と答えるものだ。これに異論があるコの業界の者は少ないだろう。いや、異論なんか持つな。この気概こそが日本のコの業界の未来につながるのだ。 しかし、そう思うからこそ、「京速」は潰れるべきだと考える。 まず、TOP500のリストを見て、近年の傾向を見るといい。 今年1位だったJaguarは、公称2.3PFLOPS、実測1.75PFlopsだそうだ。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
