分划递推法在Hanoi塔问题上的应用

摘要：

采用分划递推法通过功能归约变换,形式化推导和证明Hanoi塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储空间与圆盘个数无关的非递归算法,算法比较分析地显示出形式化推导在获得高效和正确性的算法程序中的作用.相关算法在UNIX平台下用C语言进行实现.

关键词： 分划递推法 Hanoi塔问题 形式化推导

作者: 孙凌宇 冷明

作者单位: 井冈山学院计算机科学系,江西吉安,343009 上海大学计算机学院,上海,200072

会议类型: 国内会议

会议名称: 广西计算机学会2006年年会

会议地点: 南宁

会议语种:中文

页码: 342-345,351

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）