쌍둥이 하노이 타워: 최적 이동 수와 그룹 이론적 접근

초록

본 논문은 두 개의 하노이 타워가 서로 연결된 “쌍둥이 하노이” 문제를 정의하고, 초기·최종 배치를 동시에 변환하는 최소 이동 횟수를 연구한다. 하노이 타워 군(Hanoi Towers group)의 삼진 트리 자동동형 작용을 이용해 상한·하한을 구하고, 특히 “스위치 문제”와 “소디스크 이동 문제”에 대해 정확한 혹은 근사적인 해를 제시한다.

상세 분석

논문은 먼저 전통적인 하노이 타워 문제를 3개의 기둥과 N개의 서로 다른 크기 디스크로 모델링하고, 각 이동을 a₀₁, a₀₂, a₁₂이라는 세 개의 생성자에 대응시킨다. 이 생성자들은 루트가 공백인 삼진 트리 X* 위의 자동동형으로 작용하며, 트리의 레벨 n은 N개의 디스크 배치를 3ⁿ개의 정점으로 나타낸다. 하노이 타워 군 H=⟨a,b,c⟩는 이러한 자동동형들로 생성된 그룹이며, 그 Schreier 그래프 Γₙ은 기존 하노이 그래프와 일치한다.

쌍둥이 버전에서는 두 개의 독립적인 트리 레벨을 쌍으로 잡아 CΓₙ이라는 곱 그래프를 만든다. 여기서 한 번의 이동은 a, b, c 중 하나를 동시에 두 레벨에 적용한다. 논문은 세 가지 주요 문제를 제시한다. (1) Twin Towers Switch: 상하 두 타워를 서로 반대 방향으로 전체 이동시키는 경우, (2) Small Disk Shift: 가장 작은 디스크만 한 칸씩 오른쪽으로 이동시키는 경우, (3) General Problem: 임의의 초기·최종 쌍배치 사이의 최소 이동 수.

Theorem TTS는 Switch 문제에 대해 a(n)=⎧1 (n=1), 4·3·2ⁿ−(−1)ⁿ·3 (n≥2)⎫ 라는 상한을 제시하고, 재귀식 aₙ=aₙ₋₁+2aₙ₋₂ (n≥4)와 초기값 a₁=1, a₂=5, a₃=11을 도출한다. 저자는 이를 근사적으로 4·3·2ⁿ 정도의 복잡도로, 고전 2ⁿ보다 약간 큰 난이도로 해석한다. 또한 정확한 값이 a(n)이라는 강한 추측을 제시한다.

Theorem SDS는 Small Disk Shift 문제에 대해 정확한 최소 이동 수 d(n)=2 (n=1), 6 (n=2), 2·2ⁿ (n≥3)임을 증명한다. 이는 Switch 문제보다 더 많은 이동이 필요함을 보여준다.

General Problem에 대해서는 “basic” 쌍배치(두 타워의 최하위 디스크가 서로 다른 기둥에 있을 경우)만을 고려해, 하한 2·2ⁿ와 상한 3.66·2ⁿ 사이의 경계를 제시한다. 이 결과는 D’Angeli와 Donno의 2‑전이성 결과와 Hanoi 군이 무한한 Gel′fand 쌍을 형성한다는 사실을 활용한다.

증명 전략은 주로 그룹 작용의 거리와 트리 구조를 이용한다. 특히, 각 레벨에서 a, b, c가 어떻게 첫 번째 등장 위치를 바꾸는지를 분석해 이동 길이를 계산한다. 재귀적 “재배선” 방법을 통해 Γₙ₊₁을 Γₙ으로부터 구성하고, 이를 통해 경로 길이와 직경을 정확히 구한다. 또한, 기본 쌍배치가 모두 호환 가능함을 보이기 위해 2‑전이성(모든 정점 쌍 사이에 거리 2 이하의 경로 존재)을 활용한다.

결과적으로, 쌍둥이 하노이 문제는 고전 문제와 비교해 상수 배만큼 더 복잡하지만, 그룹 이론적 도구를 통해 정확한 상한·하한을 얻을 수 있음을 보여준다. 이는 자동동형 그룹과 트리 그래프 이론이 전통적인 퍼즐 문제에 강력한 분석 틀을 제공한다는 점에서 의미가 크다.