Linear conic programming

符号

${\mathcal{M}}^n$：所有 $n$ 阶实对称矩阵组成的空间

定理

定理1.1 (Separating hyperplane theorem) 假设 C⊂E\mathcal{C}\subset\mathcal{E}