수독 탐구 조합적 관점

본 논문은 수독 퍼즐을 전형적인 제약 만족 문제(CSP)로 모델링하고, 특히 alldifferent 제약을 중심으로 다양한 전파‑검색 알고리즘을 설계·평가한다. 먼저 수독을 n×n 블록을 갖는 n²×n² 격자로 일반화하고, 각 셀을 변수 xᵢⱼ, 도메인은 {1,…,n²} 로 정의한다. 수독의 핵심 제약은 “각 행·열·블록에 동일한 숫자가 한 번만 나타난다”는 alldifferent 제약이며, 이는 CSP 분야에서 가장 강력한 전파 메커니즘 중 하나이다. 논문은 전파 과정을 두 단계로 나눈다. 첫 번째 단계는 할당된 값(v)을 같은 행·열·블록의 다른 셀 도메인에서 제거하는 기본 전파이며, 이는 비트 배열을 이용해 O(1) 시간에 수행된다. 두 번째 단계는 “단일 후보” 규칙으로, 한 행·열·블록 내에서 어떤 값이 오직 하나의 셀에만 남아 있을 때 그 셀에 강제 할당한다. 이 단계는 alldifferent 제약의 이중성(값의 유일성 vs 셀의 유일성)을 활용한다. 전파가 정지된 후에도 모든 도메인이 단일값이 아니면 탐색 단계로 넘어간다. 탐색 단계는 오직 도메인 크기가 2인 셀(쌍 도메인)만을 대상으로 이진 깊이 우선 탐색을 수행한다. 즉, 쌍 {v,w}에 대해 먼저 v를 할당하고 전파를 재실행한 뒤 해가 없으면 되돌리고 w를 할당한다. 이 방식을 “PS‑1‑2” 알고리즘이라고 명명했으며, “1”은 alldifferent 기반 전파만을 사용하고, “2”는 이진 탐색만을 허용한다는 의미다. 구현은 C 언어와 비트 연산을 활용해 도메인 압축과 전파/축소 연산을 효율화한다. 특히 행·열·블록 별로 도메인 비트를 전치(transpose)하여 “값이 한 번만 나타나는 셀”을 빠르게 탐지한다. 탐색 시 현재 도메인 상태를 전체 비트 배열로 복사해 백업하고, 실패 시 복원함으로써 전형적인 백트래킹 메커니즘을 구현한다. 실험에서는 최소 힌트 수 17개를 갖는 유명한 최소 퍼즐 컬렉션(그레고리 로일)과, 임의로 선택한 난이도 중간 퍼즐을 대상으로 수행했다. 결과는 평균 77회의 전파와 11회의 이진 탐색 호출로 해결되었으며, 탐색 깊이는 대부분 1~2단계에 머물렀다. 이는 alldifferent 전파가 상당히 강력함을 보여준다. 전파 단계에서 도메인이 비어버리는 경우(블록)와 해가 완전히 결정되는 경우(솔브)도 정확히 감지한다. 논문은 인간이 사용하는 “피시(Fish)”, “XY‑Wing” 등 복잡한 패턴 기반 히어리틱과 비교했을 때, 전파‑검색 프레임워크가 이론적으로는 충분히 강력하지만 실제 퍼즐 난이도 평가는 히어리틱의 복합성, 힌트 수, 전파 깊이 등 다차원적인 요소가 필요함을 강조한다. 또한, alldifferent 제약을 순열 제약(permutation constraint)으로 보는 관점에서, 수독이 라틴 사각형, 그래프 색칠 등 다른 CSP와 구조적 유사성을 갖는다는 점을 부각시킨다. 결론적으로, 논문은 수독을 CSP로 정형화하고, alldifferent 전파와 제한된 이진 탐색만으로도 대부분의 실제 퍼즐을 효율적으로 해결할 수 있음을 실험적으로 증명한다. 동시에 전파‑검색 균형, 도메인 축소 전략, 백트래킹 구현 세부사항이 알고리즘 성능에 미치는 영향을 정밀히 분석한다. 향후 연구 방향으로는 전파 단계에 더 강력한 일관성 검사(예: arc consistency, path consistency)와, 히어리틱 기반 패턴 탐지를 자동화하는 메타‑검색 기법을 결합함으로써 최소 힌트 퍼즐에 대한 해 찾기와 난이도 추정 정확도를 향상시킬 가능성을 제시한다.