테트라벡스 퍼즐, NP‑완전성으로 입증된 난이도

초록

본 논문은 n×n 보드에 n²개의 타일을 배치해 인접한 변의 숫자가 일치하도록 하는 테트라벡스 문제의 결정 버전이 NP‑완전임을 증명한다. 이를 위해 3‑SAT을 다항 시간에 변환하는 다항 시간 감소를 제시하고, 문제의 귀속성을 보이며, 다양한 변형과 향후 연구 과제를 제시한다.

상세 분석

테트라벡스는 각 타일이 네 개의 정수 라벨을 가지고 있으며, 이 라벨이 인접 타일과 일치하도록 n×n 격자에 배치하는 퍼즐이다. 논문은 먼저 문제를 결정 문제 형태로 정의한다: 주어진 타일 집합이 보드 전체를 충족시키는 배치를 허용하는가? 이 정의는 명백히 NP에 속한다. 왜냐하면 후보 배치를 제시하면 각 인접 쌍의 라벨 일치를 O(n²) 시간에 검증할 수 있기 때문이다. NP‑완전성을 보이기 위해 저자들은 3‑SAT 인스턴스를 테트라벡스 인스턴스로 다항 시간에 변환한다. 변환 과정은 크게 세 단계로 구성된다. 첫 번째 단계는 변수 타일과 절락 타일을 설계해 각 변수의 진리값을 보드의 한 행에 인코딩한다. 변수 타일은 두 가지 가능한 회전(또는 반전) 형태를 갖으며, 각각 true와 false를 의미한다. 두 번째 단계에서는 절락을 구현하기 위해 “클라우스 게이트” 구조를 만든다. 각 절락은 세 개의 입력 변수를 받아들여, 적어도 하나가 true이면 통과하도록 설계된 복합 타일 집합으로 구성된다. 이때 타일의 라벨은 논리 연산을 모방하도록 정수값을 할당한다. 세 번째 단계는 전체 보드를 닫는 “프레임” 타일을 배치해, 변수와 절락 구조가 서로 충돌하지 않도록 보장한다. 변환이 올바르게 수행되면, 원래 3‑SAT 인스턴스가 만족 가능할 경우에만 테트라벡스 보드에 완전한 타일링이 존재한다. 반대로, 타일링이 존재하면 해당 배치에서 변수 타일의 방향을 읽어 3‑SAT의 만족 할당을 복원할 수 있다. 이 쌍방향 매핑은 다항 시간 내에 수행되므로, 테트라벡스는 NP‑하드임을 증명한다. 이미 NP에 속함을 보였으므로, 최종적으로 NP‑완전성을 확립한다. 논문은 또한 무한 보드 버전이 튜링 완전성을 가질 가능성을 제시하고, 난이도 조절을 위한 무작위 인스턴스 생성, 고유 해를 보장하는 제약조건, 그리고 퍼즐의 임계 현상(phase transition) 탐구와 같은 후속 연구 방향을 제안한다. 이러한 분석은 테트라벡스가 단순한 오락을 넘어 복잡도 이론에서 의미 있는 사례임을 강조한다.