| 算法归纳设计策略与循环不变式 |
| |
| 引用本文： | 王晓东,吴英杰,傅仰耿,傅志祥.算法归纳设计策略与循环不变式[J].福州大学学报(自然科学版),2004,32(4):387-392. |
| |
| 作者姓名： | 王晓东 吴英杰 傅仰耿 傅志祥 |
| |
| 作者单位： | 福州大学数学与计算机科学学院,福建,福州,350002 |
| |
| 基金项目： | 国家自然科学基金资助项目(60172017)，福建省自然科学基金资助项目(A0210012) |
| |
| 摘 要： | 分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.
|
| 关 键 词： | 算法设计 归纳法 循环不变式 动态规划 |
| 文章编号： | 1000-2243(2004)04-0387-06 |
| 修稿时间： | 2004年3月30日 |
Induction and loop invariants for algorithm design |
| |
| WANG Xiao-dong,WU Ying-jie,FU Yang-geng,FU Zhi-xiang.Induction and loop invariants for algorithm design[J].Journal of Fuzhou University(Natural Science Edition),2004,32(4):387-392. |
| |
| Authors: | WANG Xiao-dong WU Ying-jie FU Yang-geng FU Zhi-xiang |
| |
| Institution: | (College of Mathematics and Computer Science, Fuzhou University, Fuzhou, Fujian 350002, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | algorithm design induction loop invariants dynamic programming |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《福州大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《福州大学学报(自然科学版)》下载免费的PDF全文 |
