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

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

[saitoh (10803)]

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

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

[little( (31297)]

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

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

[Anonymous Coward]

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

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

[Anonymous Coward]

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

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

[nullme (33867)]

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

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

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

内部構造まで再現すべき

[Anonymous Coward]

ルービーック・キューブの面白さは、あの変な構造を実世界で実現してしまった内部の機械的機構も含めてのものです。
よって、表面のパズル性だけを取り出したモデルはしょせんモデルであり、シミュレーションの名で呼ばれるべきでしょう。