检索结果-内蒙古大学图书馆

苏州科技大学学报（自然科学版） 2022年第1期39卷 71-76页

作者：严海兵苏州科技大学图书馆江苏苏州215009

汉诺塔问题的求解,是很多新的算法思想的试金石。论文提出的是基于数学规律的新算法,通过对逆序编码的汉诺塔圆盘移动规律的研究,得出其数学规律。该规律为完成n层汉诺塔的搬运,前1,2,…,n-1号圆盘的搬运次数、顺序与完成n-1层汉诺塔的... 详细信息

汉诺塔问题的求解,是很多新的算法思想的试金石。论文提出的是基于数学规律的新算法,通过对逆序编码的汉诺塔圆盘移动规律的研究,得出其数学规律。该规律为完成n层汉诺塔的搬运,前1,2,…,n-1号圆盘的搬运次数、顺序与完成n-1层汉诺塔的搬运完全相同。由此推导出系列数学定理公式,能够随机求解任意序号的圆盘任意次序的搬运规律,结合程序设计的思想,得出一种新的汉诺塔非递归算法。实验测试结果表明,该程序算法运行效率较高。

关键词：汉诺塔非递归算法逆序编码

来源：评论

学校读者我要写书评

暂无评论

自底向上记录式Hanoi塔非递归算法

引用

实验科学与技术 2016年第1期14卷 51-54,81页

作者：戴莉萍黄龙军刘清华江西师范大学软件学院南昌330022

Hanoi塔问题的经典递归算法虽然代码量小,但时间复杂度却是指数级的,而且难以理解。该文基于Hanoi塔问题的递归思想,构造出Hanoi塔的树模型,仔细分析递归函数的调用参数和语句执行时盘子移动的顺序,巧妙地找到两者之间的对应关系,从而... 详细信息

Hanoi塔问题的经典递归算法虽然代码量小,但时间复杂度却是指数级的,而且难以理解。该文基于Hanoi塔问题的递归思想,构造出Hanoi塔的树模型,仔细分析递归函数的调用参数和语句执行时盘子移动的顺序,巧妙地找到两者之间的对应关系,从而提出一种新的自底向上非递归算法。该算法逐一地记录下n从1开始时盘子从源柱到目标柱时经历过的移动轨迹,进而直接应用到n+1个盘子的移动问题。实验结果表明,该算法对应的代码易读且高效,时间复杂度降为O(n),是对Hanoi塔问题的非递归算法研究的进一步实践与探讨。

关键词： Hanoi塔问题自底向上记录式非递归算法目标柱

来源：评论

学校读者我要写书评

暂无评论

基于邻接比特压缩表的频繁闭项集挖掘算法

引用

计算机仿真 2024年第1期41卷 415-424页

作者：杨博超吴美璇胡浩朱敏四川大学计算机学院四川成都610065

频繁闭项集(Frequent Closed Items,FCI)是一种表示事物之间关联关系的有效方式,它能克服频繁项集(Frequent Items,FI)信息冗余的缺点。FCI挖掘算法研究旨在以更优的时空效率,在原始数据集中找到所有的FCI。相关研究成果重在关注时间效... 详细信息

频繁闭项集(Frequent Closed Items,FCI)是一种表示事物之间关联关系的有效方式,它能克服频繁项集(Frequent Items,FI)信息冗余的缺点。FCI挖掘算法研究旨在以更优的时空效率,在原始数据集中找到所有的FCI。相关研究成果重在关注时间效率的提升,但空间效率欠佳。提出一种高空间压缩率数据结构——邻接比特压缩表(Compressed Adjacency Byte table,Cab-table),将项集与交易集压缩到剔除全部0之后的比特表中,使空间高度压缩。基于此数据结构的频繁闭项集挖掘算法(Cab-Miner),采用运算栈与检索栈来实现非递归方式的频繁闭项集挖掘,相较于之前普遍采用递归方式的算法,在理论上可使空间占用率由O(L*N+M)降为O(3N)。基于公开数据集与真实数据集的实验表明,上述算法在原始数据集压缩,以及运算内存消耗上,都有较优的表现,尤其在处理真实数据集时,空间表现极佳。另外在某些属性的数据集上也表现出优越的时间效率。

关键词：频繁闭项集邻接比特压缩表非递归算法高空间效率

来源：评论

学校读者我要写书评

暂无评论

记录式Hanoi塔非递归算法及快速仿真

引用

电气电子教学学报 2015年第6期37卷 112-116页

作者：戴莉萍黄龙军刘清华江西师范大学软件学院江西南昌330022

Hanoi塔问题的递归算法虽然代码量小,但时间复杂度是指数级的且难以理解。本文分析了递归函数的调用参数和语句执行时盘子移动的顺序,提出一种新的自底向上非递归算法。该算法将求取盘子移动轨迹转化为单纯的字符替代,并利用开发环境中... 详细信息

Hanoi塔问题的递归算法虽然代码量小,但时间复杂度是指数级的且难以理解。本文分析了递归函数的调用参数和语句执行时盘子移动的顺序,提出一种新的自底向上非递归算法。该算法将求取盘子移动轨迹转化为单纯的字符替代,并利用开发环境中的基本控件即可快速实现该算法的仿真运行。

关键词： Hanoi塔问题自底向上记录式非递归算法仿真实现

来源：评论

学校读者我要写书评

暂无评论

Strahler河流分级方法的算法实现与实证分析

引用

金陵科技学院学报 2022年第4期38卷 10-17页

作者：刘辉辉马乐军李文峰陈文君金陵科技学院软件工程学院江苏南京211169 金陵科技学院网络安全学院江苏南京211169

主流的地理信息系统(GIS)通常集成了Strahler河流分级功能,但此方式掩盖了河流分级算法的本质,难以优化其性能,也无法作为独立模块对外提供服务。为此,设计并实现了Strahler河流分级递归(RARC)和非递归(NRARC)两种算法,在真实河网数据... 详细信息

主流的地理信息系统(GIS)通常集成了Strahler河流分级功能,但此方式掩盖了河流分级算法的本质,难以优化其性能,也无法作为独立模块对外提供服务。为此,设计并实现了Strahler河流分级递归(RARC)和非递归(NRARC)两种算法,在真实河网数据集上比较了这两种算法的性能。实验结果表明:河网规模影响分级算法的运行性能,在中等和大规模河网上,RARC算法性能优于NRARC算法;不同框架的存储结构在一定程度上影响了河流分级算法的运行效率。以上结果证明本研究设计的河网分级框架具有较高的可扩展性和可复用性。

关键词：河流网络 Strahler河流分级地理信息系统递归算法非递归算法

来源：评论

学校读者我要写书评

暂无评论

由后序序列和结点的双亲情况构造严格二叉树的非递归算法

引用

南通职业大学学报 2014年第4期28卷 93-98页

作者：唐自立苏州大学计算机科学与技术学院江苏苏州215006

提出一种新的由一棵严格二叉树的后序序列和结点的双亲情况构造该严格二叉树的非递归算法。通过实例说明该算法的执行过程,假设n是严格二叉树的结点的个数,该算法的时间复杂度和最差情况空间复杂度都是O(n)。

关键词：非递归算法严格二叉树后序序列结点的双亲严格二叉树构造

来源：评论

学校读者我要写书评

暂无评论

若干二叉树算法的开发与Isabelle机器辅助证明

若干二叉树算法的开发与Isabelle机器辅助证明

引用

作者：许帆江西师范大学

学位级别：硕士

随着计算机的发展,软件在各行各业已扮演着越来越重要的角色。自2007年“可信软件基础研究”重大研究计划启动以来,我国投入了大量的科研经费,其中可信软件相关开发工具及其支撑平台、可信软件的构造及验证是该研究计划的主要目标。算... 详细信息

随着计算机的发展,软件在各行各业已扮演着越来越重要的角色。自2007年“可信软件基础研究”重大研究计划启动以来,我国投入了大量的科研经费,其中可信软件相关开发工具及其支撑平台、可信软件的构造及验证是该研究计划的主要目标。算法是计算机软件的灵魂,对非线性复杂结构（如树、图）算法的研究一直是国内外研究的热点。树形结构是一种典型的非线性数据结构,它能够支持强大的搜索算法、有效的分配内存空间和提供有规则的数据存储,对树形结构算法的开发与验证是软件形式化、可信软件研究领域的一个挑战性问题。二叉树最具代表性,大部分利用二叉树结构处理的算法不仅写起来简单,而且运行效率更高。二叉树算法的应用领域非常广泛,如数据解压、信息加密、内存管理、网络通信和集群计算等等。二叉树算法可以是递归和非递归的,其中递归算法递归调用的成本高（额外的堆栈空间分配和多函数调用）且危险（堆栈溢出）,在关键任务（如航空、NASA探测车）的系统编程中,递归调用是完全禁止的。而非递归算法效率更高,因而开发高可靠的二叉树非递归算法尤为重要。本文结合PAR方法和交互式定理证明工具Isabelle对三类典型的二叉树算法进行开发和机器辅助证明。该方法不仅克服了传统手工验证的繁琐性和易错性,而且大幅度提高了所开发出算法程序的可靠性和可信性。若干实例开发与验证的成功,说明了该方法的有效性和可行性。本文的主要工作包括:1.提出了一种结合PAR方法和交互式定理证明器Isabelle对二叉树算法进行开发和机器辅助证明的方法。经PAR方法开发的算法是非递归的,提高了算法效率;开发后的算法经过机器辅助证明,不仅克服了传统手工验证的繁琐性和易错性,而且大幅度提高了所开发出算法程序的可靠性和可信性。2.通过归纳分析二叉树算法的循环不变式组成结构和输出属性特征,将二叉树算法分成三大类,通过发现每类算法之间的共性,十分有利于简化开发和验证的过程。3.成功的开发和验证了一系列二叉树非递归算法,包括:二叉树前序、中序、后序、层次遍历,求二叉树内部路径长度,交换二叉树所有结点的左右子女,二叉排序树的增删改查操作,判断二叉树是否为满二叉树,判断二叉树是否为平衡二叉树等。这是首次形式化验证一系列非递归的高效二叉树算法。4.在此基础上,使用Isabelle定义了常用二叉树数据结构的数据类型、相关操作和辅助函数,形成二叉树算法定理证明库,有利于将来复用,构造更加复杂的验证。

关键词：非线性结构二叉树非递归算法循环不变式 Isabelle机器辅助证明

来源：评论

学校读者我要写书评

暂无评论

基于状态机的递归算法非递归化框架

引用

计算机应用与软件 2018年第4期35卷 122-128页

作者：杨硕周霜菊张志杰沈阳化工大学计算机科学与技术学院辽宁沈阳110142 成都大学美术与影视学院四川成都610106 西南民族大学计算机科学与技术学院四川成都610041

由递归程序转换到非递归程序可以避免栈内存溢出问题并可以提高算法效率。借助状态机编程的思想,提出一种递归到非递归转换的框架。将函数的调用和返回过程看作是状态的转换,并将递归过程模拟为"进入函数"、"进入递归点&... 详细信息

由递归程序转换到非递归程序可以避免栈内存溢出问题并可以提高算法效率。借助状态机编程的思想,提出一种递归到非递归转换的框架。将函数的调用和返回过程看作是状态的转换,并将递归过程模拟为"进入函数"、"进入递归点"、"从递归点返回"等状态。实验中,将几种具有代表性的递归算法转换为非递归算法,从转换后代码可以看出,提出的框架与"while-while"和"while-if"等常见框架相比,具有结构清晰、代码简洁和转换过程程序化强的优点。

关键词：状态机栈递归算法非递归算法框架

来源：评论

学校读者我要写书评

暂无评论

汉诺塔问题递归算法与非递归算法比较

引用

软件导刊 2018年第8期17卷 118-120页

作者：肖红德河南大学数学与统计学院河南开封475004

汉诺塔问题是一个古典数学问题,对于给定的盘子数量及每步移动盘子次序是确定的。因此,只要能够确定盘子移动的规则,就可以通过计算机程序加以实现。递归算法虽然代码简单,但对于初学者而言,理解其内涵存在困难,且算法执行效率不高。提... 详细信息

汉诺塔问题是一个古典数学问题,对于给定的盘子数量及每步移动盘子次序是确定的。因此,只要能够确定盘子移动的规则,就可以通过计算机程序加以实现。递归算法虽然代码简单,但对于初学者而言,理解其内涵存在困难,且算法执行效率不高。提出一种基于非递归思想的移动方向判断算法解决汉诺塔问题,通过与递归算法执行时间比较,提出的判断移动方向算法执行效率更高,且算法思想相对更简单、更容易理解。

关键词：汉诺塔问题递归算法非递归算法移动规律算法效率

来源：评论

学校读者我要写书评

暂无评论

约瑟夫问题的递归算法设计与分析

引用

福建电脑 2019年第1期35卷 118-120页

作者：叶康瑞成都华西中学四川成都610051

约瑟夫问题是计算机科学和数学中的一个典型问题。解决该问题的算法有很多,而递归算法就是其中的一个经典算法。文章分别采用递归和非递归两种方式设计了不同的算法来解决该问题,并用C语言进行了实现,最后对这两种算法的时间复杂度进行... 详细信息

约瑟夫问题是计算机科学和数学中的一个典型问题。解决该问题的算法有很多,而递归算法就是其中的一个经典算法。文章分别采用递归和非递归两种方式设计了不同的算法来解决该问题,并用C语言进行了实现,最后对这两种算法的时间复杂度进行了比较与分析。

关键词：约瑟夫问题递归算法非递归算法算法时间复杂度

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：