[논문 리뷰] There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem

Gary McGuire, Bastian Tugemann외 1명|arXiv (Cornell University)|2012. 01. 01.

graph theory and CDMA systems참고 문헌 15인용 수 39

한 줄 요약

이 논문은 유일한 해를 가진 16단계 퍼즐이 존재하지 않음을 증명하며, 오랫동안 제기되어 온 추측을 확인한다. 즉, 유효한 유일한 해를 가진 9×9 수쿠는 최소 17개의 힌트가 필요하다는 것이다. 저자들은 고성능 클러스터에서 계산 검증을 통해 모든 9×9 수쿠 솔루션 격자를 철저히 탐색하기 위해 최적화된 히팅 세트 열거 알고리즘을 개발하였으며, 이 과정에서 710만 핵심 시간이 소요되었다.

ABSTRACT

The sudoku minimum number of clues problem is the following question: what is the smallest number of clues that a sudoku puzzle can have? For several years it had been conjectured that the answer is 17. We have performed an exhaustive computer search for 16-clue sudoku puzzles, and did not find any, thus proving that the answer is indeed 17. In this article we describe our method and the actual search. As a part of this project we developed a novel way for enumerating hitting sets. The hitting set problem is computationally hard; it is one of Karp's 21 classic NP-complete problems. A standard backtracking algorithm for finding hitting sets would not be fast enough to search for a 16-clue sudoku puzzle exhaustively, even at today's supercomputer speeds. To make an exhaustive search possible, we designed an algorithm that allowed us to efficiently enumerate hitting sets of a suitable size.

연구 동기 및 목표

• 유일한 해를 가진 유효한 수쿠 퍼즐에 대해 최소 17개의 힌트가 필요하다는 오랫동안 제기되어 온 추측을 해결하기 위해.
• 모든 가능한 9×9 격자에서 유일한 해를 가진 16단계 수쿠 퍼즐이 존재하지 않음을 계산적으로 검증하기 위해.
• 최소 힌트 퍼즐을 위한 모든 수쿠 솔루션 격자를 철저히 탐색할 수 있는 효율적인 알고리즘을 개발하고 구현하기 위해.
• 엄격한 검증, 버전 관리, 다중 솔버 검증을 통해 계산의 정확성과 재현 가능성을 확보하기 위해.
• 복잡한 조합 문제를 고도로 최적화된 병렬 계산 접근 방식을 통해 해결할 수 있음을 보여주기 위해.

제안 방법

• 모든 유효한 해에 반드시 포함되어야 하는 셀 집합인 최소 불가피 집합을 식별하기 위해 히팅 세트 열거 알고리즘을 사용함.
• 중복된 히팅 세트 열거를 방지하기 위해 '사망 힌트 벡터'를 활용하는 새로운 백트래킹 최적화 기법을 도입하여 성능을 크게 향상시킴.
• 두 단계 검색 전략을 구현: 첫 번째 단계에서는 블루프린트 기반 방법으로 모든 최소 불가피 집합을 생성하고, 두 번째 단계에서는 이러한 집합을 사용해 크기가 16인 히팅 세트를 찾음.
• 불가피 집합을 나타내는 이진 벡터를 통합하여 내부 루프를 최적화함으로써 메모리 액세스를 줄이고 캐시 효율을 향상시킴.
• 320노드의 SGI Altix ICE 8200EX 클러스터(Stokes)에서 병렬 계산 전략을 적용하여 수백 개의 독립된 작업으로 검색을 분할함.
• 모든 솔버 출력을 두 개의 서로 다른 완성도로 확인함; 오류 없이 일관된 결과가 확인되어 솔버 신뢰성이 입증됨.

실험 결과

연구 질문

• RQ1 유일한 해를 가진 16단계 수쿠 퍼즐이 존재하는가?
• RQ2 유일하게 풀 수 있는 수쿠 퍼즐에 대해 최소 힌트 수가 17임을 증명할 수 있는가?
• RQ3 모든 9×9 수쿠 솔루션 격자를 철저히 탐색하는 데 있어 계산적으로 실현 가능한 알고리즘 최적화는 무엇이 필요한가?
• RQ4 수쿠 최소 힌트 문제와 같은 대규모 조합 문제에서 히팅 세트 열거를 어떻게 가속화할 수 있는가?
• RQ5 조합 수학에서 컴퓨터 보조 증명의 정확성을 보장하기 위해 필요한 계산 검증 수준은 어느 정도인가?

주요 결과

• 모든 9×9 수쿠 솔루션 격자를 철저히 탐색한 결과, 유일한 해를 가진 16단계 수쿠 퍼즐은 발견되지 않았다.
• Stokes 슈퍼컴퓨터에서 320개의 계산 노드를 사용하여 약 710만 핵심 시간이 소요됨.
• 최종 버전의 최적화된 체크 알고리즘은 하이퍼스레딩 기능이 켜진 단일 CPU 코어에서 평균 3.6초에 한 번씩 실행됨.
• 기존 체크 알고리즘은 30만 년 이상의 프로세서 연산이 필요했지만, 새 알고리즘은 약 800년 수준으로 단축됨.
• 계산 중에 체크 소프트웨어를 다섯 번 업데이트하였으며, 각 업데이트마다 성능 향상이 이루어져 조기 완료가 가능해짐.
• 검색은 완전히 검증됨: 모든 솔버 출력이 정확성과 유일성에 대해 확인되었으며, 오류나 중복 해는 발견되지 않음.