「ルービックキューブは26手以内で揃う！」記事へのコメント

シミュレーションでは証明にならない

[saitoh (10803)]

単に総当りで調べたというだけなのでは？

Re:シミュレーションでは証明にならない

[little( (31297)]

ルービックキューブの取りうる状態は有限ですから、総当りで全パターンをシミュレートして、すべて２６手以内に解法が見つかったのなら、証明した事になる。

Re:シミュレーションでは証明にならない

[Anonymous Coward]

それは普通、シミュレーションとは言わないと思いますが？

Re:シミュレーションでは証明にならない

[Anonymous Coward]

どの辺がシミュレーションとは違うのでしょうか？

Re:シミュレーションでは証明にならない

[nullme (33867)]

シミュレーションは、現実のものに近い「モデル」を作成し、それを分析したりごにょごにょすることで現実を理解しようとするもの。
天気予報は気象モデルを作ってごにょごにょするので、シミュレートしていると言える。

ルービックキューブについてなら、このパズルの本質は各キューブの配置と移動のさせ方のみであり、モデルはそのままルービックキューブ本体であると言える。
実物と同じ振る舞いをするものはエミュレータと呼ばれる。

この場合は「ルービックキューブをエミュレートして解法を探索した」と表現すべきかと。

エミュレート（妄想系オフトピ）

[kirara(397) (30720)]

現代では天気予報つったら「シミュレート」に決まっていますが、いつの日か天気予報を「エミュレート」できるようになるのでしょうか。
それはつまり「地球」をエミュレートするということですが...地球エミュレータ？

～以下妄想～
森羅万象をエミュレート。
ちょっと早送りすれば天気予報も楽々的中。地震雷火事戦争、常に事前予想して回避・解決。

不可避の天変地異が判明し、エミュレート環境を宇宙に打ち上げて脱出。
以降、「あちら側」が人類の「世界」となる。

天変地異が起こったら、設定変更してスナップショットからやり直し。
戦争が起こっても、スナップショットからやり直し。
受験に失敗したら、スナップシ（略
彼女に振られたら、ス（ｒｙ

極超並列多重結合演算の果て、ついにエミュレータ群がダウンし、「世界」は終わった。

...こんなSF小説出てたりして。

--
May the music be with you.

Re:エミュレート（妄想系オフトピ）

[Anonymous Coward]

>現代では天気予報つったら「シミュレート」に決まっていますが、
下駄の事？