D-Wave's quantum annealing computers are different than gate-model systems in function, theory and applicability. Due to their size, D-Wave has been able to build quantum-hybrid tools which are in production and providing customer value today. As such, we are focusing our challenge on solving more "real-world" problems. It would be impractical to expect teams to submit a production-ready application for your final project, but your submissions should reflect needs in business and/or everyday life. Multi-vehicle delivery, production/repair scheduling and resource assignment are all fine places to start.
Unlike gate-model quantum computing, quantum annealing is a method for solving optimization problems. Here are some of the criteria we use to evaluate whether or not a problem is a good fit for our products:
- Is it an optimization problem?
- Is there something to maximize or minimize?
- What are the decisions that need to be made (the variables)?
- What are the constraints?
- Is it nonlinear? Our solvers perform best when working on nonlinear (e.g. quadratic) optimization problems.
- All solvers but the Nonlinear (NL) can work with at most quadratic polynomials in the objective and/or constraints.
- The NL hybrid solver can work with higher-degree polynomials as well as other nonlinear functions.
- Will it fit?
- Advantage™ Quantum Processing Units (QPUs) can take Quadratic Unconstrained Binary Optimization (QUBO) or Ising models as inputs. Depending on problem structure, the maximum number of variables can vary from 170 to 5000+ binary variables.
- The BQM hybrid solver takes QUBOs or Ising models and can work with up to 1M binary variables.
- The CQM hybrid solver takes constrained models, treating objectives and constraints separately. It can use binary, integer or continuous variables although it does best with mostly binary and integer decision variables. The maximum problem size is 100k constraints and 500k variables.
- The Nonlinear (NL) hybrid solver takes in its own Directed Acyclic multi-Graph (DAG) models. The model's DAG can have up to 2M nodes. Variable types can be binary, integer, lists (permutations) or sets (combinations).
D-Wave is not accessible via qBraid, so you will need to reach out to Ken at the event to get access to our solvers via the Leap™ cloud service. Access allows you to interface with any of our hybrid tools (BQM, CQM and Nonlinear [NL] solvers), Adavantage QPUs and even our newest prototype Advantage2™ QPU. You will need to provide a valid email address.
Once you have signed up for Leap, you will need to download the Ocean™ software development kit (SDK) onto your device and configure it properly. Instructions can be found at this link. Alternatively, you can access a pre-made environment with any of our examples through GitHub Codespaces.
- The NL hybrid solver's open source code provides access to problem generators for classic, archetypal optimization problems. A simple challenge would be to take one of these generators, place it within a real-world context, modify it to better fit that context and write code to run the solver and interpret the results. For example, you could modify the knapsack problem with nonlinear terms representing objects which cannot be stored together. Can you think of anything else?
- If you can think of a good, real-world problem that fits the criteria given in the first section of this README, try solving that problem with any of D-Wave's tools! Be prepared to justify your choice.
We begin with a simple statement of the "Quadratic Assignment Problem" (QAP). The QAP is a famous archetype of problems which has been called "the hardest of the hard" [1,2]. The classic problem statement is as follows: consider a set of
-
$f_{jk}$ is a real number and represents the flow of material between facilities$j$ and$k$ -
$d_{mn}\geq 0$ is a real number and represents the distance between locations$m$ and$n$
The goal of the QAP is to arrange facilities at locations in a way which minimizes the total cost of transport for all these flowing goods:
where
HINT: You do not need to use binary variables with D-Wave's new hybrid solver.
QAP is easy to solve with D-Wave's quantum-hybrid tools so we are going to modify it. Consider a hospital with
Let the location matrix
- S. Sahni & T. Gonzalez, "P-Complete Approximation Problems," 1976, University of Minnesota
- C.W. Commander, "A Survey of the Quadratic Assignment Problem, with Applications," 2003, University of Florida