计算理论导引第二版中的nc类和p完全性、IP=PSPACE（交互式证明系统、图的非同构、模型的定义、IP = PSPACE）内容(In the second edition of computational theory, the NC class and P completeness, IP=PSPACE (interactive proof system, graph isomorphism, model definition, IP = PSPACE) are included)