然·拉茨PCP characterization of NP, Proc. STOC 1997: 475–484, 1997, ISBN 0-89791-888-6, doi:10.1145/258533.258641 . Raz, Ran, A parallel repetition theorem,
哥德尔奖3543 . S2CID 207156623. doi:10.1145/1568318.1568324. Dinur, Irit. The PCP theorem by gap amplification. Journal of the ACM. 2007, 54 (3): 12–es. S2CID 53244523
扩展图2000, 20 (2): 153–172, doi:10.1007/s004930070018 . Dinur, Irit, The PCP theorem by gap amplification, Journal of the ACM, 2007, 54 (3): 12–es, doi:10
計算複雜性理論P?这就是著名的NP与P关系问题。从这个问题在1970年代被正式的提出之后,有NP完备理论赋予了它在实践上的重要性,有证明复杂性理论赋予了它纯数学理论上的重要性,有PCP理论和NP完备理论赋予了它算法理论上的重要性。这些理论或者在根本上依赖于NP和P关系问题的某些假设,或者本身就是试图去理解NP和P关系问题而发展出
弗罗贝尼乌斯标准形-1&-2&0&0&1&-1&4&-2\end{pmatrix}}} , 可以得到 A = P C P − 1 {\displaystyle A=PCP^{-1}} 。 给定基域F和其上的有限维向量空间V;给定多项式P ∈ F[X],有伴随矩阵CP,其特征多项式和极小多项式都等于P。