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

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

[saitoh (10803)]

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

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

[Anonymous Coward]

これ、たまに誤解している人がいるんですが、解が有限個で、実際上その数がたかだか知れている場合は、総当たりによる、証明や解は認められているんじゃないんでしたっけ？　スマートじゃないっていうだけで、解法としてはあり得たはず。

数学方面の人だとこの辺り詳しいと思いますが。

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

[saitoh (10803)]

そうですよ．

「シミュレーションした」と「総当たりした」は，全然違うことだと言いたかったのですが． シミュレーションすることは，証明するための必要条件でも十分条件でもありません．

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

[saitoh (10803)]

たれ込み文に，「証明した．・・・・実証は・・・・」とあって，その続きに，シミュレーションを用いたとしか書いてないですよね．

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

[Anonymous Coward]

シミュレーションすることが証明するための必要条件だとか十分条件だとか、
そんな主張は誰もしていないと思うけど……。

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

[Anonymous Coward]

> 「シミュレーションした」と「総当たりした」は，全然違うことだと言いたかったのですが．

どう考えても、君の言いたいことが伝わらない。
「総当たりした」・・・全ての組み合わせについて試行した。
「シミュレーションした」・・・実際にキューブを操作せずに数値計算で代用した。
「シミュレーションした」って語に「総当りせずに代表例だけに絞った」なんて意味はありません。

ここまで書いて気がついたが、もしかしてシミュレーション全てがモンテカルロシミュレーションだとか思ってるとか。

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

[Anonymous Coward]

「シミュレーションでは証明にならない」というサブジェクトで
「単に総当りで調べたというだけなのでは？」と書いたら、
「単に総当りでシミュレーションするだけでは証明にならない」と言っていると
思うのが普通でしょう。

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

[saitoh (10803)]

日本語感覚の｢普通」が何かを言い争っても不毛なので、、、

総当りで証明した　→納得
シミュレーションで総当りし、証明した　→納得
シミュレーションで証明した　→「シミュレーションで○○して証明した」、の○○が何かちゃんと言ってくれよ。
ということでした。