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

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

[saitoh (10803)]

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

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

[little( (31297)]

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

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

[Anonymous Coward]

２６手で解けることは示されたけどこれが最小ということは示されて
ないのかな？総当りでやってたならば示されてしまってるということに
もなりそうなんだけど．

枝刈りの仕方とかからまだ言えないのかしら．

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

[Anonymous Coward]

この人たちのアルゴリズムでの最小が26手ということなので、
他にもっと効率のよいアルゴリズムがあるのかもしれません。
つまり、総当りというのは初期状態のことであって、経路では ないのです。

ルービックキューブの世界選手権に出ている人たちの実感は何手くらいなのでしょうね。

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

[saitoh (10803)]

ルービックキューブの選手権だと、手数じゃなくて時間で競うのではありませんでしたっけ? 最短手数の解き方を考えるの時間を費やすくらいなら、最短じゃない手順でも手を早く動かしたほうが勝ちとか。

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

[kazami (16479)]

スピードキュービングという競技ですね。

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

[Anonymous Coward]

最短手数の部門もあったと思ったけど。