パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

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

  • 単に総当りで調べたというだけなのでは?
    • by Anonymous Coward on 2007年06月05日 14時46分 (#1168332)
      これ、たまに誤解している人がいるんですが、解が有限個で、実際上その数がたかだか知れている場合は、総当たりによる、証明や解は認められているんじゃないんでしたっけ? スマートじゃないっていうだけで、解法としてはあり得たはず。

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

      親コメント
      • そうですよ.

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

        親コメント
        • たれ込み文に,「証明した.・・・・実証は・・・・」とあって,その続きに,シミュレーションを用いたとしか書いてないですよね.
          親コメント
        • シミュレーションすることが証明するための必要条件だとか十分条件だとか、
          そんな主張は誰もしていないと思うけど……。
        • > 「シミュレーションした」と「総当たりした」は,全然違うことだと言いたかったのですが.

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

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

        • 「シミュレーションでは証明にならない」というサブジェクトで
          「単に総当りで調べたというだけなのでは?」と書いたら、
          「単に総当りでシミュレーションするだけでは証明にならない」と言っていると
          思うのが普通でしょう。
          • 日本語感覚の「普通」が何かを言い争っても不毛なので、、、

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

            親コメント

海軍に入るくらいなら海賊になった方がいい -- Steven Paul Jobs

処理中...