分划递推法及其应用  

Partition－and－Recur Method and its Applications

作　　者：李云清[1] 

机构地区：[1]江西师范大学计算机科学技术学院,南昌330027

出　　处：《计算机工程与应用》2001年第17期77-79,88,共4页Computer Engineering and Applications

基　　金：国家自然科学基金高技术探索项目(编号:69783006);江西省跨世纪人才项目资助

摘　　要：分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。： Partition－and－Recur（PAR）method is a new technology of design of algorithm．Using logical symbol and expanded quantification express the functional specification in PAR method．Partition is a general way for dealing with complicated questions．Recurrence is used in developing loop invariants and design of algorithm．Three instances present the explicit step and more details of design of algorithm in mind and outline of algorithm development using partition－and recur in this paper．

关 键 词：算法设计 分划递推法 程序设计 软件自动化 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]