‹ 返回工坊合集

立方万象 · 三阶魔方群工坊

群论桌游系列 · 第九部 —— 8 角 + 12 棱 + 6 中心 · 43,252,003,274,489,856,000 态 · 学徒 vs 上帝 | 九章格数学(PhiloMath)
0
工坊积分

📜 规则卡从二阶到三阶,多了什么

三阶魔方(Rubik's Cube)= 8 个角块 + 12 个棱块 + 6 个中心块。中心块固定在核心支架上——它给整个魔方提供了永不移动的参照系:白心永远朝上,绿心永远朝前。于是三阶的数学状态 =「每个角块在哪 + 拧了多少」+「每个棱块在哪 + 翻没翻」。

角块与棱块的坐标

部件个数位置坐标朝向记号
角块8(±1,±1,±1)0 / 1 / 2(拧 0°、±120°)cp, co
棱块12恰一个零分量0 / 1(翻 / 没翻)ep, eo
中心块6(±1,0,0) 等恒定 —— 参照系本体—

记号速查

记号含义例子
cp / ep角块 / 棱块置换:位置 p 上放的是哪个块cp = (1,0,2,…)
co角扭转向量:每块拧了几个 120°(0/1/2)co = (1,2,0,…)
eo棱翻转向量:每块翻没翻(0/1)eo = (0,1,0,…)
U R F D L B顺时针转该面 90°;' 逆时针,2 180°(共 18 种基本转动)R U R' U'

三阶 vs 二阶:三张新面孔

二阶 2×2×2(第八部)三阶 3×3×3(本部)四阶 4×4×4
部件8 角8 角 + 12 棱 + 6 中心56 块(无固定中心!)
状态数3,674,1604.33 × 10¹⁹(4325 亿亿)7.4 × 10⁴⁵
不变量1 个(Σco ≡ 0)3 个(Σco、Σeo、奇偶绑定)更微妙(会"奇偶错乱")
置换奇偶自由角与棱必须同奇偶内层转动能换单对
整体旋转÷24(无参照系)不除(中心即参照系)又要 ÷24
能全量探索吗能(上页 367 万态)不能——4.3×10¹⁹ 态,每态 1 纳秒也要 1370 年不能
玩法路线:① 在转动工坊里转起来,盯住右侧三个不变量仪表——无论怎么转全部纹丝不动;② 试试「🔧 单棱翻转」「🔁 两角对换」两个违规按钮,看仪表如何报警;③ 让学徒代打(分层法 ~170 步)现场解给您看;④ 到鉴定侦探接十桩案子——两桩专为二阶老玩家设计的反转案;⑤ 定理之家看 43,252,003,274,489,856,000 的四步推导、superflip 现场复演、以及浏览器现场 BFS 的 66 万态半转群地图。
三阶比二阶多了12 个棱块,状态数就从 367 万暴涨到 4325 亿亿——乘上 12!·2¹¹ 再除回来,净放大 1175 万亿倍。God's number(HTM)从 11 跳到 20:多出来的不只是块,还有两整层约束结构。

🧊 转动工坊拖拽转视角 · 18 个转动 · 三不变量直播

拖动魔方改变视角,用按钮转 18 种基本转动。三块仪表实时直播三大不变量——它们是三阶魔方的「物理定律」。📱 手机版:手指拖魔方即转视角(画板已禁页面滚动),转动按钮与仪表依次排在下方。

把 20 个块按整体旋转挪位、中心却不动——三阶上这不是面转动的复合(与二阶相反)
🔒 不变量 ①:Σ 角扭转 (mod 3)
Σ = 0 —— 合法
🔒 不变量 ②:Σ 棱翻转 (mod 2)
Σ = 0 —— 合法
🔒 不变量 ③:sgn(cp)·sgn(ep)
+1 —— 合法
角置换 cp
恒等
角扭转 co
(0,0,0,0,0,0,0,0)
棱置换 ep
恒等
棱翻转 eo
(0,0,0,0,0,0,0,0,0,0,0,0)
奇偶(角 / 棱)
偶 / 偶
步数
0
最近转动
—
🎓 学徒代打(分层法 LbL,本页 JS 现场求解)
白十字 → 白角 → 中层棱 → 黄十字 → 黄角 → 末段排列,六步复原。
S1 白十字S2 白角S3 中层棱 S4 黄十字S5 黄角S6 末段
学徒平均 173 步(300 案实测),上帝(最优解)只要 ≤20 步——差距正是「分层策略 vs 全局搜索」的学费。

🔍 鉴定侦探十桩悬案 · 三条判据

每桩案子给您一个魔方局面(可拖动看视角)。判断:可解还是不可解?判据三条:Σco ≡ 0 (mod 3)、Σeo ≡ 0 (mod 2)、sgn(cp)·sgn(ep) = +1。警告:有两桩专坑二阶老玩家。

拖动可转视角

🏛️ 定理之家计数 · 不变量 · 结构 · 直径

定理一(状态计数)· 43,252,003,274,489,856,000 从哪来

1拆散 20 个活动块随便装:角 8! 个位置 × 每角 3 个方向,棱 12! 个位置 × 每棱 2 个方向 → 名义上 8! × 3⁸ × 12! × 2¹² ≈ 5.19 × 10²⁰ 种装法。
2角扭转守恒(定理二):Σco ≡ 0 (mod 3) 砍掉 2/3 → 8! × 3⁷ × 12! × 2¹²。
3棱翻转守恒:Σeo ≡ 0 (mod 2) 再砍一半 → 8! × 3⁷ × 12! × 2¹¹。
4奇偶绑定:sgn(cp) = sgn(ep) 再砍一半 → 8! × 3⁷ × 12! × 2¹¹ ÷ 2 = 43,252,003,274,489,856,000。
为什么二阶要 ÷24 而三阶不除?二阶没有中心块,同一台魔方转 24 种朝向是 24 个不同状态;三阶的 6 个中心块钉死在核心上——「白心朝上、绿心朝前」是状态定义的一部分,不存在整体摆法的冗余。(四阶没有固定中心,又要 ÷24——见规则卡对比表。)

定理二(三大不变量)· 为什么怎么转都打不破

对六个面逐一实测(下表由本页引擎现场计算):U、D 转动不改变任何扭转/翻转;R、L、F、B 转动给该面 4 个角分配扭转增量,其和恒为 3 的倍数;F、B 转动给 4 条棱各 +1 翻转(和 ≡ 0 mod 2),R、L、U、D 不碰棱翻转;每个面转动对角块和棱块各做一次 4-循环(都是奇置换),奇偶乘积永远 +1。

六面转动增量表(本页引擎实测;Δ 从验证器 cube3_validator_a.py 的 3D 几何推导而来)
可解性判据:一个状态可解 ⟺ 三条不变量全部满足。三条互相独立——各砍掉一个因子 3、2、2,这正是定理一第 2–4 步的来源。

定理三(群结构)· 指数 12 的子群

把角块世界和棱块世界分开看:「角部分」合法状态有 8!·3⁷ 个(扭转和锁定)、「棱部分」有 12!·2¹¹ 个。如果两部分独立,总状态数应是 (8!·3⁷)×(12!·2¹¹) —— 但真实魔方群只有它的一半:奇偶绑定把两部分锁在同一个奇偶上。所以:

G 是 (角世界 × 棱世界) 中指数 2 的子群;若放开奇偶,完整世界还要 ×3×2(扭转、翻转自由)→ 指数 12

与二阶对比(侦探案 2 的机关):二阶没有棱块参与奇偶投票,两角对换完全合法(第八部案 2 可解);三阶换两个角必然破坏 sgn(cp)·sgn(ep) = +1——同一个操作,二阶活、三阶死。想换两个角?必须搭上一次两棱对换(案 10 的 T-perm)。

定理四(God's number = 20)· 学徒、半转群与上帝

「任意状态 ≤ 20 步复原」(HTM)由 Rokicki、Kociemba、Davidson、Dethridge 于 2010 年用计算机穷举证明(约合 35 CPU 年)——4.3×10¹⁹ 个状态本页无法全量验证,这是诚实标注的文献结论。但两件事本页可以现场做:① superflip(全部 12 条棱原地翻转、其余全对)是著名的 God 态,其 20 步解序列可以现场逐帧复演;② 三阶太大画不出全图,但它的子群 半转群 ⟨U2,D2,R2,L2,F2,B2⟩ 只有 663,552 态——本页浏览器现场 BFS 测绘它的全空间地图:

👁️ 半转群全空间测绘(本页实时 BFS · 663,552 态)
测绘中…
只用六种半转 U2 D2 R2 L2 F2 B2 能到达的所有状态——它们全是「朝向不变」状态(co、eo 恒 0),置换还受奇偶+结构约束。
求解者策略平均步数(HTM)最坏步数
🎓 学徒(本页现场)分层法 LbL:白十字→白角→中层→黄十字→黄角→末段——
🌀 superflip 态12 棱全翻(God 态之一)—20(本页可复演其 20 步解)
👑 上帝(最优解)全空间搜索(Rokicki et al. 2010,文献结论)≈ 17.720

🌳 现场画一张 Cayley 图:半转群的前几层

半转群的 Cayley 图有 663,552 个节点、6 种颜色的边(U2/D2/R2/L2/F2/B2)——画不下全图,但可以现场画出 BFS 前 5 层(约 2600 个节点):中心是复原态,每圈深一层。这就是「魔方状态网络」的微缩实景。

探究题

👩‍🏫 教师答案卡十案答案 + 数据档案 + 教案

本页全部结论先经 Python 验证器核验(cube3_validator_a/b/c.py:3D 几何推导转动表 → 三不变量六面实测 → 300 随机打乱 LbL 全复原 → 十案逐一回放验证),页面加载时 JS 引擎再复算一遍(见页脚自检)。除 God 数 20(文献结论,明确标注)外,没有一条是背书背来的。

侦探十案答案速查

十案教学要点

建议课时安排(2 课时)

环节活动用时
导入规则卡对比表:二阶 → 三阶 → 四阶——「参照系」与「不变量个数」的变化10 min
探索一转动工坊自由玩:盯三个不变量仪表,试图打破(打不破)10 min
探索二🔧 单棱翻转 + 🔁 两角对换:两条「物理定律」当场被违反——讨论为什么救不回10 min
高潮一🎓 学徒代打:六阶段分层复原全程直播,对比 God 数 2010 min
侦探十案小组竞赛(重点案 2、7——二阶玩家的两个反转陷阱)25 min
高潮二🌀 superflip 现场复演 + 半转群 66 万态地图 BFS 直播10 min
定理定理之家:计数四步推导 + 为什么二阶 ÷24 三阶不除10 min
收尾探究题 + 总结:三条不变量如何各砍一个因子(3·2·2=12)5 min
常见误区预警:① 二阶老玩家会把「置换奇偶自由」搬进三阶(案 2 陷阱);② 「整体旋转后的复原态」在二阶可解(y = U D′)、三阶不可解(中心被留下,案 7 陷阱);③ 学生常以为「随机打乱 25 步就需要 25 步解」——学徒 141 步、最优 ≤20 步,步数与打乱长度无直接关系。