자석이 된 하노이 타워: 색깔과 뒤집기로 보는 3진법 퍼즐

초록

본 논문은 양면에 서로 다른 색을 가진 디스크를 이용한 변형 하노이 타워 퍼즐인 Magnetic Tower of Hanoi(MToH)를 소개한다. 디스크를 옮길 때 색이 겹치지 않도록 뒤집어야 하며, 이 제약으로 인해 필요한 이동 횟수가 기존 2진법(2^N‑1)에서 3진법에 해당하는 규모로 증가한다. 논문은 MToH의 세 가지 규칙 변형(Free‑Post, Fixed‑Post, Hybrid)을 정의하고, 각 변형에 대한 최적 알고리즘을 설계·분석한다. 결과적으로 N+1 디스크 퍼즐을 푸는 최소 이동 수는 N 디스크 퍼즐의 3배에 가까워짐을 보이며, 이를 통해 새로운 수학적 구조와 재귀적 해법의 아름다움을 제시한다.

상세 분석

Magnetic Tower of Hanoi(MToH)는 기존 하노이 타워의 “양쪽 제한”을 색상 제한으로 대체함으로써 퍼즐의 복잡도를 급격히 높인다. 각 디스크는 앞면과 뒷면에 서로 다른 색(예: 빨강‑파랑)을 가지고 있으며, 이동 시 반드시 뒤집어야 한다. 뒤집힌 상태에서 같은 색이 인접하면 안 되므로, 디스크를 올릴 수 있는 조건이 두 가지로 나뉜다: (1) 위에 놓인 디스크와 색이 다를 경우, (2) 빈 기둥에 놓을 경우는 색 제한이 완화된다. 이러한 규칙은 기존 2진법(각 디스크당 2^(k‑1)번 이동)에서 3진법 형태, 즉 “한 단계에서 세 배”에 가까운 성장률을 만든다.

논문은 MToH를 세 가지 “flavor”로 구분한다. 첫 번째인 Free‑Post 규칙에서는 빈 기둥에 디스크를 놓을 때 색 제한이 전혀 없으며, 이는 가장 자유로운 상태 전이 그래프를 만든다. 두 번째인 Fixed‑Post 규칙은 빈 기둥에도 색 제한을 적용해, 디스크가 특정 색면을 위쪽으로 향하도록 강제한다. 세 번째인 Hybrid 규칙은 두 전칙을 혼합해, 특정 단계에서만 색 제한을 완화한다. 각 규칙에 따라 가능한 상태 전이 수와 최적 경로가 달라지며, 이는 그래프 이론에서의 트리 구조와 깊게 연결된다.

재귀적 해법은 기존 하노이 타워와 유사하게 “큰 디스크를 옮기기 위해 작은 디스크들을 이동시키는” 패턴을 유지한다. 그러나 색 제한 때문에 작은 디스크들을 이동시키는 과정 자체가 3배 정도 더 복잡해진다. 저자는 이를 수식적으로 표현하기 위해 T(N) = 3·T(N‑1) + 2 형태의 재귀식을 도출한다(Free‑Post 경우). 여기서 T(N)은 N 디스크 퍼즐을 푸는 최소 이동 수이며, 초기 조건 T(1)=2(뒤집기와 이동)이다. 이 식을 풀면 T(N)= (3^N – 1) 가 되며, 이는 3진법 성장률을 명확히 보여준다. Fixed‑Post와 Hybrid 규칙에서는 추가적인 상수항이 발생하지만, 대수적 차수는 여전히 3^N 수준이다.

알고리즘적 측면에서 저자는 “색상 매핑 함수”와 “뒤집기 트래킹”을 도입해, 각 단계에서 어떤 면이 위쪽에 있어야 하는지를 효율적으로 관리한다. 이를 통해 O(3^N) 시간 복잡도 내에 최적 해를 찾을 수 있음을 증명한다. 또한, 상태 공간을 압축하는 “대칭 제거” 기법을 적용해 메모리 사용량을 크게 줄였다. 실험 결과는 N=10까지의 경우, 제안된 알고리즘이 무작위 탐색보다 평균 70% 이상 빠른 것을 보여준다.

수학적 의미를 살펴보면, MToH는 “색상 이진 트리”와 “3진법 재귀 구조”를 동시에 구현한다는 점에서 새로운 조합 논리를 제공한다. 특히, 디스크의 뒤집기 연산은 그룹 이론에서의 Z₂(2원군) 작용과 유사하며, 이를 3진법 재귀와 결합하면 복합 군 구조가 형성된다. 이러한 관점은 퍼즐 이론뿐 아니라 암호학, 정보 이론 등에서 비선형 변환을 모델링하는 데 활용될 가능성을 시사한다.

결론적으로, 논문은 MToH가 단순히 재미있는 변형 퍼즐을 넘어, 재귀적 알고리즘, 상태 전이 그래프, 그리고 군론적 구조를 탐구할 수 있는 풍부한 연구 플랫폼임을 입증한다. 색상과 뒤집기라는 직관적인 물리적 제약이 복잡한 수학적 현상을 자연스럽게 드러내는 사례로서, 교육적·학술적 가치가 크다.