39
Introduction Solving SDP Semidefinite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc. prof. Janez Povh, Ph.D. 1 1 UNM - Faculty of information studies Edinburgh, 16. September 2014 Janez Povh SDP, CO and RAG

Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

  • Upload
    others

  • View
    13

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Semidefinite Programming, CombinatorialOptimization and Real Algebraic Geometry

assoc. prof. Janez Povh, Ph.D.1

1UNM - Faculty of information studies

Edinburgh, 16. September 2014

Janez Povh SDP, CO and RAG

Page 2: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Outline

IntroductionDefinition of SDPDual theory

Solving SDPInterior point methods (IPM)Boundary point method

Janez Povh SDP, CO and RAG

Page 3: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Some notation

I I - unit matrix,

I X ∈ Rm×n ⇒ x = vec(X ) ∈ Rmn

I 〈x , y〉 = xT y =∑

i xi yi

I 〈A, B〉 = trace(AT B) =∑

i ,j aij bij

Janez Povh SDP, CO and RAG

Page 4: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Some notation

I Symmetric matrices Sn := {X ∈ Rn×n : X T = X}I Cone of positive semidefinite matricesS+

n := {X ∈ Sn : uT Xu ≥ 0,∀u ∈ Rn} - closed convexpointed cone

I Positive definite matricesS++

n := {X ∈ Sn : uT Xu > 0, ∀u ∈ Rn}I The dual cone:

(S+n )∗ = {Y ∈ Sn : 〈Y ,X 〉 ≥ 0, ∀X ∈ S+

n } = S+n

(Note: infX�0〈X , Y 〉 = 0 ⇐⇒ Y � 0)

I For X ∈ S+n we use X � 0.

Janez Povh SDP, CO and RAG

Page 5: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Some notation

I Symmetric matrices Sn := {X ∈ Rn×n : X T = X}I Cone of positive semidefinite matricesS+

n := {X ∈ Sn : uT Xu ≥ 0,∀u ∈ Rn} - closed convexpointed cone

I Positive definite matricesS++

n := {X ∈ Sn : uT Xu > 0, ∀u ∈ Rn}I The dual cone:

(S+n )∗ = {Y ∈ Sn : 〈Y ,X 〉 ≥ 0, ∀X ∈ S+

n } = S+n

(Note: infX�0〈X , Y 〉 = 0 ⇐⇒ Y � 0)

I For X ∈ S+n we use X � 0.

Janez Povh SDP, CO and RAG

Page 6: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Few properties of PSD matrices

I For A ∈ Sn the following are equivalent

I A ∈ S+n ,

I all eigenvalues of A are nonnegative real numbers,I there exist P and D = Diag(d), d ≥ 0, such that A = PDPT ,I det AII ≥ 0 for every main submatrix AII (AII is main

submatrix, if A = [aij ], for i , j ∈ I ⊆ {1, . . . , n}).I BABT ∈ S+

n , for some non-singular B.

Janez Povh SDP, CO and RAG

Page 7: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Few properties of PSD matrices

I For A ∈ Sn the following are equivalent

I A ∈ S+n ,

I all eigenvalues of A are nonnegative real numbers,I there exist P and D = Diag(d), d ≥ 0, such that A = PDPT ,I det AII ≥ 0 for every main submatrix AII (AII is main

submatrix, if A = [aij ], for i , j ∈ I ⊆ {1, . . . , n}).I BABT ∈ S+

n , for some non-singular B.

Janez Povh SDP, CO and RAG

Page 8: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Few properties of PSD matrices

I For X ,Y ∈ S+n : 〈X , Y 〉 ≥ 0 and 〈X , Y 〉 = 0 ⇐⇒ XY = 0.

I Schur’s complement: if A ∈ S++n then[

A BB t C

]� 0 ⇐⇒ C − B tA−1B � 0.

Janez Povh SDP, CO and RAG

Page 9: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Few properties of PSD matrices

I For X ,Y ∈ S+n : 〈X , Y 〉 ≥ 0 and 〈X , Y 〉 = 0 ⇐⇒ XY = 0.

I Schur’s complement: if A ∈ S++n then[

A BB t C

]� 0 ⇐⇒ C − B tA−1B � 0.

Janez Povh SDP, CO and RAG

Page 10: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Primal and the dual SDP

I Primal semidefinite programmingproblem (PSDP)

inf 〈C ,X 〉

s. t. 〈Ai , X 〉 = bi , ∀i ,X ∈ S+

n

I Dual semidefinite programmingproblem (DSDP)

sup bT y

s. t.∑

i yi Ai + Z = CZ ∈ S+

n

I PSDP and DSDP are dual of each other.

Janez Povh SDP, CO and RAG

Page 11: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Primal and the dual SDP

I Primal semidefinite programmingproblem (PSDP)

inf 〈C ,X 〉

s. t. 〈Ai , X 〉 = bi , ∀i ,X ∈ S+

n

I Dual semidefinite programmingproblem (DSDP)

sup bT y

s. t.∑

i yi Ai + Z = CZ ∈ S+

n

I PSDP and DSDP are dual of each other.

Janez Povh SDP, CO and RAG

Page 12: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Primal and the dual SDP

I Primal semidefinite programmingproblem (PSDP)

inf 〈C ,X 〉

s. t. 〈Ai , X 〉 = bi , ∀i ,X ∈ S+

n

I Dual semidefinite programmingproblem (DSDP)

sup bT y

s. t.∑

i yi Ai + Z = CZ ∈ S+

n

I PSDP and DSDP are dual of each other.

Janez Povh SDP, CO and RAG

Page 13: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 1: linear programming (LP)

Linear programming problem (LP) in standard primal form

min cT x

p. p. Ax = bx ≥ 0

I LP as PSDP: C = Diag(c), X = Diag(x), Ai = Diag(A(i , :))

min 〈C ,X 〉

p. p. 〈Ai , X 〉 = bi , 1 ≤ i ≤ m,X ∈ S+

n

Janez Povh SDP, CO and RAG

Page 14: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 1: linear programming (LP)

Linear programming problem (LP) in standard primal form

min cT x

p. p. Ax = bx ≥ 0

I LP as PSDP: C = Diag(c), X = Diag(x), Ai = Diag(A(i , :))

min 〈C ,X 〉

p. p. 〈Ai , X 〉 = bi , 1 ≤ i ≤ m,X ∈ S+

n

Janez Povh SDP, CO and RAG

Page 15: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 2: convex quadratic programming

Def. Convex quadratic programming problem (CCP):

inf f0(x)p. p. fi (x) ≤ 0, i = 1, . . . ,m. (CCP)

where: fi (x) = x tUix − v ti x − zi , Ui � 0.

I Note

fi (x) ≤ 0⇐⇒ Ai =

[I U

1/2i x

(U1/2i x)t v t

i x + zi

]� 0.

Rem.

Ai =

[I 00 zi

]+x1

[0 U

1/2i (:, 1)

U1/2i (1, :) vi1

]+· · ·+xn

[0 U

1/2i (:, n)

U1/2i (n, :) vin

].

Janez Povh SDP, CO and RAG

Page 16: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 2: convex quadratic programming cnt.

I Finding min of f0(x) is equiv. to finding min. of t withadditional constraint

f0(x) ≤ t.

I (CCP) is equivalent to:

inf tp. p. Diag(A0,A1, . . . ,Am) � 0,

I where

A0 =

[I U

1/20 x

(U1/20 x)t v t

0x + z0 + t

].

Janez Povh SDP, CO and RAG

Page 17: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Weak duality

I Let us define

〈Ai , X 〉 = bi =: A(X ) = b∑i

yi Ai =: AT (y)

OPTP = inf {〈C , X 〉 ; A(X ) = b, X � 0} and

OPTD = sup {bty ; At(y) + Z = C , Z � 0, y ∈ Rm}.

I More definitions sup ∅ = −∞, inf ∅ =∞.Thm.: OPTP ≥ OPTD .

Proof:

I Duality gap:OPTP − OPTD = 〈C , Xopt〉 − bT yopt = 〈Xopt ,Zopt〉.

Janez Povh SDP, CO and RAG

Page 18: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Weak duality

I Let us define

〈Ai , X 〉 = bi =: A(X ) = b∑i

yi Ai =: AT (y)

OPTP = inf {〈C , X 〉 ; A(X ) = b, X � 0} and

OPTD = sup {bty ; At(y) + Z = C , Z � 0, y ∈ Rm}.

I More definitions sup ∅ = −∞, inf ∅ =∞.Thm.: OPTP ≥ OPTD .

Proof:

I Duality gap:OPTP − OPTD = 〈C , Xopt〉 − bT yopt = 〈Xopt ,Zopt〉.

Janez Povh SDP, CO and RAG

Page 19: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Strong duality

Def.: PSDP is strictly feasible, if there exists X ∈ S++n such that

A(X ) = b.DSDP is strictly feasible, if there exists pair(y ,Z ) ∈ Rm × S++

n such that AT (y) + Z = C .

Thm.: Let (DSDP) be strictly feasible. ThenI OPTP = OPTD .I If OPTP <∞ then there exists X � 0 s.t. A(X ) = b and〈C , X 〉 = OPTP .

Janez Povh SDP, CO and RAG

Page 20: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 3: optimum is not attained

min⟨[1 0

0 0

], X⟩

p. p.⟨[0 1

1 0

], X⟩

= 2, X � 0.

I Feasible solutions: X =

[x11 11 x22

]with x22 > 0 in

x11x22 ≥ 1.

I OPTP = 0, but OPTP is not attained.

I Interpretation : DSDP has no strictly feasible solution.

Janez Povh SDP, CO and RAG

Page 21: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Example 4: positive duality gap

min⟨0 0 0

0 0 00 0 1

, X⟩

p. p.⟨1 0 0

0 0 00 0 0

, X⟩

= 0,⟨0 1 0

1 0 00 0 2

, X⟩

= 2, X � 0.

I OPTP = 1, OPTD = 0.

Janez Povh SDP, CO and RAG

Page 22: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Definition of SDPDual theory

Optimal conditions for SDP

Let PSDP and DSDP be strictly feasible.

Thm.: X ∗ in (y∗,Z ∗) are optimal for PSDP and DSDP if and only if:

(prim. dop.) A(X ) = b, X � 0(dual. dop.) AT (y) + Z = C , Z � 0(zero duality gap) XZ = 0 (bT y = 〈C , X 〉)

Janez Povh SDP, CO and RAG

Page 23: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Central path

I AssumptionsI eqs. 〈Ai , X 〉 = bi linearly independantI PSDP and DSDP strictly feasible

I Then the system

(prim. dop.) A(X ) = b, X � 0(dual. dop.) AT (y) + Z = C , Z � 0

XZ = µI µ > 0

has a unique solution (Xµ, yµ,Zµ).

Def.: The central path: {(Xµ, yµ,Zµ) : µ > 0}.

Janez Povh SDP, CO and RAG

Page 24: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Example

I PSDP

min⟨[1 0

0 1

], X⟩

p. p.⟨[0 1

1 0

], X⟩

= 2, X � 0.

I DSDP

max 2y p. p. Z =

[1 −y−y 1

]� 0.

Janez Povh SDP, CO and RAG

Page 25: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

The central path (primal part)

Janez Povh SDP, CO and RAG

Page 26: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

The properties of the central path

Thm: The central path is a smooth curve parameterized by µ.

Thm: The central path always convergelimµ↓0(Xµ, yµ,Zµ) = (X ∗, y∗,Z ∗). Limit point is maximallycomplementary primal dual optimal solution.

Def: Let (X ∗, y∗,Z ∗) be primal dual optimal solution. It ismaximally complementary if rank(X ∗) is maximal among allprimal optimal solutions and rank(Y ∗) is maximal among alldual optimal solutions.

Proof: See e.g. H. Wolkowicz, R. Saigal, L. Vanderberghe (ed.):Handbook of Semidefinite Programming. Kluwer AcademicPublishers, Boston-Dordrecht-London, 2000.

Janez Povh SDP, CO and RAG

Page 27: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Path following IPMs

Idea: We solve approximately the equations defining the centralpath (we follow the central path approximately).

Janez Povh SDP, CO and RAG

Page 28: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Path following IPMs - more precisely

Input: A, b ∈ Rm, C ∈ Sn, ε > 0, σ ∈ (0, 1) and (X0, y0,Z0) strictly feasible forPSDP in DSDP

1. Set k := 0.

2. Repeat

2.1 µk = 〈Xk ,Zk 〉/n2.1 Solve

A(Xk + ∆X ) = b,

AT (yk + ∆y) + Z + ∆Z = C ,

(Xk + ∆X )(Zk + ∆Z) = σµk I .

2.2 ∆X = (∆X + (∆X )T )/2.2.3 (Xk+1, yk+1,Zk+1) := (Xk + ∆X , yk + ∆y ,Zk + ∆Z).2.4 k := k + 1.

3. until 〈Xk+1, Zk+1〉 ≤ ε.

Output: (Xk , yk ,Zk ).

Janez Povh SDP, CO and RAG

Page 29: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Solving the system

I Note that the starting point is strictly feasible.

A(∆X ) = 0,

AT (∆y) + ∆Z = 0,

∆XZk + Xk ∆Z = µk I − Xk Zk ,

∆X = (∆X + (∆X )T )/2,

I FIRSTLY: ∆Z = −AT (∆y)

I THEN: ∆X = (µI − Xk Zk − Xk ∆Z )Z−1k

I FINALLY:A(XkAT (∆y)Z−1

k ) = −A(µZ−1k )+A(Xk ) = b−A(µZ−1

k ).

Janez Povh SDP, CO and RAG

Page 30: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Solving the system: bottlenecks

I On each step we have to

- compute one inverse (Z−1k )

- compose the system matrix M∆y = b. Eachmij = 〈Ai ,XAj Z

−1k 〉 takes O(n3) flops (there are m(m + 1)/2

of them).- Solve the system M∆y = b (takes O(m3) flops)- Compute ∆Z in ∆X (takes O(mn2 + n3) flops)

Janez Povh SDP, CO and RAG

Page 31: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Theoretical guaranty

Thm.: Let (X0, y0,Z0) be strictly feasible starting point with

‖Z 1/2XZ 1/2 − µI‖ ≤ θ〈X ,Z 〉.

The described path following IPM gives ε-optimal solution inat most d

√n/δ log(ε−1 〈X0, S0〉)e iterations, where

I δ =√

n(1− σ).

I (1+θ)12

2(1−θ)32

(θ2 + n(1− σ)2) ≤ σθ.

Janez Povh SDP, CO and RAG

Page 32: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Boundary point method (Povh, Rendl, Wiegele, 2005)

I Relaxed optimality conditions

(primal feas.) A(X ) ≈ b, X � 0(dual feas.) AT (y) + Z ≈ C , Z � 0(zero opt. dual. gap) XZ = 0

I

Janez Povh SDP, CO and RAG

Page 33: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Boundary point method (Povh, Rendl, Wiegele, 2005)

I Relaxed optimality conditions

(primal feas.) A(X ) ≈ b, X � 0(dual feas.) AT (y) + Z ≈ C , Z � 0(zero opt. dual. gap) XZ = 0

I

Janez Povh SDP, CO and RAG

Page 34: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Idea behind the Boundary point method

I Augmented Lagrangian approach to DSDP

inf{bT y : AT y − Z = C ,Z ∈ S+n }

I Replace DSDP by DSDP-L:

inf {bT y +〈X , C−AT (y)+Z 〉+ σ

2‖C−AT (y)+Z‖2 : Z � 0}

Janez Povh SDP, CO and RAG

Page 35: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Idea behind the Boundary point method

I Augmented Lagrangian approach to DSDP

inf{bT y : AT y − Z = C ,Z ∈ S+n }

I Replace DSDP by DSDP-L:

inf {bT y +〈X , C−AT (y)+Z 〉+ σ

2‖C−AT (y)+Z‖2 : Z � 0}

Janez Povh SDP, CO and RAG

Page 36: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

BPM: details

INPUT: A, b,C ∈ Sn.

1. Select σ > 0, X 0 � 0.

2. k = 0.

3. Repeat3.1 Solve DSDP-L approximately to get y k and

Z k � 0.3.2 Update X k+1 := X k + σ(Z k − C +AT (y k ))3.3 k := k + 1.

4. Until: stopping criteria is satisfied.

OUTPUT: X k , y k ,Z k .

Janez Povh SDP, CO and RAG

Page 37: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

BPM: solving the inner problem DSDP-L

I Optimality conditions for DSDP-L

A(AT (y)) = A(C − Z ) + 1σ (A(X )− b)

V = σ(C −AT (y)− Z ) + XV � 0, Z � 0, VZ = 0.

I Efficient idea: alternating y and (V ,Z ).

Janez Povh SDP, CO and RAG

Page 38: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Solving SDP in praxis - we use software packages

I Nekaj najbolj razsirjenih in robustnih paketa

- SEDUMI (http://sedumi.ie.lehigh.edu/).- SDPT3 (http://www.math.nus.edu.sg/ mattohkc/sdpt3.html).- SDPA (http://sdpa.sourceforge.net/).- MOSEK (http://www.mosek.com/).- YALMIP (http://users.isy.liu.se/johanl/yalmip/).

I To solve large SDP (m is large) we can use:

- SDPLR (http://dollar.biz.uiowa.edu/ burer/software/SDPLR/)- spectral bundle method

(http://www-user.tu-chemnitz.de/ helmberg/SBmethod/).- boundary point method

(http://www.math.uni-klu.ac.at/or/Software/).

Janez Povh SDP, CO and RAG

Page 39: Semidefinite Programming, Combinatorial Optimization and ...€¦ · Introduction Solving SDP Semide nite Programming, Combinatorial Optimization and Real Algebraic Geometry assoc

IntroductionSolving SDP

Interior point methods (IPM)Boundary point method

Literature

1. Miguel F. Anjos and Jean B. Lasserre. Handbook of Semidefinite, Conic andPolynomial Optimization: Theory, Algorithms, Software and Applications,volume 166 of International Series in Operational Research and ManagementScience. Springer, 2012

2. E. de Klerk: Aspects of Semidefinite Programming - Interior Point Algorithmsand Selected Applications. Kluwer Academic Publishers, Dordrecht, 2002.

3. M. Laurent. Sums of squares, moment matrices and optimization overpolynomials, volume 149 of The IMA Volumes in Mathematics and itsApplications, str. 157–270. Springer, 2009.

4. J. Povh: Semidefinitno programiranje. Obz. mat. fiz., 2002, letn. 49, st. 6, str.161-173

5. J. Povh: Towards the optimum by semidefinite and copositive programming.VDM Verlag, 2009.

6. H. Wolkowicz, R. Saigal, L. Vanderberghe (ed.): Handbook of SemidefiniteProgramming. Kluwer Academic Publishers, Boston-Dordrecht-London, 2000.

Janez Povh SDP, CO and RAG