| Hanoi塔问题非递归算法的形式推导 |
| |
| 引用本文： | 宁爱兵,黄明和. Hanoi塔问题非递归算法的形式推导[J]. 计算机工程与科学, 2003, 25(3): 66-68 |
| |
| 作者姓名： | 宁爱兵 黄明和 |
| |
| 作者单位： | 1. 江西师范大学计算机科学技术学院,江西,南昌,330027
2. 江西师范大学计算中心,江西,南昌,330027 |
| |
| 摘 要： | 本文从Hanoi塔本身的简要说明出发,深刻剖析了该问题的递归解法,揭示了其本质特性,形式化地找出了圆盘的移动规律,从而推导出一种全新的、逻辑结构非常清晰的、与递归解在圆盘移动上完全等效的非递归算法,彻底解决了递归解中由于圆盘数增加使空间用量迅速膨胀而导致的死机问题。
|
| 关 键 词： | 递推关系 递归 非递归 软件可靠性 |
| 文章编号： | 1007-130X(2003)03-0066-03 |
The Formal Derivation of a Nonrecursive Algorithm for the Tower-of-Hanoi Puzzle |
| |
| Abstract: | |
| |
| Keywords: | recurrence relation recursive nonrecursive software reliability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
