组合数学是研究离散对象的科学,而计算机处理的对象主要是离散数据,因此,关于组合数学问题算法的研究一直以来都是计算机科学的重要研究领域之一。然而在许多相关文献中,对于组合数学问题的求解,其相关算法大多都是利用传统算法设计方法经过简单分析得到,并未给出算法程序的详细设计过程,导致读者无法理解算法本质,更重要的是算法程序的正确性无法得到保证。本文通过对若干算法设计方法进行分析对比,选择使用基于递推技术的算法形式化方法对组合数学中若干问题的算法进行深入研究和形式化开发。基于递推技术的算法形式化方法首先要求对所求解问题的功能规约进行形式化描述,再利用严格的程序规约变换技术对规约进行一系列等价变换,从而获取问题的递推关系式,然后以所获得的递推关系式为基础利用循环结构给出问题最终的算法程序。本文首先对组合数学问题中的若干问题进行了深入的研究,通过对部分组合数学问题的特征和共性进行分析和比较,将这些组合数学问题划分成了三大类问题:连续子序列求解问题、“相同元素”的划分问题和“不同元素”的分类问题;然后,针对这三大类组合数学问题,本文分别选择了若干实例使用基于递推技术的算法形式化方法详细展示了其算法程序的形式化推导过程;最后,根据这三大类问题中每类问题的共性特征,定义不同含义的一元向量表达每类问题的程序规约,同时分别提炼出了这三大类组合数学问题算法形式化推导的统一求解策略,并将这些统一求解策略进一步应用于具体组合数学问题的算法开发。本文研究工作的意义在于:1)使用基于递推技术的算法形式化方法开发组合数学问题的算法程序,从问题的形式化程序规约出发,使用规约变换规则对程序规约进行一系列等价变换,获得问题求解序列的递推式,以此为基础得到问题求解的算法程序,清晰地展示了从问题的需求到算法程序的详细推导过程,有效解决了这些组合数学问题的算法“从何而来”的问题,有利于帮助读者理解这些算法的本质;2)推导过程中,问题最终的算法程序是建立在递推关系式的基础上的。由于问题的递推关系式都是经过严格数学变换获取的,因而我们通过保证问题求解递推关系式的正确性保证了最终算法程序的正确性;3)利用递推关系式求解问题的算法程序,先获取子问题的解,然后再通过子问题解进一步获取更大问题的解,最终获取原问题的解,这种方式可以避免许多重复计算,有效提高算法程序的执行效率;4)提出了三类组合数学问题的程序规约表达方法和算法推导统一策略,为开发可靠的组合数学问题的算法程序提供了有效的参考途径。