首页 | 本学科首页   官方微博 | 高级检索  
     

A Unified Approach for Developing EfficientAlgorithmic Programs
作者姓名:薛锦云
作者单位:Computer Software Institute,Jiangxi Normal University,Nanchang 330027; Computer Engineering Department,Santa Clara University,Santa Clara,CA 95053,USA
基金项目:the 863 Hi-Tech Programme,the National Natural ScienceFoundation of China
摘    要:

关 键 词:程序设计方法  算法设计  算法程序

A Unified Approach for Developing Efficient Algorithmic Programs
Xue Jinyun.A Unified Approach for Developing EfficientAlgorithmic Programs[J].Journal of Computer Science and Technology,1997,12(4):14-329.
Authors:Xue Jinyun
Abstract:A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented. An algorithm (represented by recurrence and initiation) is separated from program, and special attention is paid to algorithm manipulation rather than program calculus. An algorithm is exactly a set of mathematical formulae. It is easier for formal derivation and proof. After getting efficient and correct algorithm, a trivial transformation is used to get a final program. The approach covers several known algorithm design techniques, e.g. dynamic programming, greedy, divide-and-conquer and enumeration, etc. The techniques of partition and recurrence are not new. Partition is a general approach for dealing with complicated objects and is typically used in divide-and-conquer approach. Recurrence is used in algorithm analysis, in developing loop invariants and dynamic programming approach. The main contribution is combining two techniques used in typical algorithm development into a unified and systematic approach to develop general efficient algorithmic programs and presenting a new representation of algorithm that is easier for understanding and demonstrating the correctness and ingenuity of algorithmic programs.
Keywords:Programming method  algorithm design method  correctness of algorithmic program  recurrence relation  loop invariant  
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号