Constraint (mathematics)

In mathematics, a constraint is a condition that a solution to an optimization problem must satisfy. There are two types of constraints: equality constraints and inequality constraints. The set of solutions that satisfy all constraints is called the feasible set.

Example

The following is a simple optimization problem:

$\min f(\bold x) = x_1^2+x_2^4$

subject to

$x_1 \ge 1$

and

$x_2 = 1, \,$

where $\bold x$ denotes the vector (x₁, x₂).

In this example, the first line defines the function to be minimized (called the objective or cost function). The second and third lines define two constraints, the first of which is an inequality constraint and the second is an equality constraint. These two constraints define the feasible set of candidate solutions.

Without the constraints, the solution would be $(0,0)\,$ where $f(\bold x)$ has the lowest value. But this solution does not satisfy the constraints. The solution of the constrained optimization problem stated above but $\bold x = (1,1)$, which is the point with the smallest value of $f(\bold x)$ that satisfies the two constraints.

Terminology

• If a constraint is an equality at a given point, the constraint is said to be binding, as the point cannot be varied in the direction of the constraint.
• If a constraint is an inequality at a given point, the constraint is said to be non-binding, as the point can be varied in the direction of the constraint.
• If a constraint is not satisfied, the point is said to be infeasible.

See also

• Constraint satisfaction problem
• Karush–Kuhn–Tucker conditions
• Lagrange multipliers
• Level set
• Linear programming
• Nonlinear programming

External links

• Nonlinear programming FAQ
• Mathematical Programming Glossary