Solution to the satisfiability problem using a complete Grover search with trapped ions
Wanli Yang, Hua Wei, Fei Zhou, Weng-Long Chang, Mang Feng · Journal of Physics B Atomic Molecular and Optical Physics · 2009
The main idea in the original Grover search (1997 Phys. Rev. Lett. 79 325) is to single out a target state containing the solution to a search problem by amplifying the amplitude of the state, following the Oracle's job, i.e., a black box giving us information about the target state. We design quantum circuits to accomplish a complete Grover search involving both the Oracle's job and the amplification of the target state, which are employed to solve satisfiability (SAT) problems. We explore how to carry out the quantum circuits with currently available ion-trap quantum computing technology.