| 分划递推法及其应用 |
| |
| 引用本文： | 李云清. 分划递推法及其应用[J]. 计算机工程与应用, 2001, 37(17): 77-79,88 |
| |
| 作者姓名： | 李云清 |
| |
| 作者单位： | 江西师范大学计算机科学技术学院 |
| |
| 基金项目： | 国家自然科学基金高技术探索项目（编号：69783006）,江西省跨世纪人才项目资助 |
| |
| 摘 要： | 分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法,而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。
|
| 关 键 词： | 算法设计 功能规约 递推关系 循环不变式 |
| 文章编号： | 1002-8331-(2001)17-0077-03 |
Partition-and-Recur Method and its Applications |
| |
| Abstract: | ： 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． |
| |
| Keywords: | ： design of algorithm functional specification Recurrence relation Loop invariant |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
