Википедия

Теорема PCP: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Спасено источников — 1, отмечено мёртвыми — 0. Сообщить об ошибке. См. FAQ.) #IABot (v2.0.8
→‎Квантовый аналог теоремы PCP: убрал странные ошибки в переводе цитаты и именах
Строка 105:
 
=== Квантовый аналог теоремы PCP ===
В 2012-м году Томас Видик (Thomas Vidick) и ЦуойшиЦуёси Ито (Tsuyoshi Ito) опубликовали статью<ref>{{cite web
| url = http://xxx.lanl.gov/abs/1207.0550
| title = A multi-prover interactive proof for NEXP sound against entangled provers
Строка 124:
|quote = Интерактивные проверки являются базисом криптографических систем и сейчас широко применяются, но для учёных в области компьютерных технологий они лишь важное средство проникновения в суть проблем сложности вычислений.
|deadlink = no
}}</ref>, и профессор ДорритДорит АхарановАхаронов (Dorit Aharonov) назвала его «квантовым аналогом более ранней статьи об интерактивных проверках», которая, «по существу, вела к теореме PCP»<ref>
{{cite web
| url = http://web.mit.edu/newsoffice/2012/interactive-proofs-work-even-if-quantum-information-is-used-0731.html
Строка 135:
| archivedate =
| archiveurl =
| quote = ДориДорит Ахаронов (Dorit Aharonov), профессор Еврейского университета в Иерусалиме, сказала, что статья Видика (Vidick) и Ито(Ito) является квантовым аналогом более ранней статьи paper об интерактивных доказательствах, которая “по существу, вела к теореме PCP, а сама теорема PCP без сомнения является наиболее важным результатом в теории сложности за последние 20 лет”.
Он сказал также, что новая статья “по всей видимости, является важным шагом вперед к доказательству квантового аналога теоремы PCP, которая является сейчас главным открытым вопросом в теории сложности квантовых вычислений.”
}}</ref>.
Источник — https://ru.wikipedia.org/wiki/Теорема_PCP