| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 1、引言 | 第5-7页 |
| 2、预备知识和简介 | 第7-13页 |
| ·概率论基础 | 第7-8页 |
| ·纠错码基础 | 第8-9页 |
| ·图灵机 | 第9-11页 |
| ·概率图灵机 | 第11-13页 |
| 3.概率可验证计算模型 | 第13-33页 |
| ·(CNF,r-CNF)判定问题 | 第13-14页 |
| ·PCP系统的定义 | 第14-16页 |
| ·布尔函数算术化与其在有限域上的延伸 | 第16-20页 |
| ·布尔函数算术化与标准展开 | 第17-18页 |
| ·布尔函数在有限域上的延伸 | 第18-19页 |
| ·布尔函数在有限域上延伸的唯一性 | 第19-20页 |
| ·NEXPPOLY的PCP特征 | 第20-26页 |
| ·多重线性测试系统的构造 | 第26-31页 |
| ·和检验系统的构造 | 第31-33页 |
| 4.结论与进一步工作 | 第33-34页 |
| 致谢 | 第34-35页 |
| 参考文献 | 第35-37页 |
| 附录 | 第37-38页 |