On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT

摘要

We study the Hamiltonians resulting from the Adiabatic Quantum Computing treatment of the Satisfiability Problem SAT. We provide respective procedures for explicit calculation of the involved Hamiltonians. The statement of the ending Hamiltonians allows us to pose a variant of SAT which is also NP-complete.