Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2507.12831 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916848176463872 |
|---|---|
| author | Del Pia, Alberto Khajavirad, Aida |
| author_facet | Del Pia, Alberto Khajavirad, Aida |
| contents | We consider the multilinear polytope defined as the convex hull of the feasible region of a linearized binary polynomial optimization problem. We define a relaxation in an extended space for this polytope, which we refer to as the complete edge relaxation. The complete edge relaxation is stronger than several well-known relaxations of the multilinear polytope, including the standard linearization, the flower relaxation, and the intersection of all possible recursive McCormick relaxations. We prove that the complete edge relaxation is an extension of the multilinear polytope if and only if the corresponding hypergraph is alpha-acyclic; i.e., the most general type of hypergraph acyclicity. This is in stark contrast with the widely-used standard linearization which describes the multilinear polytope if and only if the hypergraph is Berge-acyclic; i.e., the most restrictive type of hypergraph acyclicity. We then introduce a new class of facet-defining inequalities for the multilinear polytope of alpha-cycles of length three, which serve as the generalization of the well-known triangle inequalities for the Boolean quadric polytope. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_12831 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The complete edge relaxation for binary polynomial optimization Del Pia, Alberto Khajavirad, Aida Optimization and Control Discrete Mathematics We consider the multilinear polytope defined as the convex hull of the feasible region of a linearized binary polynomial optimization problem. We define a relaxation in an extended space for this polytope, which we refer to as the complete edge relaxation. The complete edge relaxation is stronger than several well-known relaxations of the multilinear polytope, including the standard linearization, the flower relaxation, and the intersection of all possible recursive McCormick relaxations. We prove that the complete edge relaxation is an extension of the multilinear polytope if and only if the corresponding hypergraph is alpha-acyclic; i.e., the most general type of hypergraph acyclicity. This is in stark contrast with the widely-used standard linearization which describes the multilinear polytope if and only if the hypergraph is Berge-acyclic; i.e., the most restrictive type of hypergraph acyclicity. We then introduce a new class of facet-defining inequalities for the multilinear polytope of alpha-cycles of length three, which serve as the generalization of the well-known triangle inequalities for the Boolean quadric polytope. |
| title | The complete edge relaxation for binary polynomial optimization |
| topic | Optimization and Control Discrete Mathematics |
| url | https://arxiv.org/abs/2507.12831 |