時事ドットコム：２０手以内でそろうと証明＝ルービックキューブ−コンピューターで解析・米独チーム

２０手以内でそろうと証明＝ルービックキューブ−コンピューターで解析・米独チーム ２０手以内でそろうと証明＝ルービックキューブ−コンピューターで解析・米独チーム 立方体のパズル「ルービックキューブ」は、どんな状態からでも２０手以内で各面の色を全部そろえられることを証明したと、米カリフォルニア州のプログラマー、トマス・ロキッキさんら米独４人の研究チームが１５日までに発表した。この最善の回し方を選択し続けた場合にどうしても必要な手数は「神の数字」と呼ばれ、長年数学の研究対象とされてきたが、コンピューターによる解析で決着したという。 ルービックキューブは１面が縦横各３列で６面あり、色の組み合わせは計約４３２５京（けい＝兆の上のけた）パターンある。研究チームは、できるだけ簡略な計算方法を開発。メンバーの１人の勤務先であるインターネット検索大手グーグルの協力を得て、コンピューターで実質的に全パターン

[Utori_Z]

あ、そうか、パターンが有限だから四色問題とは違うんですね。id:F-SQUAREさん“絶対解けない組み合わせ”とはどういうことですか? 「(物理的な)ルービックキューブをいくら操作しても出ない組み合わせ」は排除済みのはず

[bb_river]

"elegant"に対して"elephant"という語を最初に持ってきた人はすごいな

[uruloki]

エレファントな証明の一種か。

[mukaer]

ルービックキューブが２０手で６面すべてそろうと証明

[agrisearch]

「グーグルの協力を得て、コンピューターで実質的に全パターンの計算を行った」

[kotani_s]

ちょっと買ってくる（ｶﾞｯﾂ

[georgew]

メンバーの１人の勤務先であるインターネット検索大手グーグルの協力を得て、コンピューターで実質的に全パターンの計算を行った > 正に力技。

[tkfuji]

こんなところでもグーグルが。「できるだけ簡略な計算方法を開発」ってのが気になるなあ。

[F-SQUARE]

この場合「色の組み合わせは計約４３２５京パターン」なので数学的には「たかだか有限回」ということになる/四色問題とは本質が違う/むしろ絶対解けない組み合わせがでてもおかしくない

[kojitaken]

"メンバーの１人の勤務先であるインターネット検索大手グーグルの協力を得て、コンピューターで実質的に全パターンの計算を行った" 力業で解決したってことね