机构名称：
¥ 1.0
这是量子复杂性理论中的一个长期开放问题，即复杂性NP类的两个可能的量子类似物是否等效。QMA被定义为可以通过多项式量量子量子证人访问的多项式时间量子算法可以解决的决策问题，而QCMA是可通过多项式量子算法可解决的一类决策问题，仅通过多项式量子算法可以访问多项式规定的经典证人。换句话说，问题要问：量子证明是否比经典证据更强大？虽然包含QCMA QMA很容易看出，但这两个类别是否相等的问题（首先由Aharonov和Naveh [3]提出）仍然没有解决。的确，这些类别之间的无条件分离超出了当前已知的技术。一个更容易但仍未解决的问题是显示QMA和QCMA之间的甲骨文分离。这是因为Turing Machine模型中的Oracle分离可以通过在更简单的查询复杂性模型中的分离来显示，其中相似的
QMA和QCMA的oracle分离具有有限的自适应
主要关键词
相关文件推荐
