抗纠缠双证明者交互式证明系统与非自适应私有信息检索系统
量子物理
2007-07-13 v1
摘要
我们证明，对于 NP 中的任何语言，都存在一个具有恒定完备性与可靠性间隙的抗纠缠恒定比特双证明者交互式证明系统。此前提出的经典双证明者恒定比特交互式证明系统已知不具备抗纠缠性。这是目前任何已知的实现恒定间隙的恒定比特回答多证明者交互式证明系统中最强的表达能力。我们的结果基于某些私有信息检索系统的“神谕化”性质，该性质可能具有独立的研究价值。
引用
@article{arxiv.0707.1729,
title = {Entanglement-Resistant Two-Prover Interactive Proof Systems and Non-Adaptive Private Information Retrieval Systems},
author = {Richard Cleve and Dmitry Gavinsky and Rahul Jain},
journal= {arXiv preprint arXiv:0707.1729},
year = {2007}
}
评论
8 pages