期刊文献+

算法归纳设计策略与循环不变式 被引量:3

Induction and loop invariants for algorithm design
原文传递
导出
摘要 分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性. 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
  • 相关文献

参考文献6

  • 1Floyd R. Assigning meaning to programs[A]. XIX American Mathematical Society. Mathematical aspects of computer science[C]. New York: Springer-Verlag, 1967.
  • 2Dijkstra E W. A discipline of programming[M]. New Jersey: Prentice Hall, 1976.
  • 3Gries D. The science of programming[M]. New York: Springer-Verlag, 1981.
  • 4Bates J L, Constable R L. Proofs as programs[J]. Communications of the ACM 7,1, 1985: 113-136.
  • 5Constable R L. Implementing mathematics with the Nuprl proof development system[M]. New Jersey: Prentice Hall, 1986.
  • 6Manber U. Using induction to design algorithms[J]. Communcations of the ACM 31, 11, 1988: 1300-1313.

同被引文献14

引证文献3

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部