论文部分内容阅读
计算机科学的核心内容是使用算法处理离散数据．组合数学的重要性日渐凸显．使用形式化方法PAR开发了两个组合数学问题的算法，形式化推导过程为问题求解提供了思路，自然地引进了算法程序中用到的变量，清晰地展示了算法程序的设计过程，最终可得到简洁、易理解、可靠性高的算法程序．对形式化方法开发组合算法做了积极的探索，有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用．