NP的量子刻画
量子物理
2016-11-25 v2
摘要
在本文中，我们引入了一个称为PQMA_log(2)的新复杂度类。非正式地说，该类包含这样的语言：其成员资格具有对数大小的量子证明，并且在验证者获得由两个非纠缠部分组成的证明的情境下，具有完美完备性以及多项式接近于1的可靠性。然后我们证明PQMA_log(2) = NP。为了使这成为可能，在定义该类时，不给验证者过多的能力是很重要的。与QMA_log = BQP这一事实相比，该结果为我们对量子信息的能力和纠缠的影响提供了新的见解。
引用
@article{arxiv.0709.0738,
title = {A quantum characterization of NP},
author = {Hugue Blier and Alain Tapp},
journal= {arXiv preprint arXiv:0709.0738},
year = {2016}
}
评论
The class QMA_Log(2) have been replace by PQMA_log(2) where the power of the verifier is slightly weaker