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].
Type de document :
Rapport
[Intern report] A00-R-421 || bockmayr00c, 2000, 13 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099312
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

73