SOCP

Ein SOCP (oder Second Order Cone Program) ist ein Problem in der mathematischen Optimierung, bei dem die Lösung des Problems nicht nur linearen Restriktionen unterliegt, sondern auch noch in einem bestimmten Kegel liegen soll. Dieser Kegel wird im Englischen der second-order cone genannt, woraus sich der Name des Programms herleitet.

Definition[Bearbeiten | Quelltext bearbeiten]

Gegeben sei der ${\displaystyle \mathbb {R} ^{n}}$ versehen mit dem Standardskalarprodukt ${\displaystyle \langle {\cdot },{\cdot }\rangle }$ und der Second-Order-Kegel (auch Lorentz-Kegel genannt) ${\displaystyle S:=\{x\in \mathbb {R} ^{n+1}\,|\,\Vert (x_{1},\dots ,x_{n})\Vert _{2}\leq x_{n+1}\}}$ der die verallgemeinerte Ungleichung ${\displaystyle \preccurlyeq _{S}}$ definiert. Dann heißt das Optimierungsproblem

${\displaystyle {\begin{aligned}{\text{Minimiere }}&s(x)=\langle {c},{x}\rangle &\\{\text{unter den Nebenbedingungen }}&(A_{i}x+b_{i},c_{i}^{T}x+d_{i})\succcurlyeq _{S}0&i=1,\dots ,m\\&Fx=g&\end{aligned}}}$

Dabei ist ${\displaystyle A_{i}\in \mathbb {R} ^{n\times n}}$ und ${\displaystyle b_{i},c_{i},x\in \mathbb {R} ^{n}}$ sowie ${\displaystyle d_{i}\in \mathbb {R} }$

Alternativ lässt sich die Ungleichungsrestriktion auch als ${\displaystyle \Vert A_{i}x+b_{i}\Vert _{2}\leq c_{i}^{T}x+d_{i}}$ formulieren.

Klassifikation und Spezialfälle[Bearbeiten | Quelltext bearbeiten]

Ein SOCP ist ein Konisches Programm, wie die obige Formulierung mittels des Kegels zeigt. Damit ist es auch immer ein konvexes Optimierungsproblem.

Sind alle ${\displaystyle c_{i}=0}$, so lässt sich ein SOCP als ein spezielles Quadratisches Programm mit quadratischen Nebenbedingungen formulieren. Dazu nutzt man aus, dass

${\displaystyle (x,t)\succcurlyeq _{S}0\iff {\begin{bmatrix}x\\t\end{bmatrix}}^{T}{\begin{bmatrix}E_{n}&0\\0&-1\end{bmatrix}}{\begin{bmatrix}x\\t\end{bmatrix}}\leq 0\,{\text{ und }}\,-t\leq 0}$

ist. Hierbei ist ${\displaystyle E_{n}}$ die n-dimensionale Einheitsmatrix. Jede Kegeleinschränkung lässt sich in diesem Fall also durch eine quadratische und eine lineare Restriktion ersetzen.

Sind alle ${\displaystyle A_{i}}$ gleich Null, so lassen sich die Ungleichungsrestriktionen umformulieren in ${\displaystyle d_{i}-\Vert b_{i}\Vert _{2}\geq -c_{i}^{T}x}$. Fasst man nun die linke Seite der Ungleichung für alle ${\displaystyle i}$ zu einem Vektor zusammen und die rechte Zeile zu einer Matrix, die zeilenweise aus den Vektoren ${\displaystyle c_{i}}$ besteht, so lässt sich das SOCP als Lineares Optimierungsproblem formulieren.

Literatur[Bearbeiten | Quelltext bearbeiten]

• Stephen Boyd, Lieven Vandenberghe: Convex Optimization. Cambridge University Press, 2004, ISBN 978-0-521-83378-3 (online).