정수계획법을 이용한 탄트릭스 퍼즐 최적해 탐색

초록

본 논문은 탄트릭스 퍼즐을 정수계획 모델로 정의하고, 제약식으로 규칙을 구현한 뒤 수학적 최적화 솔버를 이용해 50개 타일까지의 해를 찾는 방법을 제시한다. 기본 제약만으로는 불완전한 해가 발생하므로, 추가 제약과 인공 목적함수를 도입해 오류를 제거한다. 실험 결과 중간 규모(≤50) 문제에 대해 성공적으로 해를 구함을 확인하였다.

상세 분석

탄트릭스는 6각형 타일에 색선이 그려진 퍼즐로, 지정된 보드에 타일을 배치하고 동일 색상의 선이 연속적으로 연결되어 하나의 폐곡선을 이루도록 하는 것이 목표이다. 논문은 먼저 문제를 “타일 배치와 루프 형성”이라는 두 가지 서브문제로 분해하고, 이를 이진 변수와 정수 변수로 표현한다. 각 격자 위치(i,j)에 타일 종류 k가 놓이는지를 나타내는 0‑1 변수 x_{ijk}와, 각 타일의 회전 상태를 나타내는 변수 r_{ijk}를 도입해, 타일이 겹치지 않으며 보드 경계 안에 머무르는 제약을 기본적으로 설정한다.

다음으로 색선 연결 규칙을 수학적으로 모델링한다. 인접한 두 격자 사이에 동일 색상이 맞닿아야 함을 보장하기 위해, 각 색상별 흐름 변수 f_{ij}^{c}를 정의하고, 흐름 보존 방정식을 통해 색선이 끊기지 않도록 제약한다. 이때 루프가 하나만 존재하도록 하기 위해 전체 흐름의 총량을 1로 고정하는 전역 제약을 추가한다.

초기 모델은 “색선이 끊기지 않는다”는 조건만을 만족시켜도 불완전한 해(예: 여러 개의 작은 루프가 동시에 존재) 가 발생한다는 점을 발견한다. 이를 해결하기 위해 논문은 두 가지 보강책을 제시한다. 첫째, 각 색상별로 연결된 컴포넌트 수를 제한하는 서브투어 차단 제약을 도입해 다중 루프를 방지한다. 둘째, 인공 목적함수인 “루프 길이 최소화 + 회전 불일치 페널티”를 설정해, 최적화 과정에서 비합리적인 배치를 자연스럽게 배제한다.

실험에서는 CPLEX와 Gurobi 같은 상용 MIP 솔버를 이용해 10, 20, 30, 40, 50 타일 인스턴스를 테스트하였다. 30타일 이하에서는 기본 모델만으로도 해를 찾을 수 있었으나, 40타일 이상에서는 보강 제약과 인공 목적함수가 필수적이었다. 평균 해결 시간은 타일 수가 증가함에 따라 기하급수적으로 늘었지만, 50타일 경우에도 2시간 이내에 최적해를 도출했다.

이 연구는 퍼즐 문제를 정수계획으로 공식화하는 방법론을 제시함으로써, 기존에 휴리스틱이나 전용 탐색 알고리즘에 의존하던 탄트릭스 해결에 새로운 접근을 제공한다. 특히, 제약식 설계와 인공 목적함수 도입 과정이 다른 보드 게임이나 연결 퍼즐에도 일반화될 가능성을 시사한다.