세븐토쿠의 수학적 구조와 최소 힌트 분석

본 논문은 브루스 오버그가 2006년에 고안한 ‘세븐토쿠(Septoku)’라는 스도쿠 변형 퍼즐을 수학적으로 분석한다. 세븐토쿠는 37개의 육각형 셀로 이루어진 정육각형 격자 위에 1부터 7까지의 기호를 배치하는 게임으로, 두 종류의 영역 제약을 가진다. 첫 번째는 세 방향(수평, 두 대각선)으로 각각 7개의 행(row)이며, 두 번째는 중심이 되는 7개의 반지름 2 육각형 원(circle)이다. 각 행은 최대 7개의 셀을 포함하고, 대부분은 4~6개의 셀만 있다. 각 원은 7개의 셀을 포함하고 서로 겹친다. 셀은 최소 4개의 영역에 속하고, 12개의 셀은 5개의 영역에 속한다는 점에서 전통적인 9×9 스도쿠보다 제약이 훨씬 강하다. 논문은 먼저 기본적인 구조적 제약을 정리한다. 정리 1은 모든 원의 중심 셀(6, 8, 17, 19, 21, 30, 32)이 서로 다른 기호를 가져야 함을 보인다. 정리 2는 모서리 셀(1, 4, 16, 19, 22, 34, 37)도 서로 다른 기호여야 함을 증명한다. 이 두 정리를 이용해 각 기호는 최소 5번 이상 등장해야 함을 도출하고, 실제 가능한 배치 빈도는 (5,5,5,5,5,6,6) 혹은 (5,5,5,5,5,5,7) 두 경우뿐임을 정리 3에서 증명한다. 다음으로, 모든 가능한 완성 보드를 회전·반사·기호 순열(7!개의 순열)이라는 대칭군에 따라 분류한다. 중심 셀에 어떤 기호가 놓이느냐에 따라 두 가지 기본 패턴이 결정된다. 하나는 중심을 포함한 5셀 패턴 C5(‘스칼렌’ 형태)이고, 다른 하나는 중심을 제외한 7셀 패턴 C7(‘정삼각형’ 형태)이다. C5는 180° 회전 대칭을, C7은 60° 회전 대칭을 갖는다. 이 외에도 6셀 패턴 U6와 5셀 패턴 E5(정삼각형), I5(이등변삼각형), S5(불규칙 삼각형) 네 가지가 존재한다. 각 패턴은 내부 셀들의 배치를 특정한 다각형(폴리헥스) 형태로 나타낼 수 있다. 즉, 세븐토쿠 보드를 7개의 폴리헥스로 채우는 ‘폴리헥스 포장 문제’와 동치임을 보인다. 패턴 조합을 전수 탐색하고 대칭을 고려하면, 회전·반사·순열을 제외한 서로 다른 완성 보드는 정확히 6가지가 존재한다(정리 4). 전체 경우의 수는 24·7! = 120 960가지이며, 이는 중심 셀에 놓인 기호에 따라 두 가지 전형적인 배치가 존재하고, 나머지 셀은 패턴 규칙에 의해 강제된다는 사실에 기반한다. 각 보드는 그림 3에 제시된 패턴들의 조합으로 구성되며, 예를 들어 C5+2·U6+4·I5 형태가 하나의 해가 된다. 유일한 해를 갖는 퍼즐을 만들기 위한 최소 힌트 수는 6이다(정리 5). 6개의 힌트만으로도 모든 6가지 기본 보드 중 하나를 고정할 수 있음을 프로그램으로 검증했으며, 실제로 6개의 힌트만으로 유일한 해를 갖는 퍼즐 예시를 그림 5에 제시한다. 흥미롭게도, 특정 3개의 힌트만으로도 ‘전부 정삼각형’ 형태(E5 패턴)만을 남겨 유일성을 확보할 수 있음을 보인다. 이는 힌트가 적을수록 해의 자유도가 급격히 감소한다는 점을 시사한다. 정리 6은 180° 회전에 대해 셀 쌍이 같은 기호 혹은 서로 다른 기호 쌍으로 매핑된다는 대칭 관계를 제시한다. 이는 실제 퍼즐 풀이 시 한 셀을 정하면 대칭 셀을 즉시 채울 수 있게 하는 강력한 전략이다. 특히 ‘hard’ 퍼즐에서는 {3, 4} 쌍을 이용해 셀 12에 3을 바로 결정하는 등, 정리 6을 활용한 논리적 추론이 효과적임을 보여준다. 정리 7은 중심 원(셀 19)의 기호가 서로 다르지 않으면 해가 존재하지 않음을 증명한다. 이는 원의 중복 제약이 전체 보드의 일관성을 강제한다는 점을 강조한다. 보드의 크기를 확장하는 시도도 수행한다. 두 개의 반대 가장자리를 연결해 49셀 마름모형 보드를 만들면, 기존 6가지 패턴 중 C7+6·E5 형태가 그대로 확장되어 유효한 해가 된다. 이 ‘전부 정삼각형’ 해는 평면을 7색으로 색칠하는 방법과 일치한다. 각 육각형의 직경을 1보다 약간 작게 잡으면, 거리 1인 두 점은 반드시 다른 색을 갖게 되므로, 이는 Hadwiger‑Nelson 문제(평면을 최소 몇 색으로 색칠할 수 있는가)의 상한 7을 직접 구현한 사례가 된다. 논문은 2018년 상한이 5로 올랐음에도 불구하고, 세븐토쿠의 ‘전부 정삼각형’ 해가 여전히 7색 상한을 제공한다는 점을 강조한다. 또 다른 확장으로 73셀 별형 보드와 49셀 ‘꽃’ 보드를 제시한다. 별형 보드에서는 행이 7칸을 초과하는 경우가 있어, 행의 부분 집합에 대해 7개 이하의 셀만을 고려하도록 규칙을 수정한다. 이 보드에서도 6개의 힌트만으로 유일한 해를 만들 수 있다. ‘꽃’ 보드는 원이 겹치지 않도록 설계되어, 전통적인 스도쿠와 유사한 구조를 갖지만 여전히 6가지 기본 패턴을 기반으로 해가 존재한다. 결론적으로, 세븐토쿠는 작은 퍼즐이지만 군론(대칭군), 조합론(패턴 전수), 그래프 색칠 이론(Hadwiger‑Nelson) 등 다양한 수학 분야와 깊게 연결된다. 논문은 이러한 연결 고리를 명확히 밝히고, 최소 힌트 수와 보드 확장에 대한 구체적인 결과를 제공함으로써 퍼즐 이론과 순수 수학 사이의 교류 가능성을 제시한다.