自動ニュース作成G
ルービックキューブは25手で完成可能、米研究者が新解法の証明に成功
http://www.technobahn.com/news/2008/200803271347.html
2008-03-27 15:17:10
・ちょっとQ6600買ってくる
・>インテルのCore2 Quad Q6600(1.6GHz)のパソコンを使って1500時間をかけて解析を行うこと それは数学的証明なのか否か・・・
・全パターンを網羅する証明は、使用したプログラムに問題が無ければ良い…と聞いた
・20億通り全てを試した結果て事なのか。
・自分で解くほうが早いだろ。解けれればだが。
・#2 非常に複雑で膨大な量だというだけで、解は数学的と言える。
・よくテレビに出てるルービックキューブの達人達ってのは大体何手で完成させてるんだろう。
・#5 解くのと証明は別だろ。つーか流行っているころは最大32手が最良解だとか数学者が言っていて廃ってから29手まで証明されていたのは知っていたが、今は25手ですか。
・場合わけして証明するが、その場合わけが死ぬほど大量にあるといことか。
・ルービックキューブの組み合わせは43,252,003,274,489,856,000通り。
・いちじぅ~ひゃくせんまん、、、約四千三百京で合っていますか?
・原文読んできた”we believe the total execution time would be on the order of 1,500 CPU hours to reproduce our proof of 25.”って事なので、これは計算したのは極一部ですよ。
・hiuk,i