NQP_{C} = co-C_{=}P
量子物理
2007-05-23 v3 计算复杂性
摘要
Adleman、DeMarrais与Huang引入了非确定性量子多项式时间复杂度类NQP作为NP的类似物。Fortnow与Rogers隐式地证明，当振幅为有理数时，NQP包含于C_{=}P的补集中。Fenner、Green、Homer与Pruim改进了该结果，证明当振幅为任意代数数时，NQP与co-C_{=}P一致。本文证明，即便振幅为任意复数，NQP仍与co-C_{=}P完全相同。作为直接推论，当振幅不受限制时，BQP不同于NQP。
引用
@article{arxiv.quant-ph/9812032,
title = {NQP_{C} = co-C_{=}P},
author = {Tomoyuki Yamakami and Andrew C. Yao},
journal= {arXiv preprint arXiv:quant-ph/9812032},
year = {2007}
}
备注
9 pages. Accepted for Information Processing Letters, June, 1999