The OPTQP Procedure

Overview: OPTQP Procedure

The OPTQP procedure solves quadratic programs—problems with quadratic objective function and a collection of linear constraints, including lower or upper bounds (or both) on the decision variables.

Mathematically, a quadratic programming (QP) problem can be stated as follows:

StartLayout 1st Row 1st Column min 2nd Column one-half bold x Superscript upper T Baseline bold upper Q bold x plus bold c Superscript upper T Baseline bold x 2nd Row 1st Column subject to 2nd Column bold upper A bold x StartSet greater-than-or-equal-to comma equals comma less-than-or-equal-to EndSet bold b 3rd Row 1st Column Blank 2nd Column bold l less-than-or-equal-to bold x less-than-or-equal-to bold u EndLayout

where

bold upper Q element-of double-struck upper R Superscript n times n is the quadratic (also known as Hessian) matrix
bold upper A element-of double-struck upper R Superscript m times n is the constraints matrix
bold x element-of double-struck upper R Superscript n is the vector of decision variables
bold c element-of double-struck upper R Superscript n is the vector of linear objective function coefficients
bold b element-of double-struck upper R Superscript m is the vector of constraints right-hand sides (RHS)
bold l element-of double-struck upper R Superscript n is the vector of lower bounds on the decision variables
bold u element-of double-struck upper R Superscript n is the vector of upper bounds on the decision variables

The quadratic matrix bold upper Q is assumed to be symmetric; that is,

q Subscript i j Baseline equals q Subscript j i Baseline comma for-all i comma j equals 1 comma ellipsis comma n

Indeed, it is easy to show that even if bold upper Q not-equals bold upper Q Superscript normal upper T, the simple modification

bold upper Q overTilde equals one-half left-parenthesis bold upper Q plus bold upper Q Superscript upper T Baseline right-parenthesis

produces an equivalent formulation hence symmetry is assumed. When you specify a quadratic matrix, it suffices to list only lower triangular coefficients.

In addition to being symmetric, bold upper Q is also required to be positive semidefinite for minimization type of models:

bold x Superscript upper T Baseline bold upper Q bold x greater-than-or-equal-to 0 comma for-all bold x element-of double-struck upper R Superscript n

bold upper Q is required to be negative semidefinite for maximization type of models. Convexity can come as a result of a matrix-matrix multiplication

bold upper Q equals bold upper L bold upper L Superscript upper T

or as a consequence of physical laws, and so on. See Figure 1 for examples of convex, concave, and nonconvex objective functions.

The order of constraints is insignificant. Some or all components of bold l or bold u (lower and upper bounds, respectively) can be omitted.

Figure 1: Examples of Convex, Concave, and Nonconvex Objective Functions

Examples of Convex, Concave, and Nonconvex Objective Functions


Last updated: September 09, 2026