[论文解读] Algorithms for Solving Rubik's Cubes

Erik D. Demaine, Martin L. Demaine+3 more|arXiv (Cornell University)|Jun 28, 2011

graph theory and CDMA systems参考文献 13被引用 11

一句话总结

本文確立了 n×n×n 和 n×n×1 魔術方塊配置空間的漸近直徑為 Θ(n²/log n)，透過平行化標準 O(n²) 解法演算法，實現對數速度提升。本文證明當僅考慮部分角塊時，尋找最佳解為 NP-難問題，並提出針對固定寬度魔術方塊（c₁×c₂×n）的多項式時間演算法。

ABSTRACT

The Rubik's Cube is perhaps the world's most famous and iconic puzzle, well-known to have a rich underlying mathematical structure (group theory). In this paper, we show that the Rubik's Cube also has a rich underlying algorithmic structure. Specifically, we show that the n x n x n Rubik's Cube, as well as the n x n x 1 variant, has a "God's Number" (diameter of the configuration space) of Theta(n^2/log n). The upper bound comes from effectively parallelizing standard Theta(n^2) solution algorithms, while the lower bound follows from a counting argument. The upper bound gives an asymptotically optimal algorithm for solving a general Rubik's Cube in the worst case. Given a specific starting state, we show how to find the shortest solution in an n x O(1) x O(1) Rubik's Cube. Finally, we show that finding this optimal solution becomes NP-hard in an n x n x 1 Rubik's Cube when the positions and colors of some of the cubies are ignored (not used in determining whether the cube is solved).

研究动机与目标

• 確定 n×n×n 和 n×n×1 魔術方塊配置空間的漸近直徑（上帝數）。
• 研究在僅部分角塊需被解開時，尋找最佳移動序列之計算複雜度。
• 發展有效演算法以解決廣義魔術方塊，特別是在固定寬度配置（c₁×c₂×n）的情境下。

提出的方法

• 透過每次移動可同時轉換 n^Θ(1) 個角塊，平行化標準 O(n²) 解法演算法，以減少總移動次數，達成對數因子的改善。
• 應用計數論證，基於配置數量（2^Θ(n²)）與分支因子（O(n)），建立直徑的下界 Ω(n²/log n)。
• 將移動序列遞迴分解為長移動與短移動，透過重複應用基本移動序列來模擬複雜的移動模式。
• 利用鴿巢原理論證，減少最佳解中長移動的數量，顯示重複的移動模式可被壓縮。
• 枚舉所有大小為常數的長移動序列（受限於 c₁ 和 c₂ 的函數），並對每個角塊群組獨立使用有限的短移動組合搜尋求解。
• 應用動態規劃與組合最佳化，尋找所有有效長移動序列中的最短解，確保全域最佳性。

实验结果

研究问题

• RQ1 n×n×n 和 n×n×1 魔術方塊配置空間的漸近直徑為何？
• RQ2 當僅需解開部分角塊時，尋找最短移動序列是否為 NP-難問題？
• RQ3 對於固定寬度 c₁×c₂×n 的魔術方塊（c₁, c₂ ≠ n），最佳解是否可在多項式時間內計算？
• RQ4 是否可利用移動操作中的平行性，設計出近似最佳解的常數因子近似演算法？
• RQ5 最佳解中長移動的數量如何隨立方體尺寸變化？是否可建立其界限？

主要发现

• n×n×n 和 n×n×1 魔術方塊配置空間的直徑為 Θ(n²/log n)，解決了這些謎題的漸近上帝數。
• 上界 O(n²/log n) 透過平行化標準解法演算法達成，其依據為每次移動可同時影響 Θ(n) 個角塊。
• 計數論證得出下界 Ω(n²/log n)，確認直徑結果的漸近緊緻性。
• 在 n×n×1 魔術方塊中，僅需解開指定角塊子集時，尋找最短移動序列為 NP-難問題，即使忽略部分角塊的位置與顏色亦然。
• 對於 c₁×c₂×n 魔術方塊（c₁, c₂ ≠ n），最佳解可在多項式時間內計算，且長移動序列數量受常數限制。
• 任何 c₁×c₂×n 魔術方塊的最佳解中，長移動數量至多為 (c₁c₂)! · 2^(1+3c₁c₂+8(c₁+c₂))，當 c₁ 與 c₂ 固定時，此數量為常數。