interactive proof system造句

• Users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity; chapter 9 on provable intractability, and chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing
  早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。