| 摘要 | 第1-3页 |
| Abstract | 第3-6页 |
| 第一章 引言 | 第6-10页 |
| ·研究背景 | 第6-7页 |
| ·相关研究情况 | 第7-8页 |
| ·研究的主要内容 | 第8-10页 |
| 第二章 PAR方法的关键技术及开发步骤 | 第10-15页 |
| ·PAR方法的关键技术 | 第10页 |
| ·循环不变式的新定义和开发新策略 | 第10-11页 |
| ·Radl语言和Apla语言简介 | 第11-13页 |
| ·自定义泛型算法设计语言Radl | 第12页 |
| ·抽象程序设计语言Apla | 第12-13页 |
| ·PAR方法的开发步骤 | 第13-15页 |
| 第三章 PAR方法在解信息学奥林匹克竞赛试题中的应用 | 第15-48页 |
| ·GDOI的旅游问题 | 第15-26页 |
| ·GDOI的旅游问题的穷举算法 | 第15-18页 |
| ·GDOI的旅游问题的分治算法 | 第18-21页 |
| ·GDOI的旅游问题的动态规划算法 | 第21-23页 |
| ·GDOI的旅游问题的PAR方法解题步骤 | 第23-26页 |
| ·公路规划问题 | 第26-36页 |
| ·公路规划问题的Dijkstra算法 | 第27-29页 |
| ·公路规划问题的ford算法 | 第29-31页 |
| ·公路规划问题的PAR方法解题步骤 | 第31-36页 |
| ·导弹拦截问题 | 第36-41页 |
| ·导弹拦截问题的动态规划算法 | 第37-38页 |
| ·导弹拦截问题的PAR方法解题步骤 | 第38-41页 |
| ·加分二叉树问题 | 第41-48页 |
| ·加分二叉树问题的递归算法 | 第41-44页 |
| ·加分二叉树前序遍历的非递归解法的PAR方法解题步骤 | 第44-48页 |
| 第四章 结束语 | 第48-50页 |
| ·本文总结 | 第48页 |
| ·进一步的工作和展望 | 第48-50页 |
| 参考文献 | 第50-52页 |
| 附录 | 第52-58页 |
| 致谢 | 第58-59页 |