搜索问题的代数描述及其算法  

AN ALGEBRAIC MODEL FOR SEARCH PROBLEMS AND THEIR ALGORITHM

作　　者：栾尚敏[1,2] 马绍汉[1,2] 

机构地区：[1]山东大学计算机科学系 [2]中国科学院计算技术研究所CAD开放研究实验室

出　　处：《计算机研究与发展》1997年第11期801-806,共6页Journal of Computer Research and Development

基　　金："863-306"主题;国家自然科学基金

摘　　要：文中给出了搜索问题的一种代数描述方法，在这种描述方法的基础上，给出了一个算法模式．以货郎担问题的动态规划－分支限界算法为例，讨论了如何用所给出的算法模式来设计包含多种算法设计技术的算法，称这种算法为混合（ｈｙｂｒｉｄ）算法．还讨论了如何用面向对象的方法进行程序设计．这种求解问题的方法不仅为算法的自动生成提供了一种有力的工具，如果用面向对象的方法进行程序设计，还能提高代码的利用率．An algebraic model and an algorithm schema for search problems are presented. Specific algorithms are interpretations of the schema. As an example, a dynamic programming branch and bound algorithm for travelling salesman problem is used to illustrate how to obtain hybrid algorithms from the algorithm schema. Also discussed is how to program search problems with object oriented methodology. The algorithm schema not only provides a tool for automating algorithm design, but also provides a tool for software reusability.

关 键 词：搜索问题 程序设计 代数描述 算法 

分 类 号：O229[理学—运筹学与控制论]