경로형 하노이 타워 문제의 복잡도 분석

초록

본 논문은 h ≥ 4개의 peg이 일렬로 배치된 Pathₕ 그래프에서, 인접 peg 사이만 이동이 허용되는 하노이 타워 변형의 최악 경우 이동 횟수 Path(h, n)을 상한으로 제시한다. 재귀적 블록 분할과 세 단계(Spread, Circular shift, Accumulate)를 이용한 알고리즘을 설계하고, 이를 통해 Path(h, n) ≤ Cₕ·n^{αₕ}·3^{θₕ·n^{1/(h−2)}} 형태의 서브지수적 상한을 얻는다. 특히 h = 4인 경우에는 보다 정확한 상한 Path(4, n) < 1.6·√n·3^{√(2n)}을 증명한다.

상세 분석

논문은 먼저 Pathₕ 그래프를 정의하고, 완전한 구성(perfect configuration) R_{h,i,n}을 도입한다. 여기서 i는 소스 peg, n은 디스크 수이며, 모든 디스크가 동일한 peg에 모여 있는 상태를 의미한다. 두 완전 구성 사이의 최소 이동 횟수를 |R_{h,i,n}→R_{h,j,n}|라 두고, 최악 경우를 Path(h,n)=max_{i<j}|R_{h,i,n}→R_{h,j,n}|로 정의한다. 기존 연구에서 h≥4인 일반 하노이 문제는 Θ( n^{c·n^{1/(h−2)}} ) 형태의 서브지수적 성장임이 알려졌지만, 인접 이동만 허용하는 Pathₕ에서는 연결 수가 h−1로 크게 감소함에도 불구하고 비슷한 성장률을 보이는지 여부가 미해결이었다.

주요 기여는 두 가지이다. 첫째, 블록(block) 개념을 도입해 디스크 집합을 연속적인 크기 구간으로 묶고, 블록 간 상대적인 크기 관계(lighter/heavier)를 이용해 재귀적으로 문제를 축소한다. 둘째, h=4인 경우 FourMove 알고리즘을 설계한다. FourMove는 블록을 B_s(작은 디스크), B_l(큰 디스크), 그리고 최댓값 디스크 B_max으로 나누고, 세 단계인 Spread, Circular shift, Accumulate를 순차적으로 수행한다. Spread 단계에서는 B_s를 가장 오른쪽 peg(4)로 이동시키고, Circular shift 단계에서는 B_l와 B_max을 3‑peg 서브그래프(Path₃) 내에서 최소 이동 수인 3^{m}−1(또는 절반)만큼 순환시켜 순서를 뒤바꾼다. 마지막 Accumulate 단계에서는 역순으로 블록을 모아 최종 목적지 peg에 쌓는다.

복잡도 분석에서는 m=⌊√(2n)⌉ 로 정의하고, 재귀식 T(n)=3·T(n−m)+ (7/6)·3^{m}−1 를 얻는다. 이를 수학적 귀납법과 부등식 전개를 통해 T(n) < 1.6·√n·3^{√(2n)}임을 증명한다. 일반 h에 대해서는 θ_h = ((h−2)!)^{1/(h−2)}, α_h = (h−3)/(h−2), C_h = (h−2)·δ^{h−3}·θ_h (δ≈1.122) 로 정의하고, Path(h,n) ≤ C_h·n^{α_h}·3^{θ_h·n^{1/(h−2)}} 를 얻는다. 이는 기존 하위 지수 상한과 동일한 형태이지만, 인접 이동 제한에도 불구하고 상수 계수가 크게 악화되지 않음을 보여준다.

또한, Lemma 4.1을 통해 임의의 구성 C에서 가장 오른쪽 두 peg(h−1, h)가 비어 있을 때, R_{h,h,n}으로 이동하는 것이 R_{h,h−1,n}이나 R_{h,h−2,n}으로 이동하는 것보다 항상 더 많은 이동을 필요로 함을 보인다. 이를 이용해 4‑peg 경우에 네 가지 기본 완전 작업 중 가장 어려운 것이 1→4 이동임을 증명하고, 표 1을 통해 작은 n에 대한 정확한 거리 값을 BFS로 계산한다.

전체적으로 논문은 그래프 이론과 재귀 알고리즘 설계를 결합해, 제한된 이동 규칙 하에서도 하노이 타워 문제의 복잡도가 서브지수적으로 유지된다는 중요한 이론적 결과를 제공한다.