摘要
分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.
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.
出处
《福州大学学报(自然科学版)》
CAS
CSCD
2004年第4期387-392,共6页
Journal of Fuzhou University(Natural Science Edition)
基金
国家自然科学基金资助项目(60172017)
福建省自然科学基金资助项目(A0210012)
关键词
算法设计
归纳法
循环不变式
动态规划
algorithm design
induction
loop invariants
dynamic programming