Abstract
Many important computer science problems can be reduced to the clause-satisfaction problem. We are given Boolean variables and clauses where each clause is a function of values of some . We want to find an assignment of for which all clauses are satisfied. Let be a binary function, which is 1 if the clause is satisfied by the assignment , else . Then the solution is for which , where is the and function of all . In quantum computing, Grover's algorithm can be used to find . A crucial component of this algorithm is the selective phase inversion of the solution state encoding . is implemented by computing for all in superposition which requires computing and of all binary functions . Hence there must be coupling between the computation circuits for each . In this paper, we present an alternative quantum search algorithm which relaxes the requirement of such couplings. Hence it offers implementation advantages for clause-satisfaction problems.
- Received 27 March 2015
DOI:https://doi.org/10.1103/PhysRevA.91.052322
©2015 American Physical Society