中文

lambda-q 演算可有效模拟量子计算机

量子物理 2009-09-25 v1

摘要

我们通过展示 lambda-q 演算可有效模拟等价于量子图灵机的一类量子元胞自动机,表明 lambda-q 演算可有效模拟量子图灵机。我们最后指出,lambda-q 演算可能严格强于量子计算机,因为诸如可满足性之类的 NP 完全问题在 lambda-q 演算中可有效求解,但人们普遍怀疑它们在量子计算机上可有效求解。

关键词

引用

@article{arxiv.quant-ph/9702057,
  title  = {The lambda-q calculus can efficiently simulate quantum computers},
  author = {Philip Maymin},
  journal= {arXiv preprint arXiv:quant-ph/9702057},
  year   = {2009}
}

备注

4 pages, LaTeX2e