10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

276 CHAPTER 4. SEMIDEFINITE PROGRAMMING<br />

4.3.3.0.2 Exercise. Rank reduction of maximal complementarity.<br />

Apply rank reduction Procedure 4.3.1.0.1 to the maximal complementarity<br />

example (4.1.1.4.1). Demonstrate a rank-1 solution; which can certainly be<br />

found (by Barvinok’s Proposition 2.9.3.0.1) because there is only one equality<br />

constraint.<br />

<br />

4.3.4 thoughts regarding rank reduction<br />

Because the rank reduction procedure is guaranteed only to produce another<br />

optimal solution conforming to Barvinok’s upper bound (245), the Procedure<br />

will not necessarily produce solutions of arbitrarily low rank; but if they exist,<br />

the Procedure can. Arbitrariness of search direction when matrix Z i becomes<br />

indefinite, mentioned on page 272, and the enormity of choices for Z i (646)<br />

are liabilities for this algorithm.<br />

4.3.4.1 Inequality constraints<br />

The question naturally arises: what to do when a semidefinite program (not<br />

in prototypical form (584)) 4.20 has linear inequality constraints of the form<br />

α T i svec X ≼ β i , i = 1... k (667)<br />

where {β i } are given scalars and {α i } are given vectors. One expedient way<br />

to handle this circumstance is to convert the inequality constraints to equality<br />

constraints by introducing a slack variable γ ; id est,<br />

α T i svec X + γ i = β i , i = 1... k , γ ≽ 0 (668)<br />

thereby converting the problem to prototypical form.<br />

4.20 Contemporary numerical packages for solving semidefinite programs can solve a range<br />

of problems wider than prototype (584). Generally, they do so by transforming a given<br />

problem into prototypical form by introducing new constraints and variables. [10] [336]<br />

We are momentarily considering a departure from the primal prototype that augments the<br />

constraint set with linear inequalities.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!