Z3Py 例題 ハノイの塔 - Qiita

問題 以下のルールに従って、すべての円盤を右端の杭に移動する。 3本の杭と、中央に穴の開いた大きさの異なる複数の円盤から構成される。 最初はすべての円盤が左端の杭に小さいものが上になるように順に積み重ねられている。 円盤を一回に一枚ずつどれかの杭に移動させることができるが、小さな円盤の上に大きな円盤を乗せることはできない。 回答 円盤が４つの場合 from z3 import * import itertools disk_num = 4 peg = 3 # 存在する状態を列挙 (disk_4,disk_3,disk_2,disk_1) の形 states = itertools.product(range(peg), repeat=disk_num) dict_state = {} # 状態を辞書化 for i, state in enumerate(states): dict_stat