Models: BQM, CQM, QM, Others#
This page describes the dimod package’s quadratic models: classes, attributes, and methods. For an introduction and the data structure, see Models: BQM, CQM, QM, Others.
Binary Quadratic Models#
Binary quadratic models (BQMs) are problems of the form:
where \(a_{i}, b_{ij}, c\) are real values.
For examples, see Ocean’s Getting Started examples and the BQM examples in D-Wave’s collection of examples.
BQM Class#
- class BinaryQuadraticModel(*args, offset: float | floating | integer | None = None, vartype: Vartype | str | frozenset | None = None, dtype: dtype[Any] | None | type[Any] | _SupportsDType[dtype[Any]] | str | tuple[Any, int] | tuple[Any, SupportsIndex | Sequence[SupportsIndex]] | list[Any] | _DTypeDict | tuple[Any, Any] = None)[source]#
Binary quadratic model.
This class encodes Ising and quadratic unconstrained binary optimization (QUBO) models used by samplers such as the D-Wave system.
With one or more of the following parameters,
vartype
: The valid variable types for binary quadratic models, is one of:bqm
: An existing BQM.n
: Required number of variables.quadratic
: Quadratic biases, as a dictionary of form{(u, v): b, ...}
or a square array_like.linear
: Linear biases, as a dictionary of the form{v: b, ...}
or a one-dimensional array_like.offset
: Offset as a number.
you can create BQMs in several ways:
BinaryQuadraticModel(vartype)
with no variables or interactions.BinaryQuadraticModel(bqm)
from an existing BQM. The resulting BQM has the same variables, linear biases, quadratic biases and offset asbqm
.BinaryQuadraticModel(bqm, vartype)
from an existing BQM, changing to the specifiedvartype
if necessary.BinaryQuadraticModel(n, vartype)
withn
variables, indexed linearly from zero, setting all biases to zero.BinaryQuadraticModel(quadratic, vartype)
from quadratic biases. When formed with SPIN-variables, biases on the diagonal are added to the offset.BinaryQuadraticModel(linear, quadratic, vartype)
from linear and quadratic biases.BinaryQuadraticModel(linear, quadratic, offset, vartype)
from linear and quadratic biases and an offset.
- Parameters:
*args – See above.
offset – Offset (see above) may be supplied as a keyword argument.
vartype – Variable type (see above) may be supplied as a keyword argument.
dtype – Data type.
numpy.float32
andnumpy.float64
are supported. Defaults tonumpy.float64
.
- BQM[source]#
alias of
BinaryQuadraticModel
BQM Attributes#
Adjacency structure as a nested mapping of mappings. |
|
Binary-valued version of the binary quadratic model. |
|
Data-type of the model's biases. |
|
Linear biases as a mapping. |
|
Number of interactions in the model. |
|
Number of variables in the model. |
|
Constant energy offset associated with the model. |
|
Quadratic biases as a flat mapping. |
|
A 2-tuple of |
|
Spin-valued version of the binary quadratic model. |
|
The variables of the binary quadratic model. |
|
The model's variable type. |
BQM Methods#
|
Add a linear term. |
|
Add a linear constraint as a quadratic objective. |
|
Add variables and linear biases to a binary quadratic model. |
|
Add linear biases from an array-like to a binary quadratic model. |
|
Add a linear inequality constraint as a quadratic objective. |
|
Add a quadratic bias between two variables. |
|
Add quadratic biases to the binary quadratic model. |
|
Add quadratic biases from a square 2d array-like. |
|
Add a variable to a binary quadratic model. |
|
Return a binary quadratic model with the specified vartype. |
|
Remove the offset and all variables and interactions from the model. |
|
Enforce u, v being the same variable in a binary quadratic model. |
|
Return a copy. |
|
Return the degree of a variable. |
|
Return the degrees of a binary quadratic model's variables. |
|
Create a new binary quadratic model with no variables and no offset. |
|
Determine the energies of the given samples-like. |
|
Determine the energy of the given sample. |
|
Remove a variable by fixing its value. |
|
Fix the value of the variables and remove them. |
Flip the specified variable in a binary quadratic model. |
|
|
Deserialize a BQM from a Coordinate format encoding. |
|
Construct a binary quadratic model from a file-like object. |
|
Create a binary quadratic model from an Ising problem. |
|
Create a binary quadratic model from NumPy vectors. |
|
Create a binary quadratic model from a QUBO problem. |
|
Deserialize a binary quadratic model. |
|
Test for near equality to all biases of a given binary quadratic model. |
|
Return True if the given model has the same variables, vartypes and biases. |
Return True if the model has no quadratic interactions. |
|
Iterate over the variables and their biases. |
|
Iterate over the neighbors and quadratic biases of a variable. |
|
|
Get the linear bias of a variable. |
|
Get the quadratic bias of a pair of variables. |
Compute a conservative bound on the maximum change in energy that can result from flipping a single variable in a binary quadratic model. |
|
|
Get the total bytes consumed by the biases and indices. |
|
Normalize the biases of a binary quadratic model. |
|
Apply function of two arguments cumulatively to the linear biases. |
|
Apply function of two arguments cumulatively to the quadratic biases associated with a single variable. |
|
Apply function of two arguments cumulatively to the quadratic biases. |
|
Relabel the variables of a binary quadratic model. |
|
Relabel to consecutive integers the variables of a binary quadratic model. |
|
Remove the interaction between a pair of variables. |
|
Remove the given interactions from the binary quadratic model. |
|
Remove the specified variable from a binary quadratic model. |
|
Resize a binary quadratic model to the specified number of variables. |
|
Multiply all biases by the specified scalar. |
|
Set the linear bias of of a variable. |
|
Set the quadratic bias of interaction |
|
Serialize the binary quadratic model to a COOrdinate format encoding. |
|
Serialize the binary quadratic model to a file-like object. |
|
Convert a binary quadratic model to Ising format. |
|
Convert binary quadratic model to 1-dimensional NumPy arrays. |
|
Return a string representing the model as a polynomial. |
|
Convert a binary quadratic model to QUBO format. |
|
Convert the binary quadratic model to a serializable object. |
|
Add the variables, interactions, offset and biases from another binary quadratic model. |
Generic BQM Constructor#
|
Convert the input to a binary quadratic model. |
Constrained Quadratic Model#
Constrained quadratic models are problems of the form:
where \(\{ x_i\}_{i=1, \dots, N}\) can be binary[1], integer, or continuous variables, \(a_{i}, b_{ij}, c\) are real values, \(\circ \in \{ \ge, \le, = \}\) and \(M\) is the total number of constraints.
Constraints can be categorized as either “hard” or “soft”. Any hard constraint must be satisfied for a solution of the model to qualify as feasible. Soft constraints may be violated to achieve an overall good solution. By setting appropriate weights to soft constraints in comparison to the objective and to other soft constraints, you can express the relative importance of such constraints.
For examples, see Ocean’s Getting Started examples and the CQM examples in D-Wave’s collection of examples.
CQM Class#
- class ConstrainedQuadraticModel[source]#
A constrained quadratic model.
The objective and constraints are encoded as either
QuadraticModel
orBinaryQuadraticModel
depending on the variable types used.Example
Create an empty constrained quadratic model (“empty” meaning that no objective or constraints are set).
>>> cqm = dimod.ConstrainedQuadraticModel()
- CQM[source]#
alias of
ConstrainedQuadraticModel
CQM Attributes#
Constraints as a mapping. |
|
Objective to be minimized. |
|
Variables in use over the objective and all constraints. |
CQM Methods#
|
Add a constraint to the model. |
|
Add a constraint from a symbolic comparison. |
|
Add a constraint from an iterable of tuples. |
|
Add a constraint from a quadratic model. |
|
A convenience wrapper for other methods that add one-hot constraints. |
|
Add a one-hot constraint from a comparison. |
|
Add a one-hot constraint from an iterable. |
|
Add a one-hot constraint from a model. |
|
Add a variable to the model. |
|
Add variables to the model. |
|
Return the feasibility of the given sample. |
|
Fix the value of a variable in the model. |
|
Fix the value of the variables and remove them. |
Flip the specified binary variable in the objective and constraints. |
|
|
Alias for |
|
Construct a constrained quadratic model from a discrete quadratic model. |
|
Alias for |
|
Alias for |
Construct a constrained quadratic model from a quadratic model or binary quadratic model. |
|
|
Construct from a file-like object. |
|
Create a constrained quadratic model from an LP file. |
|
Yield information about the constraints for the given sample. |
|
Yield violations for all constraints. |
|
Test for near equality to a given constrained quadratic model. |
|
Test for equality to a given constrained quadratic model. |
Return True if the model has no quadratic interactions. |
|
|
Return the lower bound on the specified variable. |
|
Number of biases in the constrained quadratic model. |
|
Number of variables with at least one quadratic interaction in the constrained quadratic model. |
|
Relabel the constraints. |
|
Relabel the variables of the objective and constraints. |
|
Remove a constraint from the model. |
|
Set the lower bound for a variable. |
|
Set the objective of the constrained quadratic model. |
|
Set the upper bound for a variable. |
|
Convert any spin-valued variables to binary-valued. |
Replace any self-loops in the objective or constraints. |
|
|
Serialize to a file-like object. |
|
Return the upper bound on the specified variable. |
|
Vartype of the given variable. |
|
Return a dict of violations for all constraints. |
Sense Class#
- class Sense(value)[source]#
Sense of a constraint.
Supported values are:
Le
: less or equal (\(\le\))Ge
: greater or equal (\(\ge\))Eq
: equal (\(=\))
Example
>>> from dimod import ConstrainedQuadraticModel, Integer >>> i = Integer("i") >>> cqm = ConstrainedQuadraticModel() >>> cqm.add_constraint(i <= 3, "i le 3") 'i le 3'
Quadratic Models#
Quadratic models are problems of the form:
where \(\{ x_i\}_{i=1, \dots, N}\) can be binary[2] or integer variables and \(a_{i}, b_{ij}, c\) are real values.
For binary variables, the range of the quadratic-term summation is \(i < j\) because \(x^2 = x\) for binary values \(\{0, 1\}\) and \(s^2 = 1\) for spin values \(\{-1, 1\}\).
For examples, see Ocean’s Getting Started examples and the examples in D-Wave’s collection of examples.
QM Class#
- class QuadraticModel(linear: Mapping[Hashable, float | floating | integer] | None = None, quadratic: Mapping[Tuple[Hashable, Hashable], float | floating | integer] | None = None, offset: float | floating | integer = 0, vartypes: Mapping[Hashable, Vartype] | Iterable[Tuple[Hashable, Vartype | str | frozenset]] | None = None, *, dtype: dtype[Any] | None | type[Any] | _SupportsDType[dtype[Any]] | str | tuple[Any, int] | tuple[Any, SupportsIndex | Sequence[SupportsIndex]] | list[Any] | _DTypeDict | tuple[Any, Any] = None)[source]#
A quadratic model.
- QM[source]#
alias of
QuadraticModel
QM Attributes#
Adjacency structure as a nested mapping of mappings. |
|
Data-type of the model's biases. |
|
Linear biases as a mapping. |
|
Number of interactions in the model. |
|
Number of variables in the model. |
|
Constant energy offset associated with the model. |
|
Quadratic biases as a flat mapping. |
|
A 2-tuple of |
|
The variables of the quadratic model. |
QM Methods#
|
Add a linear bias to an existing variable or a new variable with specified vartype. |
|
Add variables and linear biases to a quadratic model. |
|
Add quadratic bias to a pair of variables. |
|
Add quadratic biases. |
|
Add a variable to the quadratic model. |
|
Add multiple variables of the same type to the quadratic model. |
|
Add variables from another model. |
|
Change the variable type of the given variable, updating the biases. |
|
Remove the offset and all variables and interactions from the model. |
|
Return a copy. |
|
Return the degree of specified variable. |
|
Determine the energies of the given samples-like. |
|
Determine the energy of the given sample. |
|
Remove a variable by fixing its value. |
|
Fix the value of the variables and remove them. |
Flip the specified binary-valued variable. |
|
|
Construct a quadratic model from a binary quadratic model. |
|
Construct a quadratic model from a file-like object. |
|
Get the linear bias of the specified variable. |
|
Get the quadratic bias of the specified pair of variables. |
|
Test for near equality to all biases of a given quadratic model. |
|
Return True if the given model has the same variables, vartypes and biases. |
Return True if the model has no quadratic interactions. |
|
Iterate over the variables and their biases. |
|
Iterate over the neighbors and quadratic biases of a variable. |
|
Iterate over the interactions of a quadratic model. |
|
|
Return the lower bound on the specified variable. |
|
Get the total bytes consumed by the biases, vartype info, bounds, and indices. |
|
Set the lower bound for a variable. |
|
Set the upper bound for a variable. |
|
Apply function of two arguments cumulatively to the linear biases. |
|
Apply function of two arguments cumulatively to the quadratic biases associated with a single variable. |
|
Apply function of two arguments cumulatively to the quadratic biases. |
|
Relabel the variables according to the given mapping. |
|
Relabel the variables as [0, n) and return the mapping. |
|
Remove the interaction between u and v. |
|
Remove the specified variable from the quadratic model. |
|
Scale the biases by the given number. |
|
Set the linear bias of a variable in the quadratic model. |
|
Set the quadratic bias between a pair of variables in the quadratic model. |
|
Convert any spin-valued variables to binary-valued. |
|
Serialize the QM to a file-like object. |
|
Return a string representing the model as a polynomial. |
|
Update the quadratic model from another quadratic model. |
|
Return the upper bound on the specified variable. |
|
The variable type of the given variable. |
Additional Models#
Discrete Quadratic Models#
For an introduction to DQMs, see Concepts: Discrete Quadratic Models.
DQM Class#
- class DiscreteQuadraticModel[source]#
Encodes a discrete quadratic model.
A discrete quadratic model is a polynomial over discrete variables with terms all of degree two or less.
Examples
This example constructs a map coloring with Canadian provinces. To solve the problem we penalize adjacent provinces having the same color.
>>> provinces = ["AB", "BC", "ON", "MB", "NB", "NL", "NS", "NT", "NU", ... "PE", "QC", "SK", "YT"] >>> borders = [("BC", "AB"), ("BC", "NT"), ("BC", "YT"), ("AB", "SK"), ... ("AB", "NT"), ("SK", "MB"), ("SK", "NT"), ("MB", "ON"), ... ("MB", "NU"), ("ON", "QC"), ("QC", "NB"), ("QC", "NL"), ... ("NB", "NS"), ("YT", "NT"), ("NT", "NU")] >>> colors = [0, 1, 2, 3] ... >>> dqm = dimod.DiscreteQuadraticModel() >>> for p in provinces: ... _ = dqm.add_variable(4, label=p) >>> for p0, p1 in borders: ... dqm.set_quadratic(p0, p1, {(c, c): 1 for c in colors})
The next examples show how to view and manipulate the model biases.
>>> dqm = dimod.DiscreteQuadraticModel()
Add the variables to the model
>>> u = dqm.add_variable(5) # unlabeled variable with 5 cases >>> v = dqm.add_variable(3, label='v') # labeled variable with 3 cases
The linear biases default to 0. They can be read by case or by batch.
>>> dqm.get_linear_case(u, 1) 0.0 >>> dqm.get_linear(u) array([0., 0., 0., 0., 0.]) >>> dqm.get_linear(v) array([0., 0., 0.])
The linear biases can be overwritten either by case or in a batch.
>>> dqm.set_linear_case(u, 3, 17) >>> dqm.get_linear(u) array([ 0., 0., 0., 17., 0.]) >>> dqm.set_linear(v, [0, -1, 3]) >>> dqm.get_linear(v) array([ 0., -1., 3.])
The quadratic biases can also be manipulated sparsely or densely.
>>> dqm.set_quadratic(u, v, {(0, 2): 1.5}) >>> dqm.get_quadratic(u, v) {(0, 2): 1.5} >>> dqm.get_quadratic(u, v, array=True) # as a NumPy array array([[0. , 0. , 1.5], [0. , 0. , 0. ], [0. , 0. , 0. ], [0. , 0. , 0. ], [0. , 0. , 0. ]]) >>> dqm.set_quadratic_case(u, 2, v, 1, -3) >>> dqm.get_quadratic(u, v, array=True) array([[ 0. , 0. , 1.5], [ 0. , 0. , 0. ], [ 0. , -3. , 0. ], [ 0. , 0. , 0. ], [ 0. , 0. , 0. ]]) >>> dqm.get_quadratic(u, v) {(0, 2): 1.5, (2, 1): -3.0}
DQM Attributes#
The adjacency structure of the variables. |
|
|
DQM Methods#
|
Add a linear constraint as a quadratic objective. |
|
Add a discrete variable. |
|
Return a copy of the discrete quadratic model. |
|
|
|
|
|
Construct a DQM from a file-like object. |
|
Construct a DQM from five numpy vectors. |
|
The cases of variable v as a sequence |
|
The linear biases associated with variable v. |
|
The linear bias associated with case case of variable v. |
|
The biases associated with the interaction between u and v. |
|
The bias associated with the interaction between two cases of u and v. |
|
If v is provided, the number of cases associated with v, otherwise the total number of cases in the DQM. |
The total number of case interactions. |
|
The total number of variable interactions |
|
The number of variables in the discrete quadratic model. |
|
|
|
|
Relabel the variables of the DQM to integers. |
|
Set the linear biases associated with v. |
|
The linear bias associated with case case of variable v. |
|
Set biases associated with the interaction between u and v. |
|
Set the bias associated with the interaction between two cases of u and v. |
|
Convert the DQM to a file-like object. |
|
Convert the DQM to five numpy vectors and the labels. |
CaseLabelDQM Class#
- class CaseLabelDQM(*args, **kwargs)[source]#
DiscreteQuadraticModel that allows assignment of arbitrary labels to cases of discrete variables.
Two types of case labels are offered:
Unique case labels are unique among variable labels and themselves.
Shared case labels are unique among cases for a variable, but may be reused among variables.
Examples
Declare variables with unique case labels.
>>> dqm = dimod.CaseLabelDQM() >>> dqm.add_variable({'x1', 'x2', 'x3'}) 0 >>> dqm.add_variable(['y1', 'y2', 'y3']) 1
Set linear biases
>>> dqm.set_linear('x1', 0.5) >>> dqm.set_linear('y1', 1.5)
Set quadratic biases
>>> dqm.set_quadratic('x2', 'y3', -0.5) >>> dqm.set_quadratic('x3', 'y2', -1.5)
Declare variables with shared case labels.
>>> u = dqm.add_variable({'red', 'green', 'blue'}, shared_labels=True) >>> v = dqm.add_variable(['blue', 'yellow', 'brown'], label='v', shared_labels=True)
Set linear biases
>>> dqm.set_linear_case(u, 'red', 1) >>> dqm.set_linear_case(v, 'yellow', 2)
Set quadratic biases
>>> dqm.set_quadratic_case(u, 'green', v, 'blue', -0.5) >>> dqm.set_quadratic_case(u, 'blue', v, 'brown', -0.5)
CaseLabelDQM Methods#
|
Add a discrete variable to the model. |
|
The cases of variable v. |
|
The linear biases associated with variable v. |
|
The linear bias associated with case case of variable v. |
|
The biases associated with the interaction between u and v. |
|
The bias associated with the interaction between two cases of u and v. |
|
Transform a sample to reflect case labels. |
|
Set the linear biases associated with v. |
|
The linear bias associated with case case of variable v. |
|
Set biases associated with the interaction between u and v. |
|
Set the bias associated with the interaction between two cases of variables u and v. |
Higher-Order Models#
Sometimes it is nice to work with problems that are not restricted to quadratic interactions.
Binary Polynomial Class#
- class BinaryPolynomial(poly, vartype)[source]#
A polynomial with binary variables and real-valued coefficients.
- Parameters:
poly (mapping/iterable) – Polynomial as a mapping of form {term: bias, …}, where term is a collection of variables and bias the associated bias. It can also be an iterable of 2-tuples (term, bias).
vartype (
Vartype
/str/set) –Variable type for the binary quadratic model. Accepted input values:
Examples
Binary polynomials can be constructed in many different ways. The following are all equivalent
>>> poly = dimod.BinaryPolynomial({'a': -1, 'ab': 1}, dimod.SPIN) >>> poly = dimod.BinaryPolynomial({('a',): -1, ('a', 'b'): 1}, dimod.SPIN) >>> poly = dimod.BinaryPolynomial([('a', -1), (('a', 'b'), 1)], dimod.SPIN) >>> poly = dimod.BinaryPolynomial({'a': -1, 'ab': .5, 'ba': .5}, dimod.SPIN)
Binary polynomials act a mutable mappings but the terms can be accessed with any sequence.
>>> poly = dimod.BinaryPolynomial({'a': -1, 'ab': 1}, dimod.BINARY) >>> poly['ab'] 1 >>> poly['ba'] 1 >>> poly[{'a', 'b'}] 1 >>> poly[('a', 'b')] 1 >>> poly['cd'] = 4 >>> poly['dc'] 4
Binary Polynomial Methods#
Create a shallow copy. |
|
|
Energies of the given samples. |
|
Energy of the given sample. |
|
Construct a binary polynomial from a higher-order Ising problem. |
|
Construct a binary polynomial from a higher-order unconstrained binary optimization (HUBO) problem. |
|
Normalize biases of the binary polynomial to fit the provided range(s). |
|
Relabel variables of a binary polynomial as specified by mapping. |
|
Multiply the polynomial by the given scalar. |
|
Return a binary polynomial over {0, 1} variables. |
Construct a higher-order Ising problem from a binary polynomial. |
|
Construct a higher-order unconstrained binary optimization (HUBO) problem from a binary polynomial. |
|
|
Return a binary polynomial over {-1, +1} variables. |