Skip to Main content Skip to Navigation
Reports

The convex hull of the disjunction of polymatroids

Alexander Bockmayr 1 Nicolai Pisaruk 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We give a linear characterization of the convex hull of the disjunction of polymatroids. For the family of inequalities defining the convex hull, we present an efficient separation algorithm. Among consequences of this result are the characterization of the convex hull of matroid polyhedra [Conforti/Laurent 88], and the characterization of the convex hull of 0-1 points satisfying logical conditions called cardinality rules [Yan/Hooker 99, Balas 2000].
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099312
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:52:39 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099312, version 1

Collections

Citation

Alexander Bockmayr, Nicolai Pisaruk. The convex hull of the disjunction of polymatroids. [Intern report] A00-R-421 || bockmayr00c, 2000, 13 p. ⟨inria-00099312⟩

Share

Metrics

Record views

100