Abstract: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.

Solving the Graph Isomorphism Problem with a Quantum Annealer

Experimental quantum annealing: case study involving the graph isomorphism problem

A Quantum Algorithm for the Sub-graph Isomorphism Problem

Advancing stable set problem solutions through quantum annealers

Solving the Traveling Salesman Problem on the D-Wave Quantum Computer

A scalable 2-local architecture for quantum annealing of Ising models with arbitrary dimensions

Quantum Graph Drawing

A New QUBO Objective Function for Solving the Maximum Common Subgraph Isomorphism Problem Via Quantum Annealing

Unraveling Quantum Annealers using Classical Hardness

Solving optimization problems with local light shift encoding on Rydberg quantum annealers

An Analysis of Quantum Annealing Algorithms for Solving the Maximum Clique Problem

Quantum chemistry on quantum annealers

Solving the homogeneous Bethe-Salpeter equation with a quantum annealer

Electronic structure with direct diagonalization on a D-wave quantum annealer

Mapping graph coloring to quantum annealing

Reverse quantum annealing assisted by forward annealing

Sampling electronic structure QUBOs with Ocean and Mukai solvers

Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms

Quantum annealing simulator

Solving graph problems with single-photons and linear optics

Homology Computation of Large Point Clouds using Quantum Annealing