par Fiorini, Samuel 
;Kaibel, Volker;Pashkovich, Kanstantsin ;Theis, Dirk
Référence Discrete mathematics, 313, 1, page (67-83)
Publication Publié, 2013
;Kaibel, Volker;Pashkovich, Kanstantsin ;Theis, Dirk Référence Discrete mathematics, 313, 1, page (67-83)
Publication Publié, 2013
Article révisé par les pairs
| Résumé : | An extended formulation of a polytope P is a system of linear inequalities and equations that describe some polyhedron which can be projected onto P. Extended formulations of small size (i.e., number of inequalities) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes. In this paper, we describe several aspects and new results on the main known approach to establish lower bounds on the sizes of extended formulations, which is to bound from below the number of rectangles needed to cover the support of a slack matrix of the polytope. Our main goals are to shed some light on the question how this combinatorial rectangle covering bound compares to other bounds known from the literature, and to obtain a better idea of the power as well as of the limitations of this bound. In particular, we provide geometric interpretations (and a slight sharpening) of Yannakakis' (1991) [35] result on the relation between minimal sizes of extended formulations and the nonnegative rank of slack matrices, and we describe the fooling set bound on the nonnegative rank (due to Dietzfelbinger et al. (1996) [7]) as the clique number of a certain graph. Among other results, we prove that both the cube as well as the Birkhoff polytope do not admit extended formulations with fewer inequalities than these polytopes have facets, and we show that every extended formulation of a d-dimensional neighborly polytope with Ω( d2) vertices has size Ω( d2). © 2012 Elsevier B.V. All rights reserved. |
