| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 1 引言 | 第6-11页 |
| ·研究背景 | 第6-7页 |
| ·算法研究现状 | 第7-9页 |
| ·研究内容和意义 | 第9-10页 |
| ·论文结构安排 | 第10-11页 |
| 2 传统算法设计方法简介 | 第11-25页 |
| ·分治算法设计方法 | 第11-12页 |
| ·贪心算法设计方法 | 第12-14页 |
| ·动态规划算法设计方法 | 第14-16页 |
| ·分支限界法算法设计方法 | 第16-20页 |
| ·回溯法算法设计方法 | 第20-22页 |
| ·各种算法的分析比较 | 第22-23页 |
| ·基于递推技术的算法设计方法 | 第23-25页 |
| 3 算法程序设计基础 | 第25-32页 |
| ·程序规约 | 第25页 |
| ·程序规约描述语言 | 第25-27页 |
| ·量词的性质 | 第27-28页 |
| ·递推技术与递推关系 | 第28-29页 |
| ·循环不变式 | 第29-32页 |
| 4 基于递推技术的算法开发实例 | 第32-51页 |
| ·提高算法程序的效率 | 第32-39页 |
| ·提高算法程序的可靠 | 第39-45页 |
| ·开发循环不变式 | 第45-51页 |
| 5 结束语 | 第51-52页 |
| ·本文工作总结 | 第51页 |
| ·下一步工作和展望 | 第51-52页 |
| 参考文献 | 第52-54页 |
| 致谢 | 第54-55页 |
| 在学期间公开发表论文及著作情况 | 第55页 |