Quantum-accelerated constraint programming

by   Kyle E. C. Booth, et al.

Constraint programming (CP) is a paradigm used to model and solve constraint satisfaction and combinatorial optimization problems. In CP, problems are modeled with constraints that describe acceptable solutions and solved with backtracking tree search augmented with logical inference. In this paper, we show how quantum algorithms can accelerate CP, at both the levels of inference and search. Leveraging existing quantum algorithms, we introduce a quantum-accelerated filtering algorithm for the global constraint and discuss its applicability to a broader family of global constraints with similar structure. We propose frameworks for the integration of quantum filtering algorithms within both classical and quantum backtracking search schemes, including a novel hybrid classical-quantum backtracking search method. This work suggests that CP is a promising candidate application for early fault-tolerant quantum computers and beyond.



page 1

page 2

page 3

page 4


Stochastic Constraint Programming as Reinforcement Learning

Stochastic Constraint Programming (SCP) is an extension of Constraint Pr...

Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing

We developed and compared Constraint Programming (CP) and Quantum Anneal...

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

Recently, the makespan-minimization problem of compiling a general class...

Research Report on Automatic Synthesis of Local Search Neighborhood Operators

Constraint Programming (CP) and Local Search (LS) are different paradigm...

Quantum speedups of some general-purpose numerical optimisation algorithms

We give quantum speedups of several general-purpose numerical optimisati...

A Hybrid APM-CPGSO Approach for Constraint Satisfaction Problem Solving: Application to Remote Sensing

Constraint satisfaction problem (CSP) has been actively used for modelin...

Augmenting Stream Constraint Programming with Eventuality Conditions

Stream constraint programming is a recent addition to the family of cons...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.