職場のＯ嬢より聞いた話であるが，「正月のＴＶ番組でルービック・キューブをあっというまに初期配置に戻す装置が放映されていた．しかも高校生が作ったプログラムであるらしい」とのこと．「神の数」定理の応用に違いない・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ルービック・キューブは１９８０年から１９８１年にかけて世界中で大流行した．それでは３×３×３のルービック・キューブではいったいいくつの色の組み合わせが作れるだろうか？

　１２！×２^12×８！×３^8通り．しかし，これはルービック・キューブを分解したときの話であって，面の回転だけで実現可能な色の組み合わせの総数は１２！×２^12×８！×３^8／１２通りになる．

　パズル史上最大のヒットとなったルービックキューブは２６個の小さな立方体を３×３×３に並べたもので，６色が６面に割り振られている．ルービックキューブの配置は約４３×１０^18（４３２５京）通りあるが，いかなる配置もｎ手以下で解けるという最小手数はいくつかという数学問題があり，この問題の解は「神の数」と呼ばれるようになった．

　２０１０年７月，トマス・ロキッキは「神の数」が２０であることを証明した．ルービックキューブのいかなる配置も２０手以下で解けるのである．ロキッキは１９５億通りの配置を調べ神の数が２２以下であることを突き止めたが，彼は神の数が２０であることを確信し，そして解いたのであった．

　　∞→・・・→２２→２０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ほんの少し前まで，これほど膨大な場合についてすべて検証するという証明方法は実現不可能であった．しかし，この証明をコンピュータを使わずにたどることは不可能である．

　ルービックキューブのいかなる配置も２０手以下で解けるのであるが，とりわけ進展が速かったのはコンピュータの勝利？，それとも数学の勝利になるのだろうか？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝