Mapping graph coloring to quantum annealing

Quantum annealing provides a method to solve combinatorial optimization problems in complex energy landscapes by exploiting thermal fluctuations that exist in a physical system. This work introduces the mapping of a graph coloring problem based on pseudo-Boolean constraints to a working graph of the...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Quantum machine intelligence Ročník 2; číslo 2
Hlavní autoři: Silva, Carla, Aguiar, Ana, Lima, Priscila M. V., Dutra, Inês
Médium: Journal Article
Jazyk:angličtina
Vydáno: Cham Springer International Publishing 01.12.2020
Témata:
Artificial Intelligence
Computational Intelligence
Engineering
Quantum Information Technology
Research Article
Spintronics
Constraint and logic programming
Adiabatic quantum computation
Quadratic unconstrained binary optimization
Symbolic calculus algorithms
Pseudo-Boolean optimization
ISSN:2524-4906, 2524-4914
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Quantum annealing provides a method to solve combinatorial optimization problems in complex energy landscapes by exploiting thermal fluctuations that exist in a physical system. This work introduces the mapping of a graph coloring problem based on pseudo-Boolean constraints to a working graph of the D-Wave Systems Inc. We start from the problem formulated as a set of constraints represented in propositional logic. We use the SATyrus approach to transform this set of constraints to an energy minimization problem. We convert the formulation to a quadratic unconstrained binary optimization problem (QUBO), applying polynomial reduction when needed, and solve the problem using different approaches: (a) classical QUBO using simulated annealing in a von Neumann machine; (b) QUBO in a simulated quantum environment; (c) actual quantum 1, QUBO using the D-Wave quantum machine and reducing polynomial degree using a D-Wave library; and (d) actual quantum 2, QUBO using the D-Wave quantum machine and reducing polynomial degree using our own implementation. We study how the implementations using these approaches vary in terms of the impact on the number of solutions found (a) when varying the penalties associated with the constraints and (b) when varying the annealing approach, simulated (SA) versus quantum (QA). Results show that both SA and QA produce good heuristics for this specific problem, although we found more solutions through the QA approach.
ISSN:2524-4906
2524-4914
DOI:10.1007/s42484-020-00028-4