Chapter 3 Quadratic Programming
Chapter 3 Quadratic Programming
Chapter 3 Quadratic Programming
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Optimization I; <strong>Chapter</strong> 3 59<br />
3.3.3 Null-space approach<br />
The null-space approach does not require regularity of B and thus has a wider<br />
range of applicability than the range-space approach.<br />
We assume that A ∈ lR m×n has full row rank m and that Z T BZ is positive<br />
definite, where Z ∈ lR n×(n−m) is the matrix whose columns span Ker A which<br />
can be computed by QR factorization (cf. <strong>Chapter</strong> 2.4).<br />
We partition the vector x ∗ according to<br />
x ∗ = Y w Y + Zw Z , (3.7)<br />
where Y ∈ lR n×m is such that [Y Z] ∈ lR n×n is nonsingular and w Y ∈ lR m , w Z ∈<br />
lR n−m .<br />
Substituting (3.7) into the second equation of (3.3), we obtain<br />
Ax ∗ = AY w Y + }{{} AZ w Z = c , (3.8)<br />
= 0<br />
i.e., Y w Y is a particular solution of Ax = c.<br />
Since A ∈ lR m×n has rank m and [Y Z] ∈ lR n×n is nonsingular, the product<br />
matrix A[Y Z] = [AY 0] ∈ lR m×m is nonsingular. Hence, w Y is well determined<br />
by (3.8).<br />
On the other hand, substituting (3.7) into the first equation of (3.3), we get<br />
BY w Y + BZw Z + A T λ ∗ = b .<br />
Multiplying by Z T and observing Z T A T = (AZ) T = 0 yields<br />
Z T BZw Z = Z T b − Z T BY w Y . (3.9)<br />
The reduced KKT system (3.9) can be solved by a Cholesky factorization of the<br />
reduced Hessian Z T BZ ∈ lR (n−m)×(n−m) . Once w Y and w Z have been computed<br />
as the solutions of (3.8) and (3.9), x ∗ is obtained according to (3.7).<br />
Finally, the Lagrange multiplier turns out to be the solution of the linear system<br />
arising from the multiplication of the first equation in (3.7) by Y T :<br />
(AY ) T λ ∗ = Y T b − Y T Bx ∗ . (3.10)<br />
3.4 Iterative solution of the KKT system<br />
If the direct solution of the KKT system (3.3) is computationally too costly,<br />
the alternative is to use an iterative method. An iterative solver can be applied<br />
either to the entire KKT system or, as in the range-space and null-space<br />
approach, use the special structure of the KKT matrix.