数学は好きだけど群論もキューブも初めて、という人向けの導入です。 抽象的な定義は後回しにして、まず手を動かして「見て」みましょう。一番下に確認クイズもあります。
立方体に対して「ある決まったやり方で状態を変える」働きを操作と呼びます。 ボタンを押して、1つの面が回るところを見てみましょう(押すたびに揃った状態からやり直します)。
操作を続けて行うことを合成と呼びます。合成した結果も、やっぱり1つの「操作」です — これを数学では「閉じている (closure)」と言います。何個でも押してみましょう。
同じ操作を繰り返し続けると、いつか必ず最初の状態にぴったり戻ります。 何回かかるか数えてみましょう。操作によって回数は全然違います(時には驚くほど多い回数になることも)。
2つの操作 A・B について、「Aの後にB」と「Bの後にA」を比べてみましょう。 赤い枠 = 2つの結果で違うステッカー。同じ結果になる組み合わせと、ならない組み合わせ、両方試せます。
ここまで見てきたことは、実は数学でいう群 (group)の性質そのものです。
🔒 閉じている: 操作をつなげても、それはやっぱり1つの操作 (②で確認)
⚪ 単位元: 「何もしない」という操作 e が存在する
↩️ 逆元: どんな操作にも、それを打ち消して元に戻す操作が必ず存在する
🔗 結合法則: (A の後 B) の後 C と、A の後 (B の後 C) は常に同じ結果になる
🔀 非可換でもよい: 順番を変えると結果が変わってもよい (④で確認、群はこれを許す)
ルービックキューブの「すべての操作」の集合は、この性質をすべて満たす群を作っています。
これを「ルービックキューブ群」と呼びます。サンドボックスや群論パズル「鍛冶場」タブで、
もっと自由に触って遊んでみてください。
任意の手順A・Bからコミュテータ[A,B]=ABA'B'・共役ABA'・合成AB・累乗A^nを作り、 結果の置換構造(コーナー/エッジのサイクル・位数)を実際にエンジンで計算して解析します。
交換子 [A,B]・共役 ABA'・合成・累乗を自由に組んで、狙った効果を 鍛え上げよう。勝敗はキューブエンジンが実際に回して判定する(記憶ベースの正解は無い)。
面ボタンを押すと、ネット図のどの面がどちら向き(↻=時計回り/↺=反時計回り)に回るか表示されます。
何も考えず、画面を眺めているだけでOK。 記号が出て → 少し間を置いて → 動きが見える、のリズムを繰り返します。
| # | 時間 | スクランブル |
|---|
| ID | 名前 | 状態 | 安定度(日) | 次回まで |
|---|
ピースをタップして選び、捻り・反転・交換を加えよう。不変量が破れた瞬間に診断パネルがリアルタイムで教えてくれる。
📐 なぜランダムに組んだキューブは 11/12 で解けないのか？
バラバラに分解したキューブをランダムに組み直すと、12個中11個は絶対に解けません。理由は3つの独立した制約があるからです。
| 制約 | 確率 | 理由 |
|---|---|---|
| コーナー捻り和 ≡ 0 (mod 3) | 1/3 | 各コーナーに3通りの捻り。合計が3の倍数になる確率 |
| エッジ反転和 ≡ 0 (mod 2) | 1/2 | 各エッジに表裏2通り。合計が偶数になる確率 |
| コーナー・エッジのパリティ一致 | 1/2 | 置換の符号が両方とも偶数か奇数でなければならない |
3つが全て満たされる確率 = 1/3 × 1/2 × 1/2 = 1/12
これはキューブの回転群 G の「12個の同値類 (コセット)」に対応します。合法手順で到達できる状態は全状態空間の 1/12 だけ ─ 残りの 11/12 はどんなに回しても絶対に解けません。
※「ランダムな組み立て」= 各ピースの位置・向き・表裏を独立一様ランダムに選ぶ場合。
展開図のステッカーを a→b→c の順に3枚タップして3-サイクルを指定。BH法の交換子 [A,B] = ABA'B'（または共役 S[A,B]S'）を自動探索します。