CATEGORY 02 · 算法与分析
Commutator 构造器
输入两段动作 A 和 B，自动展开 [A, B] = A·B·A⁻¹·B⁻¹；或计算共轭 X·A·X⁻¹。直观看到构造结果，常用于理解 3-cycle、parity 修复。
它能解决什么问题
Commutator [A,B] 是魔方理论的核心构造工具。它能告诉你"如何用 A、B 这两段动作组合出一个 3-cycle 或换位"。但手工展开 A·B·A⁻¹·B⁻¹ 容易算错，特别是当 A、B 较长时。本工具直接展开并尝试简化。
怎么用
比如想构造一个 R 面 3-cycle：输入 A=R U, B=R' U'（注意这仅是示例）。计算后会得到展开式 [A,B]。多数情况下会很长，但这就是 commutator 的本质。
有哪些局限
- 不做 cube 状态模拟，无法告诉你"这个 commutator 是否真的换了某块"。
- 简化算法比较朴素（只识别 [X, X⁻¹] = identity），不识别更深层的等价。