Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911046232440832 |
|---|---|
| author | de Meijer, Frank Sotirov, Renata |
| author_facet | de Meijer, Frank Sotirov, Renata |
| contents | This paper presents the Lagrangian duality theory for mixed-integer semidefinite programming (MISDP). We derive the Lagrangian dual problem and prove that the resulting Lagrangian dual bound dominates the bound obtained from the continuous relaxation of the MISDP problem. We present a hierarchy of Lagrangian dual bounds by exploiting the theory of integer positive semidefinite matrices and propose three algorithms for obtaining those bounds. Our algorithms are variants of well-known algorithms for minimizing non-differentiable convex functions. The numerical results on the max-$k$-cut problem show that the Lagrangian dual bounds are substantially stronger than the semidefinite programming bound obtained by relaxing integrality, already for lower levels in the hierarchy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_11397 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms de Meijer, Frank Sotirov, Renata Optimization and Control This paper presents the Lagrangian duality theory for mixed-integer semidefinite programming (MISDP). We derive the Lagrangian dual problem and prove that the resulting Lagrangian dual bound dominates the bound obtained from the continuous relaxation of the MISDP problem. We present a hierarchy of Lagrangian dual bounds by exploiting the theory of integer positive semidefinite matrices and propose three algorithms for obtaining those bounds. Our algorithms are variants of well-known algorithms for minimizing non-differentiable convex functions. The numerical results on the max-$k$-cut problem show that the Lagrangian dual bounds are substantially stronger than the semidefinite programming bound obtained by relaxing integrality, already for lower levels in the hierarchy. |
| title | Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2501.11397 |