세색·두색 탄트릭스 회전 퍼즐은 NP‑완전이며 무한 버전은 결정 불가능

초록

Holzer와 Holzer(Discrete Applied Mathematics 144(3):345‑358, 2004)는 네 가지 색을 사용하는 탄트릭스 회전 퍼즐 문제(4‑TRP)가 NP‑완전이며, 그 무한 버전은 결정 불가능함을 증명하였다. 본 논문에서는 색의 수를 세 가지(3‑TRP)와 두 가지(2‑TRP)로 제한한 경우를 연구한다. 색을 제한하면 사용 가능한 타일 종류가 56개에서 각각 14개와 8개로 감소한다. 우리는 3‑TRP와 2‑TRP가 모두 NP‑완전임을 증명함으로써 Holzer와 Holzer의 질문에 긍정적으로 답한다. 우리의 환원은 파스모니우스(parsimonious) 방식이므로, Unique‑3‑TRP와 Unique‑2‑TRP는 무작위화된 감소에 의해 DP‑완전이 된다. 또한 4‑TRP, 3‑TRP, 2‑TRP에 대한 “다른 해 존재 여부” 문제도 NP‑완전임을 보인다. 마지막으로 3‑TRP와 2‑TRP의 무한 변형이 모두 결정 불가능함을 증명한다.

상세 요약

탄트릭스(Tantrix)는 육각형 타일에 네 가지 색(또는 그 이하)의 선을 그려 놓은 퍼즐로, 각 타일은 회전만 허용된다. 기존 연구에서는 네 가지 색을 모두 사용할 때, 즉 56개의 서로 다른 타일이 존재하는 경우에 대해 4‑TRP가 NP‑완전이며, 무한한 평면에 무한히 배치하는 버전은 튜링 기계 시뮬레이션을 통해 결정 불가능함을 보였다. 그러나 색의 수를 제한하면 타일 집합이 급격히 축소되는데, 이는 복잡도 이론에서 “제한된 자원”이 문제의 난이도에 어떤 영향을 미치는지를 탐구할 좋은 시험대가 된다.

본 논문은 먼저 3‑색 제한 하에서 가능한 타일을 14개, 2‑색 제한 하에서는 8개로 정의하고, 각각에 대해 NP‑완전성을 증명한다. 핵심 아이디어는 3‑SAT 혹은 1‑인‑3‑SAT과 같은 고전적인 NP‑완전 문제를 탄트릭스 퍼즐에 “파스모니우스(parsimonious)하게” 변환하는 것이다. 파스모니우스 환원은 해의 개수를 보존하므로, 원 문제의 해가 정확히 하나일 때와 다수일 때를 구분하는 Unique‑TRP 문제에 직접 적용할 수 있다. 이와 같은 환원을 통해 Unique‑3‑TRP와 Unique‑2‑TRP가 DP‑완전임을 보였으며, 여기서 DP는 “NP와 co‑NP의 교집합”을 의미하는 복합 복잡도 클래스이다.

또한 “다른 해 존재 여부”(another‑solution) 문제는 주어진 해 하나가 주어졌을 때, 그와 다른 해가 존재하는지를 묻는 형태이다. 이 문제는 일반적인 NP‑완전성 증명과는 달리, 기존 해를 활용해 추가적인 제약을 만들고, 이를 다시 SAT 인스턴스로 변환함으로써 NP‑완전성을 확보한다. 논문은 4‑TRP, 3‑TRP, 2‑TRP 모두에 대해 동일한 기법을 적용해 결과를 일관되게 얻었다.

마지막으로 무한 변형에 대한 결과는 특히 흥미롭다. 색을 3개 혹은 2개로 제한하더라도, 무한히 확장된 격자에 타일을 배치하는 문제는 여전히 튜링 기계의 행동을 시뮬레이션할 수 있다. 따라서 무한 3‑TRP와 무한 2‑TRP는 결정 불가능함을 보이며, 이는 색의 수가 제한되어도 “무한성”이라는 특성이 복잡도에 지배적인 영향을 미친다는 점을 강조한다.

이 연구는 퍼즐 문제의 복잡도 분석에 새로운 관점을 제공한다. 색의 수라는 자연스러운 제한이 있더라도 NP‑완전성은 유지될 수 있음을 보여주며, 파스모니우스 환원을 활용한 증명 기법은 다른 제한된 퍼즐(예: 스도쿠, 라인 퍼즐 등)에도 적용 가능성을 시사한다. 또한 Unique‑TRP와 같은 고유성 문제를 DP‑완전으로 분류함으로써, 복합 클래스 DP에 대한 실질적인 사례를 추가한다. 이러한 결과는 이론 컴퓨터 과학뿐 아니라 퍼즐 설계와 게임 이론에서도 실용적인 함의를 가진다.