2- SAT量子模拟的有效算法
Efficient algorithm for a quantum analogue of 2-SAT
摘要：
研究了可满足性问题的量子模拟的复杂性。量子k-SAT问题是验证是否存在n比特纯态使得其k比特约化密度矩阵在指定子空间上有支撑。我们提出了一个在多项式时间内求解量子2-SAT的经典算法。它推广了经典的2-SAT算法。此外，我们还证明了对于任意k>=4的量子，k-SAT在复杂性类QMA中是完备的，并且有单侧误差.
英文摘要：
Complexity of a quantum analogue of the satisfiability problem is studied. Quantum k-SAT is a problem of verifying whether there exists n-qubit pure state such that its k-qubit reduced density matrices have support on prescribed subspaces. We present a classical algorithm solving quantum 2-SAT in a polynomial time. It generalizes the well-known algorithm for the classical 2-SAT. Besides, we show that for any k>=4 quantum k-SAT is complete in the complexity class QMA with one-sided error.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
