はてなブックマーク

clarabel とは Apache License 2.0 のもと公開されている， Rust 🦀 で書かれた最適化ソルバー． 次の形の最適化問題を扱える： \begin{align*} \min \quad & \frac{1}{2} \boldsymbol{x}^{\top} Q \boldsymbol{x} + \boldsymbol{q}^{\top} \boldsymbol{x} \\ \text{s.t.} \quad & A \boldsymbol{x} + \boldsymbol{s} = \boldsymbol{b} \\ & \boldsymbol{s} \in \mathcal{K} \end{align*} ただし，Q \in \mathbb{R}^{n \times n} は半正定値対称行列，\boldsymbol{q} \in \mathbb{R}^{n}，A