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

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

作者机构：福州大学数学与计算机科学学院福建福州350002 

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

出 版 物：《福州大学学报（自然科学版）》 (Journal of Fuzhou University(Natural Science Edition))

年 卷 期：2004年第32卷第4期

页      码：387-392页

摘      要：分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.

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

学科分类：08[工学] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-2243.2004.04.001

馆 藏 号：203269766...