[논문 리뷰] Twenty-Five Moves Suffice for Rubik's Cube

Tomas Rokicki|ArXiv.org|2008. 03. 24.

Manufacturing Process and Optimization참고 문헌 2인용 수 6

한 줄 요약

이 논문은 대칭성 감소, 최적화된 세트 해결 알고리즘, 그리고 광범위한 계산을 조합하여 3×3×3 루빅스 큐브의 임의의 상태를 25수 또는 그 이하로 풀 수 있음을 증명한다. 큐브 상태 공간을 20억 개 이상의 세트로 나누고, Kociemba의 알고리즘을 병렬 변환과 결합하여 25수를 초과하는 데 필요한 위치를 제거함으로써, 면 전환 기준에서 상한선을 26에서 25로 낮춘다.

ABSTRACT

How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or more moves; this is a surprisingly large gap. This paper describes a program that is able to find solutions of length 20 or less at a rate of more than 16 million positions a second. We use this program, along with some new ideas and incremental improvements in other techniques, to show that there is no position that requires 26 moves.

연구 동기 및 목표

• 면 전환 기준에서 임의의 루빅스 큐브 상태를 풀기 위한 수의 상한선을 26에서 25로 낮추는 것.
• 수십억 개의 큐브 상태를 동시에 처리할 수 있는 최적화된 고성능 세트 해결 알고리즘을 개발하고 적용하는 것.
• 대칭성과 군론적 감소 기법을 활용하여 계산 검색 공간을 최소화하면서도 완전성을 유지하는 것.
• 모든 관련 큐브 상태 세트에 대한 거리의 상한을 체계적으로 증명함으로써, 어떤 위치도 25수를 초과하지 않는다는 것을 입증하는 것.

제안 방법

• 고정된 중앙 모서리에 기반한 부분군 H를 사용하여 큐브 상태 공간을 약 20억 개의 세트로 분할하며, 각 세트는 약 200억 개의 위치를 포함한다.
• Kociemba의 이단계 알고리즘의 개선된 버전을 사용하여 각 위치의 여러 대칭 변환을 동시에 해결함으로써 해결 속도를 향상시킨다.
• 개별 위치가 아니라 전체 위치 세트의 거리 상한을 동시에 계산할 수 있도록 알고리즘을 '세트 해결기'로 변형한다.
• 그래프 전파를 통해 중복 및 인접 세트를 제거하고, 최대 거리 추정치를 가장 크게 줄이는 세트를 우선순위로 선택하는 탐욕적 전략을 적용한다.
• 세트 해결기와 단순한 탐욕적 알고리즘을 융합한 하이브리드 접근 방식을 통해, 전체 커버리지가 보장되면서도 총 계산량을 최소화할 수 있도록 세트를 선택하고 처리한다.
• 이 방법은 대칭성 감소에 의존하며, 큐브 군의 모든 위치가 세트 체계의 어떤 대표 요소로부터 유한한 수의 수만에 도달할 수 있다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 면 전환 기준에서 임의의 루빅스 큐브 상태를 풀기 위한 수의 상한선을 26 이하로 낮출 수 있는가?
• RQ2 고성능의 세트 기반 알고리즘이 수십억 개의 큐브 상태에 대한 거리 상한을 동시에 효율적으로 계산할 수 있는가?
• RQ3 대칭성과 군의 구조는 얼마나 효과적으로 활용되어 루빅스 큐브의 신의 수 문제 해결에 필요한 계산 복잡도를 낮출 수 있는가?
• RQ4 알고리즘 최적화와 병렬 계산을 조합하여 어떤 위치도 25수를 초과하지 않는다는 것을 증명할 수 있는가?

주요 결과

• 논문은 3×3×3 루빅스 큐브의 모든 상태가 면 전환 기준에서 25수 이내로 풀 수 있음을 증명한다.
• 저자들은 3,868개의 큐브 상태 세트를 식별하고 해결하였으며, 이 중 3,226개 세트는 거리 상한이 20 이하였고, 621개 세트는 19 이하였다.
• 거리가 정확히 18인 21개 세트와 거리 상한이 19 또는 20인 4개 세트를 조합함으로써, 모든 상태가 27수 이내임을 입증하였으며, 이는 최종적인 25수 상한선에 도달하기 위한 기초 단계로 사용되었다.
• 증명을 재현하기 위한 계산량은 현대 CPU와 최적화된 솔버 설정을 사용할 경우 약 1,500 CPU 시간으로 추정된다.
• 저자들은 약간의 알고리즘 확장을 통해(특히 중앙 모서리가 고정되어야 한다는 제약를 제거함으로써) 추가로 몇 개월의 CPU 계산만 더 거치면 상한선을 24로 더 낮출 수 있을 것으로 보고 있다.
• 중복 및 인접 세트를 제거함으로써 검색 공간을 성공적으로 줄였으며, 이는 계산 효율성의 크게 향상된 결과를 얻었다.