SAT问题在量子体系计算机上的计算方法

本文从AMP方法解SAT问题入手,在量子体系计算机上寻求求解SAT问题的完备解的计算方法。从量子力学理论和Deutch的量子计算理论出发讨论通用量子逻辑门和构建布尔与门和或门的方法,最后,本文给出在量子模拟器上运用量子逻辑门阵列求解SAT问题的计算步骤。