魔表：从一个时钟魔方说起

前言

魔表（Rubik's Clock）是一款经典的智力玩具，也曾经是 WCA（世界魔方协会）官方竞速项目之一。它的目标很直观：通过转动拨轮、切换按钮，使正反两面共 18 个表盘上的指针全部指向 12 点。

十分遗憾的是，在笔者写这篇博客查资料的时候，意外发现就在一个月前，WCA宣布将移除魔表这个比赛项目。

参考链接：WCA官方项目变更（2026年6月） - 粗饼·中国魔方赛事网

我第一次拿起魔表的时候，就被它的机械结构迷住了。看起来简简单单的四个拨轮、四个按钮，背后却隐藏着不少数学名堂。

这个博客系列，就是我对魔表数学求解问题的完整探索记录。也就是说，在这里，我们完全不考虑它内部的机械结构和传动原理，只从输入输出的纯数学角度来讨论分析这样一个神奇的玩具。

一、魔表长什么样

盘面结构

魔表是一个扁平的圆盘，正反两面各有 9 个表盘，呈 $3 \times 3$ 排列

每个表盘上有一根指针，可以指向 12 个小时方向之一。所以整个魔表有 18 根指针。

操作机构

在魔表的四角，各有一个按钮和一个拨轮，呈正方形排布：

四个按钮（图中红色方框）：UL（左上）、UR（右上）、DR（右下）、DL（左下），每个按钮有"按下"或"弹起"两种状态。
四个拨轮（图中黑色箭头）：位于四角，每个可以顺时针或逆时针转动，每转一格对应 1 小时。

按钮的作用

按钮的作用是控制联动关系：按下的按钮对应的表盘会与该角的拨轮联动，弹起的则不联动。但事情没有这么简单------按钮还会影响正反面的联动方式。关于按钮如何具体控制联动，我们后面会逐步揭示。

关于"阶"的说法

在一些购物平台上，你会看到这款魔表被标注为"四阶魔表"。这是因为它呈正方形，有 4 个按钮、4 个拨轮。平台上还有所谓"三阶魔表"（三角形，3 个按钮/拨轮）和"五阶魔表"（五边形，5 个按钮/拨轮）。

二、基础数学性质

拿到魔表之后，我先做了一些观察和实验，总结出以下几条基础数学性质。这些性质是整个数学建模的基石。

性质 1：指针状态是模 12 的离散量

每根指针只能指向 12 个小时刻度之一，我们把它编码为：

\ $0, 1, 2, \\dots, 11 \\$

其中 $0$ 表示 12 点，$1$ 表示 1 点，依此类推。

指针的运算天然在模 12 整数环 $\mathbb{Z}_{12} = \mathbb{Z}/12\mathbb{Z}$ 中进行。

例如，指针在 10 点，顺时针转 3 小时：

\ $10 + 3 = 13 \\equiv 1 \\pmod{12} \\$

指向 1 点。

这个性质有几个重要的推论：

状态是有限的 ：整个魔表的状态空间是 $(\mathbb{Z}_{12})^{18}$，理论上有 $12^{18}$ 种可能的状态组合**（实际可达状态数要少得多）**。
运算具有周期性 ：顺时针转 12 小时等于没转，即 $12 \equiv 0 \pmod{12}$。这意味着任何操作执行 12 次后，指针状态会回到起点。
可以用线性代数工具：模 12 整数环上的线性方程组理论，将成为我们求解魔表的核心数学工具。

如果我们把这18个表盘按顺序编号：

\ $\\text{正面：}\\quad \\begin{matrix} F_1 \& F_2 \& F_3 \\\\ F_4 \& F_5 \& F_6 \\\\ F_7 \& F_8 \& F_9 \\end{matrix} \\qquad \\text{反面：}\\quad \\begin{matrix} B_1 \& B_2 \& B_3 \\\\ B_4 \& B_5 \& B_6 \\\\ B_7 \& B_8 \& B_9 \\end{matrix} \\$

整个魔表的状态可以写成一个 18 维向量：

\ $\\mathbf{x} = (F_1, F_2, \\dots, F_9,\\; B_1, B_2, \\dots, B_9)\^T \\in (\\mathbb{Z}_{12})\^{18} \\$

目标状态就是零向量 $\mathbf{0} = (0, 0, \dots, 0)$。

性质 2：操作效果与当前状态无关

这一点非常关键：

在同样的按钮状态下，转动某个拨轮一格，无论当前指针指向哪里，所造成的变化量总是相同的。

例如，"只按下 UL 按钮，顺时针转动 UL 拨轮 1 格"，这个操作的效果永远是：

正面 $F_1$ 顺时针 1 小时（$+1$）
反面 $B_2, B_3, B_5, B_6$ 逆时针 1 小时（$-1$）
其余指针不动

用向量表示，效果为：

\ $\\mathbf{v} = (1, 0, 0, 0, 0, 0, 0, 0, 0,\\;\\; 0, -1, -1, 0, -1, -1, 0, 0, 0)\^T \\pmod{12} \\$

即：

\ $\\mathbf{v} = (1, 0, 0, 0, 0, 0, 0, 0, 0,\\;\\; 0, 11, 11, 0, 11, 11, 0, 0, 0)\^T \\pmod{12} \\$

这个性质意味着：我们可以给每个"按钮-拨轮"组合赋予一个固定的效果向量。

为什么这个性质成立？

这源于魔表的机械结构。魔表的传动机制是纯机械的------齿轮比固定，按钮的联动选择也是机械固定的。无论指针当前指在哪个位置，转动拨轮一格就是带动指针转动 1 小时。因此同一个"按钮-拨轮"组合在任何状态下产生的变化量都相同。

为什么这个性质重要？

如果操作效果会随当前状态变化（比如指针在不同位置时，转动拨轮产生的效果不同），那么魔表就变成了一个非线性系统，求解难度会大幅上升。

幸运的是，魔表的操作是线性的------效果向量是固定的，不依赖于当前状态。这让我们可以使用线性代数的工具来建模和求解。

性质 3：操作效果可以线性叠加

如果操作 A 让各指针变化了向量 $\mathbf{v}_A$，操作 B 让各指针变化了向量 $\mathbf{v}_B$，那么先做 A 再做 B，总效果是：

\ $\\mathbf{v}_A + \\mathbf{v}_B \\pmod{12} \\$

而且，先 A 后 B 与先 B 后 A 的效果完全一样------操作是可交换的。

\ $\\mathbf{v}_A + \\mathbf{v}_B = \\mathbf{v}_B + \\mathbf{v}_A \\$

这意味着，只关注指针最终角度的话，魔表的操作构成一个阿贝尔群（交换群）。

为什么这个性质成立？

这个性质同样源于魔表的机械结构------每个表盘的指针由多个齿轮独立驱动，各齿轮的转动量直接相加，互不影响。由于整数加法本身是可交换的，所以操作顺序不影响最终结果。

实际意义

这个性质告诉我们：

操作顺序不重要：只要执行了相同的操作集合，无论顺序如何，最终状态都一样。这大大简化了求解------我们只需要确定每种操作要执行多少次，而不需要考虑执行顺序。
可以合并同类操作 ：如果在按钮状态 $S_1$ 下转动拨轮 $w_1$ 两次，再转动一次，总效果就等于转动三次。不需要分步骤记录。
可以用线性方程组描述：因为效果可以叠加，所以总效果就是各操作效果的线性组合。这正是线性代数的用武之地。

性质 4：逆时针转动就是取负

顺时针转 $k$ 小时的效果记为 $+k$，那么逆时针转 $k$ 小时就是 $-k$，在模 12 下等价于 $12 - k$。

例如，顺时针 9 小时等于逆时针 3 小时：

\ $9 \\equiv -3 \\pmod{12} \\$

同样，逆时针 5 小时等于顺时针 7 小时：

\ $-5 \\equiv 7 \\pmod{12} \\$

这个性质的意义

这意味着我们不需要单独为"逆时针转动"定义新的操作向量 。逆时针转动 $k$ 小时，就等价于顺时针转动 $12-k$ 小时。

在求解时，我们可以把转动量 $y$ 限制在 $0 \leq y \leq 11$ 的范围内。如果解出来的 $y > 6$，可以理解成逆时针转动 $12-y$ 小时，这样在实际操作时会更高效。

三、操作空间的规模

有了这四条性质，我们可以来计算魔表有多少种基本的"按钮-拨轮"组合。

按钮状态 ：4 个按钮，每个 2 种状态，共 $2^4 = 16$ 种
拨轮选择：4 个拨轮，共 4 种
组合总数 ：$16 \times 4 = 64$ 种

每种组合对应一个 18 维的效果向量。这就是魔表的全部基本操作空间。

结语

在这篇文章里，我们认识了魔表的基本面貌，并总结了几条关键数学性质：

指针状态在模 12 下运算
操作效果与当前状态无关
操作效果可以线性叠加、可以交换顺序
逆时针转动等价于顺时针取负

这些性质告诉我们：魔表的指针状态变化本质上是一个模 12 上的线性系统。这为用线性代数工具来建模和求解奠定了基础。

那么，如何把这些性质转化为一个具体的数学模型，进而求解"给定任意状态，最少需要多少步操作才能复原"这个问题呢？

在下一篇文章里，我们将尝试从这64种基本操作出发，构建完整的数学模型，然后尝试求解。