节点文献

Hanoi塔问题非递归算法的形式推导

The Formal Derivation of a Nonrecursive Algorithm for the Tower-of-Hanoi Puzzle

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 宁爱兵黄明和

【Author】 NING Aibing1, HUANG Minghe2(1School of Computer Science and Technology,Jiangxi Normal University,Nanchang 330027; 2.Computer Center, Jiangxi Normal University,Nanchang 330027,China)

【机构】 江西师范大学计算机科学技术学院江西师范大学计算中心 江西南昌 330027江西南昌 330027

【摘要】 本文从Hanoi塔本身的简要说明出发,深刻剖析了该问题的递归解法,揭示了其本质特性,形式化地找出了圆盘的移动规律,从而推导出一种全新的、逻辑结构非常清晰的、与递归解在圆盘移动上完全等效的非递归算法,彻底解决了递归解中由于圆盘数增加使空间用量迅速膨胀而导致的死机问题。

【Abstract】 From the simple description of the Tower of Hanoi, the paper first analyses the recursive algorithm for the puzzle profoundly and unveils its essence. Then the paper uses a formal method to find the law of disk moving. In addition, the paper gives a complete new nonrecursive algorithm which has a very clear logical structure and is equavalent to the law. The algorithm completely solves the problem of computer breakdown because of a sharp increase in memory space ocupation the caused by increase of the number of disks.

  • 【文献出处】 计算机工程与科学 ,Computer Engineering & Science , 编辑部邮箱 ,2003年03期
  • 【分类号】TP311.12
  • 【被引频次】9
  • 【下载频次】168
节点文献中: 

本文链接的文献网络图示:

本文的引文网络