3색 및 2색 탄트릭스 회전 퍼즐 문제의 NP 완전성: 파시모니어스 감소를 통한 증명

본 논문은 인기 보드 게임인 탄트릭스(Tantrix)의 회전 퍼즐 버전에 대한 체계적인 계산 복잡도 분석을 제시한다. 퍼즐의 목표는 고정된 위치에 놓인 육각형 타일들을 회전시켜 인접한 타일들의 모서리 색상이 일치하도록 만드는 것이다. 각 타일에는 서로 다른 패턴으로 배열된 세 개의 색상 선이 그려져 있다. 기존 연구(Holzer & Holzer, 2004)는 원래 게임과 동일한 4가지 색상을 사용하는 문제(4-TRP)가 NP-완전하며, 타일 수가 무한한 변형 문제는 결정 불가능함을 증명했다. 본 논문은 이 연구에서 제기된 "색상 수를 세 가지나 두 가지로 줄이면 문제가 여전히 NP-완전한가?"라는 질문을 다룬다. 색상 수를 세 가지와 두 가지로 제한하면 사용 가능한 타일의 총 수는 각각 56개에서 14개(T3), 8개(T2)로 줄어든다. 논문의 첫 번째 주요 결과는 3-TRP와 2-TRP가 모두 NP-완전함을 증명하는 것이다. 증명은 만족 가능성 문제(SAT)로부터의 파시모니어스 감소를 통해 이루어진다. 감소는 부울 회로를 구성하고, 이 회로의 와이어와 논리 게이트(AND, NOT)의 동작을 탄트릭스 타일로 만들어진 특정 서브퍼즐(예: 전선, 교차점, 게이트)로 시뮬레이션하는 방식으로 진행된다. 3-TRP와 2-TRP는 사용 가능한 타일 세트가 다르기 때문에 (T3가 T2를 포함하지 않음) 각각에 대해 별도의 감소 구성을 필요로 하며, 논문은 이 두 구성을 상세히 설명한다. 특히 3-TRP를 위한 구성에서는 와이어 교차를 직접 처리할 수 있는 새로운 CROSS 서브퍼즐을 도입하여 이전 구성보다 효율성을 높였다. '파시모니어스 감소'는 해의 수를 보존하므로, 이를 통해 SAT의 해의 수와 구성된 퍼즐의 해의 수가 정확히 일치함이 보장된다. 이로부터 두 번째 주요 결과가 도출된다: 유일해 버전 문제인 Unique-3-TRP와 Unique-2-TRP는 무작위화 다항시간 감소 하에서 DP-완전하다. DP는 두 NP 집합의 차이로 정의되는 복잡도 클래스로, 유일해 문제의 분석에 중요하다. 세 번째 결과는 다른 해 찾기 문제(Another-Solution Problem)에 관한 것이다. 주어진 문제 인스턴스와 그에 대한 하나 이상의 알려진 해가 있을 때, 다른 해가 존재하는지 판단하는 문제를 AS-k-TRP라 한다. 논문은 구성된 감소가 파시모니어스일 뿐만 아니라 해 집합 간의 전단사 함수를 제공함(≤p_asp 감소)을 보여, AS-3-TRP와 AS-2-TRP가 NP-완전함을 증명한다. 3-TRP의 결과는 4-TRP로 상속되므로 AS-4-TRP의 NP-완전성도 새로운 결과로 얻어진다. 네 번째 결과는 무한 버전 문제에 대한 것이다. 타일의 배치가 무한한 격자에 대해 주어지는 문제 변형 Inf-3-TRP와 Inf-2-TRP가 결정 불가능함을 증명한다. 이는 기존 Inf-4-TRP의 증명 방식을 활용한다. 논문은 결론적으로, 탄트릭스 회전 퍼즐의 계산적 난이도가 색상 수를 4개에서 2개로 줄이는 극단적인 제약 하에서도 사라지지 않음을 보여주었다. 이는 문제의 구조적 핵심이 색상의 다양성보다는 타일의 연결 조건과 회전 제약에 있음을 시사하며, 계산 복잡도 이론이 구체적인 게임과 퍼즐의 분석에 유용하게 적용될 수 있음을 잘 보여주는 사례이다.