有哪些信誉好的足球投注网站- 1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
算法归纳设计策略与循环不变式-福州大学学报
第 卷 第 期 福州大学学报（自然科学版） 32 4 VoI . 32 No .4 年 月 （ ） 2004 8 JournaI of Fuzhou University NaturaI Science Aug . 2004 文章编号： （ ） l000 - 2243 2004 04 - 0387 - 06 算法归纳设计策略与循环不变式 王晓东，吴英杰，傅仰耿，傅志祥 （福州大学数学与计算机科学学院，福建 福州 350002 ） 摘要：分析了算法归纳设计策略与循环不变式之间的关系，提出把算法设计与循环不变式的构建相结合的 思想，并通过实例说明其有效性和重要性. 关键词：算法设计；归纳法；循环不变式；动态规划 中图分类号： 文献标识码： TP30 A Induction and loop invariants for algorithm design ， ， ， WANG Xiao - dong WU Ying - jie FU Yang - geng FU Zhi - xiang （ ， ， ， ， ） CoIIege of Mathematics and Computer Science Fuzhou University Fuzhou Fujian 350002 China ： Abstract This paper anaIyses the reIation between the induction and Ioop invariants for aIgorithm de- ， ， sign presents the idea of combining aIgorithm design with Ioop invariants construction and then shows its vaIidation and importance by some specific exampIes . ： ； ； ； Keywords aIgorithm design induction Ioop invariants dynamic programming ［］ ［］ ［］ 在有关程序正确性证明的早期工作中， l 引入了循环不变式的思想 其后， 2 和 3
文档评论（0）