Facet separation for disjunctive constraints with network flow representation
Abstract We present a novel algorithm for separating facet-inducing inequalities for the convex-hull of the union of polytopes representing a disjunctive constraint of special structure. It is required that the union of polytopes admit a certain network flow representation. The algorithm is based on a new, graph theoretic characterization of the facets of the convex-hull. Moreover, we characterize the family of polytopes that are representable by the networks under consideration. We demonstrate the effectiveness of our approach by computational results on a set of benchmark problems.
Authors
- Tamás Kis (ORCID: https://orcid.org/0000-0002-2759-1264)
- Péter Dobrovoczki
Institutions
- Eötvös Loránd University (HU)
- HUN-REN Institute for Computer Science and Control (HU)
Publication Details
- Journal
- Annals of Operations Research
- Published
- 2024-09-13
- DOI
- https://doi.org/10.1007/s10479-024-06264-2
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Nemzeti Kutatási, Fejlesztési és Innovaciós Alap