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

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

[saitoh (10803)]

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

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

[little( (31297)]

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

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

[Anonymous Coward]

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

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

[Anonymous Coward]

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

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

[Anonymous Coward]

普通シミュレーションと言った場合は、現実を模擬した実験を指しているんじゃないか？
あくまで模擬であって、実際とは違うからシミュレーションだろう。
しかるに、総当りで全検索したのであればそれは模擬ではないでしょ？
元コメントはそういう意味だと思うんだが・・・

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

[Anonymous Coward]

実際にキューブを回したわけではないからシミュレーションです

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

[Anonymous Coward]

コンピュータが実際にすごい勢いでキューブをまわしてくれたらそれはそれで萌え。