【摘要】前文得到了魔表的 30 操作通解公式，包含 16 个自由变量。本文将其转化为ℓ0稀疏优化问题，用 Google OR-Tools CP-SAT 约束求解器求全局最优解。对 10000 个随机状态求解，100% 证得全局最优，步数分布与 cube20.org 穷举结果在 0.5% 精度内完全吻合。前 ... 阅读全文