In previous work, Montanaro presented a method to obtain quantum speedups for backtracking algorithms, a general meta-algorithm to solve constraint satisfaction problems (CSPs). In this work, we derive a space efficient implementation of this method. Assume that we want to solve a CSP with m constraints on n variables and that the domain in which these variables take their value is of cardinality d. Then, we show that the implementation of Montanaro’s backtracking algorithm can be done by using data qubits. We detail an implementation of the predicate associated to the CSP with an additional register of qubits. We explicit our implementation for graph coloring and SAT problems, and present simulation results. Finally, we discuss the impact of the usage of static and dynamic variable ordering heuristics in the quantum setting.
CITATION STYLE
Martiel, S., & Remaud, M. (2020). Practical Implementation of a Quantum Backtracking Algorithm. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12011 LNCS, pp. 597–606). Springer. https://doi.org/10.1007/978-3-030-38919-2_49
Mendeley helps you to discover research relevant for your work.