Aritalab:Lecture/Algorithm/Towers of Hanoi

Revision as of 18:12, 28 December 2011

ハノイの塔

(フランスの数学者 エドゥアール リュカ によるパズル, 1883)

台の上に３本の棒が固定されていて、一番左の棒をＡ、真ん中の棒をＢ、一番右の棒をＣとします。Ａにはn枚の円盤がはまっており、円盤は下へいくほど半径が大きくなっています。次のルールに従い、棒Ｂを利用して全ての円盤をＡからＣに移すとき、何回の移動が必要になるでしょうか。

• 一回に一枚の円盤しか動かしてはいけない。
• 常に大きい方の円盤が下になるようにする。（移動の途中で円盤の大小を逆に積んではいけない。）

解

n (>0) 枚の円盤を移動する手数をT_nと書きます。上からn-1枚の円盤をまずBの棒に移し、一番大きい円盤をCに移してから、Bにあるn-1枚をもう一度全てCに移せばよいので、以下の漸化式を得ます。

• T₀ = 0
• T_n = 2 T_n-1 + 1

ここでS_n = T_n/2ⁿとおきます。

• S₀ = 0
• S_n = S_n-1 + 2^-n (n > 0)

この漸化式を解くと

S_n = 2^-1 + 2^-2 + ... 2^-n = 1 - 2^-n

従って T_n = 2ⁿS_n = 2ⁿ-1となります。例えば 8 枚の円盤が棒にささっている場合、最短の手数で移動させても 2⁸ - 1 = 255 手が必要だということです。ウェブ上で画像を検索すると、多くのパズルは7枚か8枚の円盤があるようですが、枚数がこれ以上の場合挑戦しないほうが時間を有効に使えそうです。