Experiments on decision tree analysis for four-peg tower of Hanoi

4 개의 기둥을 가진 하노이의 탑에 대한 결정 트리 생성 실험

In this research, we discuss the process of analyzing the solution of four-peg tower of Hanoi using protocol analysis technique, and of developing decision trees from the analyzed contents. For these, we design and implement a computer program that can simulate four-peg tower of Hanoi. The implemented program generates a certain regular-to-regular tower of Hanoi problem, let a user to solve the problem, and records the solution process. From the process by the implemented program and the recorded protocol, we can build the decision tree for the solution. We expect this research can contribute to find a non-optimal solution for n-peg tower of Hanoi.

본 연구에서는, 4 개의 기둥을 가진 하노이의 탑을 푸는 방안을 프로토콜 분석 기법으로 분석하고, 이렇게 분석된 내용에서 결정 트리를 구성하는 방안을 연구한다. 이를 위해, 4개의 기둥을 가진 하노이의 탑을 시뮬레이트할 수 있는 프로그램을 설계하고 구현하였다. 구현된 프로그램은 사용자로 하여금 임의의 정규형-정규형 하노이의 탑 문제를 풀게 하고, 푸는 과정을 기록한다. 구현된 프로그램을 통해 푸는 과정과 프로토콜로부터 결정 트리를 구성할 수 있었다. 본 연구는 향후, 4 개의 기둥을 가진 하노이의 탑 문제의 해결 방안을 찾는 데, 도움이 될 것으로 기대된다.