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

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

[saitoh (10803)]

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

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

[Anonymous Coward]

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

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

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

[saitoh (10803)]

そうですよ．

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

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

[saitoh (10803)]

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