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

• 作者: 冷明 孙凌宇
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 分划递推法 Hanoi塔 归约 变换 形式化推导 算法
• 年，卷（期）: 2006,（4）
• 页码范围: 342-345,351
• 页数: 5页
• 分类号: TP311
• 字数: 5656字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2006.04.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冷明	上海大学计算机学院	23	96	5.0	8.0
2	孙凌宇	井冈山学院计算机科学系	7	50	3.0	7.0