Problems¶
The Problem
class is the entry point to
specifying and solving optimization problems. Each
cvxpy.problems.problem.Problem
instance encapsulates an optimization
problem, i.e., an objective and a set of constraints, and the
solve()
method either solves the problem
encoded by the instance, returning the optimal value and setting variables
values to optimal points, or reports that the problem was in fact infeasible or
unbounded. You can construct a problem, solve it, and inspect both its value
and the values of its variables like so:
problem = Problem(Minimize(expression), constraints)
problem.solve()
if problem.status not in ["infeasible", "unbounded"]:
# Otherwise, problem.value is inf or inf, respectively.
print("Optimal value: %s" % problem.value)
for variable in problem.variables():
print("Variable %s: value %s" % (variable.name(), variable.value))
Problems are immutable, except through the specification of
Parameter
values. This means
that you cannot modify a problem’s objective or constraints after you have
created it. If you find yourself wanting to add a constraint to an existing
problem, you should instead create a new problem using, for example, the
following idiom:
problem = Problem(Minimize(expression), constraints)
problem = Problem(problem.objective, problem.constraints + new_constraints)
Most users need not know anything about the
Problem
class except how to instantiate it,
how to solve problem instances (solve()
),
and how to query the solver results
(status
and
value
).
Information about the size of a problem instance and statistics about the most
recent solve invocation are captured by the
SizeMetrics
and
SolverStats
classes, respectively, and can be
accessed via the size_metrics()
and
solver_stats()
properties of the
Problem
class.
Minimize¶
Maximize¶
SizeMetrics¶

class
cvxpy.problems.problem.
SizeMetrics
(problem)[source]¶ Bases:
object
Reports various metrics regarding the problem.

num_scalar_variables
¶ The number of scalar variables in the problem.
 Type
integer

num_scalar_data
¶ The number of scalar constants and parameters in the problem. The number of constants used across all matrices, vectors, in the problem. Some constants are not apparent when the problem is constructed: for example, The sum_squares expression is a wrapper for a quad_over_lin expression with a constant 1 in the denominator.
 Type
integer

num_scalar_eq_constr
¶ The number of scalar equality constraints in the problem.
 Type
integer

num_scalar_leq_constr
¶ The number of scalar inequality constraints in the problem.
 Type
integer

max_data_dimension
¶ The longest dimension of any data block constraint or parameter.
 Type
integer

max_big_small_squared
¶ The maximum value of (big)(small)^2 over all data blocks of the problem, where (big) is the larger dimension and (small) is the smaller dimension for each data block.
 Type
integer

SolverStats¶

class
cvxpy.problems.problem.
SolverStats
(results_dict, solver_name)[source]¶ Bases:
object
Reports some of the miscellaneous information that is returned by the solver after solving but that is not captured directly by the Problem instance.

solver_name
¶ The name of the solver.
 Type
str

solve_time
¶ The time (in seconds) it took for the solver to solve the problem.
 Type
double

setup_time
¶ The time (in seconds) it took for the solver to setup the problem.
 Type
double

num_iters
¶ The number of iterations the solver had to go through to find a solution.
 Type
int

extra_stats
¶ Extra statistics specific to the solver; these statistics are typically returned directly from the solver, without modification by CVXPY. This object may be a dict, or a custom Python object.
 Type
object

Problem¶

class
cvxpy.problems.problem.
Problem
(objective, constraints=None)[source]¶ Bases:
cvxpy.utilities.canonical.Canonical
A convex optimization problem.
Problems are immutable, save for modification through the specification of
Parameter
 Parameters
objective (
Minimize
orMaximize
) – The problem’s objective.constraints (
list
) – The constraints on the problem variables.

atoms
()[source]¶ Accessor method for atoms.
 Returns
A list of the atom types in the problem; note that this list contains classes, not instances.
 Return type
list of
Atom

backward
()[source]¶ Compute the gradient of a solution with respect to Parameters.
This method differentiates through the solution map of the problem, obtaining the gradient of a solution with respect to the Parameters. In other words, it calculates the sensitivities of the Parameters with respect to perturbations in the optimal Variable values. This can be useful for integrating CVXPY into automatic differentation toolkits.
backward()
populates thegradient
attribute of each Parameter in the problem as a sideeffect. It can only be called after callingsolve()
withrequires_grad=True
.Below is a simple example:
import cvxpy as cp import numpy as np p = cp.Parameter() x = cp.Variable() quadratic = cp.square(x  2 * p) problem = cp.Problem(cp.Minimize(quadratic), [x >= 0]) p.value = 3.0 problem.solve(requires_grad=True, eps=1e10) # backward() populates the gradient attribute of the parameters problem.backward() # Because x* = 2 * p, dx*/dp = 2 np.testing.assert_allclose(p.gradient, 2.0)
In the above example, the gradient could easily be computed by hand. The
backward()
is useful because for almost all problems, the gradient cannot be computed analytically.This method can be used to differentiate through any DCP or DGP problem, as long as the problem is DPP compliant (i.e.,
problem.is_dcp(dpp=True)
orproblem.is_dgp(dpp=True)
evaluates toTrue
).This method uses the chain rule to evaluate the gradients of a scalarvalued function of the Variables with respect to the Parameters. For example, let x be a variable and p a Parameter; x and p might be scalars, vectors, or matrices. Let f be a scalarvalued function, with z = f(x). Then this method computes dz/dp = (dz/dx) (dx/p). dz/dx is chosen as the allones vector by default, corresponding to choosing f to be the sum function. You can specify a custom value for dz/dx by setting the
gradient
attribute on your variables. For example,import cvxpy as cp import numpy as np b = cp.Parameter() x = cp.Variable() quadratic = cp.square(x  2 * b) problem = cp.Problem(cp.Minimize(quadratic), [x >= 0]) b.value = 3. problem.solve(requires_grad=True, eps=1e10) x.gradient = 4. problem.backward() # dz/dp = dz/dx dx/dp = 4. * 2. == 8. np.testing.assert_allclose(b.gradient, 8.)
The
gradient
attribute on a variable can also be interpreted as a perturbation to its optimal value. Raises
ValueError – if solve was not called with
requires_grad=True
SolverError – if the problem is infeasible or unbounded

constants
()[source]¶ Accessor method for constants.
 Returns
A list of the constants in the problem.
 Return type
list of
Constant

property
constraints
¶ A shallow copy of the problem’s constraints.
Note that constraints cannot be reassigned, appended to, or otherwise modified after creation, except through parameters.

derivative
()[source]¶ Apply the derivative of the solution map to perturbations in the Parameters
This method applies the derivative of the solution map to perturbations in the Parameters to obtain perturbations in the optimal values of the Variables. In other words, it tells you how the optimal values of the Variables would be changed by small changes to the Parameters.
You can specify perturbations in a Parameter by setting its
delta
attribute (if unspecified, the perturbation defaults to 0).This method populates the
delta
attribute of the Variables as a sideeffect.This method can only be called after calling
solve()
withrequires_grad=True
. It is compatible with both DCP and DGP problems (that are also DPPcompliant).Below is a simple example:
import cvxpy as cp import numpy as np p = cp.Parameter() x = cp.Variable() quadratic = cp.square(x  2 * p) problem = cp.Problem(cp.Minimize(quadratic), [x >= 0]) p.value = 3.0 problem.solve(requires_grad=True, eps=1e10) # derivative() populates the delta attribute of the variables p.delta = 1e3 problem.derivative() # Because x* = 2 * p, dx*/dp = 2, so (dx*/dp)(p.delta) == 2e3 np.testing.assert_allclose(x.delta, 2e3)
 Raises
ValueError – if solve was not called with
requires_grad=True
SolverError – if the problem is infeasible or unbounded

get_problem_data
(solver, gp=False, enforce_dpp=False)[source]¶ Returns the problem data used in the call to the solver.
When a problem is solved, CVXPY creates a chain of reductions enclosed in a
SolvingChain
, and compiles it to some lowlevel representation that is compatible with the targeted solver. This method returns that lowlevel representation.For some solving chains, this lowlevel representation is a dictionary that contains exactly those arguments that were supplied to the solver; however, for other solving chains, the data is an intermediate representation that is compiled even further by the solver interfaces.
A solution to the equivalent lowlevel problem can be obtained via the data by invoking the solve_via_data method of the returned solving chain, a thin wrapper around the code external to CVXPY that further processes and solves the problem. Invoke the unpack_results method to recover a solution to the original problem.
For example:
objective = ... constraints = ... problem = cp.Problem(objective, constraints) data, chain, inverse_data = problem.get_problem_data(cp.SCS) # calls SCS using `data` soln = chain.solve_via_data(problem, data) # unpacks the solution returned by SCS into `problem` problem.unpack_results(soln, chain, inverse_data)
Alternatively, the data dictionary returned by this method contains enough information to bypass CVXPY and call the solver directly.
For example:
problem = cp.Problem(objective, constraints) data, _, _ = problem.get_problem_data(cp.SCS) import scs probdata = { 'A': data['A'], 'b': data['b'], 'c': data['c'], } cone_dims = data['dims'] cones = { "f": cone_dims.zero, "l": cone_dims.nonpos, "q": cone_dims.soc, "ep": cone_dims.exp, "s": cone_dims.psd, } soln = scs.solve(data, cones)
The structure of the data dict that CVXPY returns depends on the solver. For details, consult the solver interfaces in cvxpy/reductions/solvers.
 Parameters
solver (
str
) – The solver the problem data is for.gp (
bool
, optional) – If True, then parses the problem as a disciplined geometric program instead of a disciplined convex program.enforce_dpp (
bool
, optional) – When True, a DPPError will be thrown when trying to parse a nonDPP problem (instead of just a warning). Defaults to False.
 Returns
dict or object – lowest level representation of problem
SolvingChain – The solving chain that created the data.
list – The inverse data generated by the chain.

is_dcp
(dpp=False)[source]¶ Does the problem satisfy DCP rules?
 Parameters
dpp (
bool
, optional) –If True, enforce the disciplined parametrized programming (DPP) ruleset; only relevant when the problem involves Parameters. DPP is a mild restriction of DCP. When a problem involving Parameters is DPP, subsequent solves can be much faster than the first one. For more information, consult the documentation at
https://www.cvxpy.org/tutorial/advanced/index.html#disciplinedparametrizedprogramming
 Returns
True if the Expression is DCP, False otherwise.
 Return type
bool

is_dgp
(dpp=False)[source]¶ Does the problem satisfy DGP rules?
 Parameters
dpp (
bool
, optional) –If True, enforce the disciplined parametrized programming (DPP) ruleset; only relevant when the problem involves Parameters. DPP is a mild restriction of DGP. When a problem involving Parameters is DPP, subsequent solves can be much faster than the first one. For more information, consult the documentation at
https://www.cvxpy.org/tutorial/advanced/index.html#disciplinedparametrizedprogramming
 Returns
True if the Expression is DGP, False otherwise.
 Return type
bool

is_dpp
(context='dcp')[source]¶ Does the problem satisfy DPP rules?
DPP is a mild restriction of DGP. When a problem involving Parameters is DPP, subsequent solves can be much faster than the first one. For more information, consult the documentation at
https://www.cvxpy.org/tutorial/advanced/index.html#disciplinedparametrizedprogramming
 Parameters
context (
str
) – Whether to check DPPcompliance for DCP or DGP;context
should be either'dcp'
or'dgp'
. Callingproblem.is_dpp('dcp')
is equivalent toproblem.is_dcp(dpp=True)
, and problem.is_dpp(‘dgp’)` is equivalent to problem.is_dgp(dpp=True). Returns
Whether the problem satisfies the DPP rules.
 Return type
bool

property
objective
¶ The problem’s objective.
Note that the objective cannot be reassigned after creation, and modifying the objective after creation will result in undefined behavior.

parameters
()[source]¶ Accessor method for parameters.
 Returns
A list of the parameters in the problem.
 Return type
list of
Parameter

classmethod
register_solve
(name, func)[source]¶ Adds a solve method to the Problem class.
 Parameters
name (
str
) – The keyword for the method.func (
function
) – The function that executes the solve method. This function must take as its first argument the problem instance to solve.

property
size_metrics
¶ Information about the problem’s size.
 Type

solve
(*args, **kwargs)[source]¶ Solves the problem using the specified method.
Populates the
status
andvalue
attributes on the problem object as a sideeffect. Parameters
solver (
str
, optional) – The solver to use. For example, ‘ECOS’, ‘SCS’, or ‘OSQP’.verbose (
bool
, optional) – Overrides the default of hiding solver output.gp (
bool
, optional) – If True, parses the problem as a disciplined geometric program instead of a disciplined convex program.qcp (
bool
, optional) – If True, parses the problem as a disciplined quasiconvex program instead of a disciplined convex program.requires_grad (
bool
, optional) –Makes it possible to compute gradients of a solution with respect to Parameters by calling
problem.backward()
after solving, or to compute perturbations to the variables given perturbations to Parameters by callingproblem.derivative()
.Gradients are only supported for DCP and DGP problems, not quasiconvex problems. When computing gradients (i.e., when this argument is True), the problem must satisfy the DPP rules.
enforce_dpp (
bool
, optional) – When True, a DPPError will be thrown when trying to solve a nonDPP problem (instead of just a warning). Only relevant for problems involving Parameters. Defaults to False.method (
function
, optional) – A custom solve method to use.kwargs (
keywords
, optional) – Additional solver specific arguments. See Notes below.
Notes
CVXPY interfaces with a wide range of solvers; the algorithms used by these solvers have arguments relating to stopping criteria, and strategies to improve solution quality.
There is no one choice of arguments which is perfect for every problem. If you are not getting satisfactory results from a solver, you can try changing its arguments. The exact way this is done depends on the specific solver. Here are some examples:
prob.solve(solver=’ECOS’, abstol=1e6) prob.solve(solver=’OSQP’, max_iter=10000). mydict = {“MSK_DPAR_INTPNT_CO_TOL_NEAR_REL”: 10} prob.solve(solver=’MOSEK’, mosek_params=mydict).
You should refer to CVXPY’s web documentation for details on how to pass solver solver arguments, available at
https://www.cvxpy.org/tutorial/advanced/index.html#settingsolveroptions
 Returns
The optimal value for the problem, or a string indicating why the problem could not be solved.
 Return type
float
 Raises
cvxpy.error.DCPError – Raised if the problem is not DCP and gp is False.
cvxpy.error.DGPError – Raised if the problem is not DGP and gp is True.
cvxpy.error.SolverError – Raised if no suitable solver exists among the installed solvers, or if an unanticipated error is encountered.

property
solver_stats
¶ Information returned by the solver.
 Type

property
status
¶ The status from the last time the problem was solved; one of optimal, infeasible, or unbounded (with or without suffix inaccurate).
 Type
str

unpack_results
(solution, chain, inverse_data)[source]¶ Updates the problem state given the solver results.
Updates problem.status, problem.value and value of primal and dual variables.
 Parameters
solution (
object
) – The solution returned by applying the chain to the problem and invoking the solver on the resulting data.chain (
SolvingChain
) – A solving chain that was used to solve the problem.inverse_data (
list
) – The inverse data returned by applying the chain to the problem.
 Raises
cvxpy.error.SolverError – If the solver failed

property
value
¶ The value from the last time the problem was solved (or None if not solved).
 Type
float