收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王志勇;集成环境下CAPP/PPC的动态集成[J];机械与电子;2002年06期
2 唐稚松;;一种用FPL表示LR(K)分解程序的方法[J];计算机研究与发展;1975年05期
3 郝小琴;森林景物的三维迭代函数系统建模技术的研究[J];计算机学报;1999年07期
4 徐耀群,张莉;混沌序列在图像加密中的应用[J];哈尔滨商业大学学报(自然科学版);2003年06期
5 李哲浩;关于制造系统的发展[J];航空制造技术;1990年03期
6 王飞,董国耀;标准图形系统中体视变换矩阵的推导[J];北京邮电大学学报;1995年01期
7 黄源,王瑜,张福炎;汉字字形编辑器的面向对象实现技术[J];中文信息学报;1999年01期
8 宋建锋,王保保;一种干涉图像处理的新方法[J];计算机仿真;2004年07期
9 周明德,洪海;C反编译实现中若干问题[J];电脑学习;1994年02期
10 吴明晖,应晶,何志均;支持可执行定义的进化式软件开发模型[J];软件学报;2000年11期
11 曹鱼,陈传波;遗传算法求解邮递员问题的探讨[J];计算机与数字工程;2000年03期
12 石立农;赵子明;;等距缩放的概念性质及算法[J];武汉理工大学学报(信息与管理工程版);1991年02期
13 周如旗,冯嘉礼;基于定性基准变换的模糊隶属度表示法[J];计算机工程;2003年14期
14 邹鹏,周智,陈国良,顾钧;求解TSP问题的多级归约算法[J];软件学报;2003年01期
15 高玉双,张晓旭;一种基于离散点的真实感图形绘制算法[J];长春大学学报;2004年02期
16 程东升;叶瑞松;;一种新的图像置乱方法[J];微计算机应用;2008年02期
17 张翔宇,林志勇,华蓓,陈意云;OpenGL在人脸建模和动画中的应用[J];计算机应用;2000年08期
18 李金良,王志勇;基于归约的柔性工艺过程模型[J];计算机工程与应用;2003年07期
19 王彩芳;姜明;;医学图像配准综述(英文)[J];CT理论与应用研究;2006年02期
20 冉春玉;张浩;薛果;周鹏;;基于游戏引擎的3D图形系统的研究[J];中国水运(理论版);2006年02期
中国重要会议论文全文数据库 前9条
1 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
2 岳昊;;三划分问题可多项式归约为唯一可达向量Petri网可达性问题[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
3 秦玉华;苏宝茹;;基于GIS地下管网可视化系统的开发[A];四川省通信学会2005年学术年会论文集[C];2005年
4 徐东平;;三维空间目标跟踪及碰撞模拟建模[A];'99系统仿真技术及其应用学术交流会论文集[C];1999年
5 洪晓光;王海洋;王新军;;并行数据库复杂关系查询优化的一种方法[A];数据库研究与进展95——第十三届全国数据库学术会议论文集[C];1995年
6 马骥;朱慕华;肖桐;朱靖波;;面向移进-归约句法分析器的单模型系统融合算法[A];中国计算语言学研究前沿进展(2009-2011)[C];2011年
7 黄鋆;吴永辉;;XML数据库模式中的数据依赖、结构冗余和不规则[A];第二十四届中国数据库学术会议论文集(研究报告篇)[C];2007年
8 陶成庆;纪岳;冯玉才;;关系模式规范化的一个新算法[A];第九届全国数据库学术会议论文集(上)[C];1990年
9 张浩;肖桐;朱靖波;;基于反向转录语法的机器翻译混合解码策略[A];中国计算语言学研究前沿进展(2009-2011)[C];2011年
中国博士学位论文全文数据库 前2条
1 吕玉增;形状仿射不变特征提取与识别研究[D];国防科学技术大学;2008年
2 宁超;安全多方计算底层基本运算研究[D];山东大学;2011年
中国硕士学位论文全文数据库 前10条
1 段云娜;Gabor变换及其在图像压缩中的应用研究[D];吉林大学;2005年
2 胡丹桂;基于游戏引擎的3D图形系统的研究[D];武汉理工大学;2005年
3 顾广宇;基于分形的图像压缩编码方法[D];吉林大学;2008年
4 李培培;线性公式可满足性判定问题的复杂性[D];贵州大学;2008年
5 魏现杰;基于Java3D的针灸铜人人脸模拟[D];郑州大学;2008年
6 来心可;支配集问题的确定参数可解算法研究[D];复旦大学;2011年
7 马亚南;基于偏序归约的安全协议状态空间约简技术研究[D];解放军信息工程大学;2011年
8 辛瑞宁;指横纹识别中特征融合方法的研究[D];河北大学;2012年
9 张义飞;基于改进的PI演算的本体演化形式化描述方法[D];吉林大学;2010年
10 陈晓亮;基于计算模型的系统建模与验证[D];西华大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978