量子版 2-SAT 的高效算法
量子物理
2007-05-23 v1
摘要
研究了可满足性问题的量子类比的复杂性。量子 k-SAT 是验证是否存在 n 量子比特纯态使其 k 量子比特约化密度矩阵在给定子空间上有支撑的问题。我们提出一种在多项式时间内求解量子 2-SAT 的经典算法。它推广了著名的经典 2-SAT 算法。此外，我们证明对任意 k≥4，量子 k-SAT 在带单侧误差的 QMA 复杂性类中是完备的。
引用
@article{arxiv.quant-ph/0602108,
title = {Efficient algorithm for a quantum analogue of 2-SAT},
author = {Sergey Bravyi},
journal= {arXiv preprint arXiv:quant-ph/0602108},
year = {2007}
}
备注
13 pages