Irit Dinur. The PCP theorem by gap amplification // Journal of the ACM. — 2007. — Т. 54, вып. 3. — С. 70—122. — doi:10.1145/1236457.1236459.
Sanjeev Arora, Shmuel Safra. Probabilistic checking of proofs: A new characterization of NP // Journal of the ACM. — 1998. — Т. 45, вып. 1. — С. 70—122. — doi:10.1145/273865.273901.
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy. Proof verification and the hardness of approximation problems // Journal of the ACM. — 1998. — Т. 45, вып. 3. — С. 501—555. — doi:10.1145/278298.278306.
eurekalert.org
Hardesty, LarryMIT News Release: 10-year-old problem in theoretical computer science falls (неопр.). MIT News Office (30 июля 2012). — «Интерактивные проверки являются базисом криптографических систем и сейчас широко применяются, но для учёных в области компьютерных технологий они лишь важное средство проникновения в суть проблем сложности вычислений.» Дата обращения: 10 августа 2012. Архивировано 10 августа 2012 года.
Hardesty, Larry10-year-old problem in theoretical computer science falls (неопр.). MIT News Office (31 июля 2012). — «Дорит Ахаронов (Dorit Aharonov), профессор Еврейского университета в Иерусалиме, сказала, что статья Видика (Vidick) и Ито(Ito) является квантовым аналогом более ранней статьи об интерактивных доказательствах, которая “по существу, вела к теореме PCP, а сама теорема PCP без сомнения является наиболее важным результатом в теории сложности за последние 20 лет”.
Он сказал также, что новая статья “по всей видимости, является важным шагом вперед к доказательству квантового аналога теоремы PCP, которая является сейчас главным открытым вопросом в теории сложности квантовых вычислений.”». Дата обращения: 10 августа 2012. Архивировано 9 августа 2012 года.
Hardesty, Larry10-year-old problem in theoretical computer science falls (неопр.). MIT News Office (31 июля 2012). — «Дорит Ахаронов (Dorit Aharonov), профессор Еврейского университета в Иерусалиме, сказала, что статья Видика (Vidick) и Ито(Ito) является квантовым аналогом более ранней статьи об интерактивных доказательствах, которая “по существу, вела к теореме PCP, а сама теорема PCP без сомнения является наиболее важным результатом в теории сложности за последние 20 лет”.
Он сказал также, что новая статья “по всей видимости, является важным шагом вперед к доказательству квантового аналога теоремы PCP, которая является сейчас главным открытым вопросом в теории сложности квантовых вычислений.”». Дата обращения: 10 августа 2012. Архивировано 9 августа 2012 года.
webcitation.org
Hardesty, LarryMIT News Release: 10-year-old problem in theoretical computer science falls (неопр.). MIT News Office (30 июля 2012). — «Интерактивные проверки являются базисом криптографических систем и сейчас широко применяются, но для учёных в области компьютерных технологий они лишь важное средство проникновения в суть проблем сложности вычислений.» Дата обращения: 10 августа 2012. Архивировано 10 августа 2012 года.
