[논문 리뷰] Algorithms for Solving Rubik's Cubes

Erik D. Demaine, Martin L. Demaine외 3명|arXiv (Cornell University)|2011. 06. 28.

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)개의 쿠비를 동시에 변형할 수 있음을 활용하여, 표준 O(n²) 해법 알고리즘을 병렬화함으로써 총 이동 수를 로그 인자만큼 감소시키는 방식.
• 구성 수(2^Θ(n²))와 분지 계수(O(n))를 바탕으로, 지름에 대해 Ω(n²/log n)의 하한을 확보하기 위해 수량적 추론을 적용.
• 이동 시퀀스를 장거리 이동과 단거리 이동으로 분해하고, 기본 이동 시퀀스를 반복 적용하여 복잡한 이동 패tern을 시뮬레이션.
• 반복되는 이동 패턴을 압축할 수 있음을 보여주기 위해, 최적 해에서 장거리 이동의 수를 파라미터화한 조건부 원리(양치기 원리)를 적용.
• 상수 크기의 장거리 이동 시퀀스를 모두 나열하고, 각 쿠비 클러스터를 단독으로 처리하기 위해 단거리 이동 조합에 대한 유한한 탐색을 수행.
• 동적 프로그래밍과 조합 최적화를 적용하여 모든 유효한 장거리 이동 시퀀스 중에서 가장 짧은 해를 찾고, 전역 최적성을 보장.

실험 결과

연구 질문

• 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₂가 고정되어 있을 경우 이 값은 상수이다.