递归算法的研究及经典算法的递归实现

递归思想是计算机科学的一个重要思想,递归方法是程序设计中的有效方法,它为程序设计者打开了一个全新的程序设计思路。采用递归思想编程,可以将一些貌似复杂的问题简单化,编写的程序更加简洁明了。本文深入分析了递归思想的特点,递归算法的优点和缺点,通过对多个经典算法的递归实现,让读者掌握递归算法程序设计的一些方法和技巧,有助于提高程序初学者的编程水平。     

基于代数等价变换的线性互补问题内点算法

分析了对线性互补问题的中心化方程xs=μe实施代数等价变换的作用,揭示出彭积明等人近期提出的自正则邻近度量方法相当于一种等价的幂变换,并在更一般的基础上,建立了一个基于幂变换的内点算法．通过一些考题与现有内点算法进行了数值比较,结果显示了新算法的有效性和稳定性,并对某些问题显示出一定的优势。     

关于MicroSQL查询等价的若干定理及查询变换优化策略

Micro SQL是微机关系数据库管理系统NITDB采用的数据语言。为了进行查询优化,本文对Kim W.的思想加以推广,从理论上提出了若干关于Micro SQL查询的等价定理,并把一些结果运用到NITDB中,从而为NITDB提供了一种查询变换优化措施,提高了查询效率。     

递归算法及其转化为非递归算法的分析

递归是程序设计中强有力的工具，同时也有着鲜明的优缺点，也是学习的难点。本文从递归的概念、递归的实现和递归与非递归的转化几个方面进行了分析。     

一类变换图的递归构造方法

1980年,著名的图论专家R.A.Brualdi提出了关于变换图G（R,S）直径的Brualdi猜想[1],但至今仍悬而未决.J.Jin于2011年定义了一类变换图G（R＊,S＊）[2],其中,R＊=（r1,r2）且S＊=（1,…,1）.本文根据G（R＊,S＊）中最大团的性质找到G（R＊,S＊）的递归构造方法.     

递归算法非递归化的一般规律

尽管递归算法具有结构简练、清晰、可读性强、正确性容易得到证明等优点，但递归算法在执行过程中会耗费太多时间和空间。为了追求算法的时空效率，特别是使用不支持递归的程序语言的情况下，必须将递归算法转化为非递归算法，问题才能得到有效解决。为此，给出了递归算法转化为非递归算法的一般方法，并以Hanoi塔问题、二叉树的中序遍历问题为例进行了详细地分析。     

递归算法设计与递归消除技术

详细介绍了进行递归算法设计的分析方法及实现递归消除的有关技术。     

二阶性性递归数列的几个等价命题

证明了二阶线性递归数列的几个等价命题,推广了Fibonacci数列的有关结论。     

二阶线性递归数列的几个等价命题

证明了二阶线性递归数列的几个等价命题,推广了Fibonacci数列的有关结论.     

计算机系统如何将递归算法转化为非递归算法

本文介绍了计算机系统将递归程序转换为非递归程序的方法,并举例说明如何手工应用。     

把递归过程变换成非递归过程的几点体会

本文对“Fundamentals of Data Structures”一书中关于消去递归结构的十条规则中的某些概念作了注释和补充。     

拟凹函数的若干等价条件

本文给出了与拟凹函数定义等价的几种条件，并加以证明。     

拟凹函数的若干等价条件

本文给出了与拟凹函数定义等价的几种条件,并加以证明     

递归算法设计与递归消除技术

详细介绍了进行递归算法设计的分析方法及实现递归消除的有关技术     

关于等价度量的若干等价判定及应用

在同一度量空间中可诱导出相容的两个不同度量会给人们处理问题带来方便,因此,度量的等价性是一个值得讨论的课题。首先,介绍了度量空间中的等价度量、度量拓扑、等价拓扑基及同胚映射等基本概念。然后,在此基础上讨论了等价度量的基本性质及各种概念间的内在联系,并由此给出了关于等价度量的判定性定理及其重要推论,给出了等价度量应用的简单实例。最后,通过构造的方式,给出了一种重要的等价度量形式。     

分配格的若干等价条件

给出了分配格的若干个新的等价刻划。     

行列式的若干等价定义

应用公理化方法给出了行列式定义的等价形式，从而使行列式基本性质的证明简化。     

渐近线的若干等价定义

探讨了渐近线在解析几何和高等几何里定义的等价性，以及另外的几种等价定义及相应的解题方法。     

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。