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

이 논문은 “쌍둥이 하노이 타워(Twin Towers of Hanoi)”라는 새로운 변형을 제안한다. 기존 하노이 타워는 하나의 3‑기둥 시스템에서 N개의 서로 다른 크기 디스크를 옮기는 퍼즐이며, 최적 해는 2ⁿ−1번의 이동으로 알려져 있다. 저자는 두 개의 동일한 3‑기둥 시스템을 상하로 겹쳐 놓고, 한 번의 움직임이 두 시스템에 동시에 적용되도록 하는 규칙을 정의한다. 즉, 한 쌍의 기둥(i,j)을 선택하면, aᵢⱼ라는 이동이 두 타워 모두에서 같은 방식으로 실행된다. 이를 수학적으로 모델링하기 위해, 디스크 배치를 길이 N의 단어 x₁x₂…x_N∈{0,1,2}ⁿ으로 인코딩한다. 여기서 x_k는 k번째(크기 k) 디스크가 놓인 기둥을 나타낸다. 세 개의 기본 이동 a₀₁, a₀₂, a₁₂는 첫 번째 등장하는 0·1·2 중 하나를 다른 기호로 바꾸는 트리 자동동형으로 정의된다. 이 자동동형들은 루트가 고정된 삼진 트리 X*의 레벨을 보존하며, 따라서 전체 변환군 H=⟨a,b,c⟩를 형성한다. H의 Schreier 그래프 Γₙ은 기존 하노이 그래프와 동일하고, 그 직경은 2ⁿ−1임이 알려져 있다. 쌍둥이 시스템에서는 두 레벨의 단어 (u_T, u_B)∈Xⁿ×Xⁿ을 정점으로 하는 곱 그래프 CΓₙ을 만든다. 한 번의 이동은 a, b, c 중 하나를 선택해 (u_T, u_B)↦(s·u_T, s·u_B) 로 바꾸는 변환이다. 논문은 이 구조를 바탕으로 세 가지 문제를 정의한다. 1. **Twin Towers Switch (TTS)**: 상위 타워의 모든 디스크를 0→2 로, 하위 타워는 2→0 로 옮기는 경우. 2. **Small Disk Shift (SDS)**: 초기 배치에서 가장 작은 디스크만 각각 한 칸 오른쪽(0→1, 1→2)으로 이동시키는 경우. 3. **General Problem (GP)**: 임의의 초기·최종 쌍배치 사이의 최소 이동 수. 각 문제에 대해 상한·하한을 구한다. **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을 통해 a(n)≈(4/3)·2ⁿ 정도임을 보인다. 저자는 실제 최적값이 정확히 a(n)이라고 추측한다. **Theorem SDS**는 Small Disk Shift에 대해 정확한 최소 이동 수 d(n)=2 (n=1), 6 (n=2), 2·2ⁿ (n≥3)임을 증명한다. 이는 TTS보다 더 많은 이동이 필요함을 의미한다. **Theorem GP**는 “basic” 쌍배치(두 타워의 최하위 디스크가 서로 다른 기둥에 있을 경우)만을 고려해, 하한 2·2ⁿ와 상한 3.66·2ⁿ 사이의 경계를 제시한다. 여기서 3.66≈11/3이다. 이 결과는 D’Angeli와 Donno가 증명한 Hanoi 군의 2‑전이성(모든 레벨 정점 쌍 사이에 거리 ≤2인 경로 존재)과, Hanoi 군이 무한한 Gel′fand 쌍을 형성한다는 사실을 활용한다. 증명은 크게 두 부분으로 나뉜다. 첫째, 트리 자동동형의 작용을 이용해 각 이동이 어떻게 첫 번째 등장 위치를 바꾸는지를 정량화한다. 둘째, 재귀적 “재배선” 기법을 통해 Γₙ₊₁을 Γₙ으로부터 구성하고, 이를 통해 경로 길이와 직경을 정확히 계산한다. 특히, 기본 이동 a, b, c가 레벨 n에서 어떻게 서로 교환되는지를 시각화한 그림(4,5)과 함께, 각 레벨에서 최단 경로가 어떻게 전파되는지를 보인다. 결론적으로, 쌍둥이 하노이 문제는 고전 문제보다 상수 배 정도 더 복잡하지만, 그룹 이론과 트리 자동동형을 이용하면 정확한 상한·하한을 얻을 수 있다. 이는 퍼즐 이론에 자동동형 그룹이 강력한 도구가 될 수 있음을 보여주며, 향후 더 복잡한 다중‑타워 시스템이나 다른 그래프 구조에 대한 연구에 기반을 제공한다.