【数学】「ルービックキューブは23手以内でどんな形からも揃う」と証明に挑戦
1 ： 番組の途中ですがアフィ禁止です(福島県)：
3月に「ルービックキューブは25手以内で揃う！」というトピックがあったばかりですが、
そのTomas Rokickiが今度は上限を一気に2手下げて23手としました。キューブフォーラムの記事によると、
前回と同じ方法で、Sony Pictures Imageworksのレンダリングファームの余剰CPU時間を使い、
約7.8コア・年分の計算時間をかけて、ルービックキューブのどんな状態からでも最大23手で
完成できることを示したそうです。このレンダリングファームはスパイダーマン3やSurf's Upの制作に使われました。
今回の探索でも21手必要なキューブ状態は発見されていません。
対称形の考察などから上限は20手だろうと予想されています。
同じアルゴリズムでこれを証明するには、3500コア・年のCPU時間が必要になるとRokickiは見積っています。
さらに速い探索手法が考案されるのが早いか、ムーアの法測で計算機が速くなるのが早いか、さてどっちでしょうね。
http://slashdot.jp/science/article.pl?sid=08/05/08/0657219
依頼@217
|
|
|
2 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/08(木) 22:00:03 ID:eEOAIBMe0
計算機ブン回して証明するのはちょっと好みじゃない
3 ： 番組の途中ですがアフィ禁止です(埼玉県)：2008/05/08(木) 22:00:32 ID:JgxcamMB0
福島お前スレ立てるスピード早すぎだ
嫌儲の人口考えろ
嫌儲の人口考えろ
4 ： 番組の途中ですがアフィ禁止です(アラバマ州)：2008/05/08(木) 22:00:35 ID:ijij1rUF0 BE:752952285-PLT(13344)
ちょっと何を言ってるのかわからない
5 ： 番組の途中ですがアフィ禁止です(愛知県)：2008/05/08(木) 22:01:42 ID:gb9aDWZ10
ああ
これちょっと前にあったけど
また計算してんのか
これちょっと前にあったけど
また計算してんのか
6 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/08(木) 22:02:09 ID:FL5OZYP20
確かに美しさに欠ける
7 ： 番組の途中ですがアフィ禁止です(愛知県)：2008/05/08(木) 22:04:25 ID:gb9aDWZ10
そもそもルービックキューブの最短手の計算なんて趣旨が美しくないじゃない
前回25手以内を証明した人は一般人だったよね
企業のコンピュータ利用してやれば結構簡単かもね
前回25手以内を証明した人は一般人だったよね
企業のコンピュータ利用してやれば結構簡単かもね
8 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/08(木) 22:08:45 ID:FL5OZYP20
白血病解析プロジェクトの手法を使えば
9 ： 番組の途中ですがアフィ禁止です(アラバマ州)：2008/05/08(木) 22:47:11 ID:kYctqaWT0 BE:110286623-2BP(7893)
どんなパズルだって一回理解したら価値ねぇよ
解法同封してあるルービックキューブになんの意味があんだ
解法同封してあるルービックキューブになんの意味があんだ
10 ： 番組の途中ですがアフィ禁止です(アラバマ州)：2008/05/08(木) 23:32:04 ID:IPXdfJBc0
コレを証明した人間より
物凄い速度でルービックキューブ揃える人の方がすごく感じてしまうオレ
物凄い速度でルービックキューブ揃える人の方がすごく感じてしまうオレ
11 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/08(木) 23:36:33 ID:VjS++RdM0
12 ： 番組の途中ですがアフィ禁止です(長屋)：2008/05/08(木) 23:55:17 ID:elOIDKT60
群論か
13 ： 番組の途中ですがアフィ禁止です(大阪府)：2008/05/09(金) 05:32:56 ID:L4AC2/CM0
６面揃った事が一度もない
14 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/09(金) 05:40:47 ID:MTqzzz+l0
＞3500コア・年のCPU時間が必要になる
なんだかわからないが凄さは伝わる。
なんだかわからないが凄さは伝わる。
15 ： 番組の途中ですがアフィ禁止です(長崎県)：2008/05/09(金) 05:57:19 ID:DyemprPZ0
総当りって数学か？
16 ： 番組の途中ですがアフィ禁止です(北海道)：2008/05/09(金) 06:23:07 ID:otPzWoui0
この問題もそうだが、小町算とかゴールドバッハの予想とか、
「手数」に制限があるもの、「手数」自体を問題にするものは、純粋数学的に考えるのが難しい
当然だが、「何回も操作を繰り返した飽和状態」の方が「決まった回数の操作で行ける範囲」より調和度が高いからな
調和度が高いほうが数学も簡単だろう
「手数」に制限があるもの、「手数」自体を問題にするものは、純粋数学的に考えるのが難しい
当然だが、「何回も操作を繰り返した飽和状態」の方が「決まった回数の操作で行ける範囲」より調和度が高いからな
調和度が高いほうが数学も簡単だろう
17 ： 番組の途中ですがアフィ禁止です(ネブラスカ州)：2008/05/09(金) 08:20:31 ID:CVsvCR+KP
とりあえずコア年ってあたりから凄いってことはわかる
18 ： 番組の途中ですがアフィ禁止です(福島県)：2008/05/09(金) 09:41:56 ID:4rhyd8lz0
コンピュータ進化させるよりも
ルービックキューブの達人の脳を解析した方が早そうな気がする
ルービックキューブの達人の脳を解析した方が早そうな気がする
19 ： 番組の途中ですがアフィ禁止です(東京都)：2008/05/09(金) 22:59:52 ID:0HGWiFeX0
>>11
すごすぎﾜﾛﾀ
すごすぎﾜﾛﾀ
20 ： 番組の途中ですがアフィ禁止です(山形県)：2008/05/09(金) 23:02:32 ID:Z232spYPP
とりあえずPS3のすごさへと話を繋げることが予想される
21 ： 番組の途中ですがアフィ禁止です(アラバマ州)：
>>11
すげええ
すげええ