Local Search Methods for Quantum Computers
arXiv:quant-ph/9802043
Abstract
Local search algorithms use the neighborhood relations among search states and often perform well for a variety of NP-hard combinatorial search problems. This paper shows how quantum computers can also use these neighborhood relations. An example of such a local quantum search is evaluated empirically for the satisfiability (SAT) problem and shown to be particularly effective for highly constrained instances. For problems with an intermediate number of constraints, it is somewhat less effective at exploiting problem structure than incremental quantum methods, in spite of the much smaller search space used by the local method.
28 pages, 6 figures, for related papers see http://www.parc.xerox.com/dynamics/www/quantum.html
References in corpus (8)
- Conditional Quantum Dynamics and Logic Gates
- Maintaining coherence in Quantum Computers
- Nuclear magnetic resonance spectroscopy: An experimentally accessible paradigm for quantum computing
- Quantum Computers, Factoring, and Decoherence
- The Entropy of the K-Satisfiability Problem
- Efficient Quantum Transforms
- A Framework for Structured Quantum Search
- Monte Carlo Simulation of Quantum Computation