算法归纳设计策略与循环不变式  

Induction and loop invariants for algorithm design

作　　者：王晓东[1] 吴英杰[1] 傅仰耿[1] 傅志祥[1] 

机构地区：[1]福州大学数学与计算机科学学院,福建福州350002

出　　处：《福州大学学报（自然科学版）》2004年第4期387-392,共6页Journal of Fuzhou University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60172017);福建省自然科学基金资助项目(A0210012)

摘　　要：分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.This paper analyses the relation between the induction and loop invariants for algorithm design, presents the idea of combining algorithm design with loop invariants construction, and then shows its validation and importance by some specific examples.

关 键 词：算法设计 归纳法 循环不变式 动态规划 

分 类 号：TP30[自动化与计算机技术—计算机系统结构]