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

• 作者: 傅仰耿 傅志祥 吴英杰 王晓东
• 来源期刊: 福州大学学报(自然科学版)
• 学科: 工学
• 关键词: 算法设计 归纳法 循环不变式 动态规划
• 年，卷（期）: 2004,（4）
• 页码范围: 387-392
• 页数: 6页
• 分类号: TP30
• 字数: 4514字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2243.2004.04.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓东	福州大学数学与计算机科学学院	66	432	14.0	17.0
2	吴英杰	福州大学数学与计算机科学学院	66	453	11.0	19.0
3	傅仰耿	福州大学数学与计算机科学学院	38	169	7.0	11.0
4	傅志祥	福州大学数学与计算机科学学院	2	35	2.0	2.0