Extended Formulations for Combinatorial Polytopes

作者: Kanstantsin Pashkovich

DOI:

关键词:

摘要: i Abstract Typically polytopes arising from real world problems have a lot of facets. In some cases even no linear descriptions for them are known. On the other hand many these can be described much nicer and with less facets using extended formulations, i.e. as projection simpler higher dimensional polytopes. The presented work studies formulations polytopes: possibilities to construct limitations them. first part, known techniques constructions reviewed new framework polyhedral relations (see Kaibel Pashkovich [2011]) is presented. We in particular elaborate on special case reflection relations. Reflection provide several that constructed by iteratively taking convex hulls their refelections at hyperplanes. Using this we able derive small G-permutahedra all finite groups G. second part deals which use structures graphs involved combinatorial problems. Here present apply few changes formulation Gerards perfect matching polytope genus order reduce its size. Furthermore compact proof an Rivin subtour elimination provided. third (partly based joint Volker Kaibel, Samuel Fiorini Dirk Oliver Theis, see Fiorini, Pashkovich, Theis [2011a]) involves general questions primal interest here lower bounds formulations. study different obtain bounds, could derived so called non-negative factorizations slack matrix initial polytope. minimal such factorization provides number inequalities needed formulation. compare techniques, find examples they give tight complexity extensions. fourth impact symmetry sizes showed certain constrained cardinality cycle there exist polynomial symmetric but non-symmetric ones (for further details [2010]). Beyond results thesis also contains showing well permutahedron via Birkhoff best (up constant factor) one among [2009]).Typically [2009]).

参考文章(57)
Aharon Ben-Tal, Arkadi Nemirovski, On Polyhedral Approximations of the Second-Order Cone Mathematics of Operations Research. ,vol. 26, pp. 193- 205 ,(2001) , 10.1287/MOOR.26.2.193.10561
Volker Kaibel, Kanstantsin Pashkovich, Dirk Oliver Theis, Symmetry matters for the sizes of extended formulations integer programming and combinatorial optimization. ,vol. 6080, pp. 135- 148 ,(2010) , 10.1007/978-3-642-13036-6_11
Stephen A. Vavasis, On the Complexity of Nonnegative Matrix Factorization Siam Journal on Optimization. ,vol. 20, pp. 1364- 1377 ,(2009) , 10.1137/070709967
Nicolas Gillis, François Glineur, On the Geometric Interpretation of the Nonnegative Rank Linear Algebra and its Applications. ,vol. 437, pp. 2685- 2712 ,(2012) , 10.1016/J.LAA.2012.06.038
Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, Ge Xia, Strong computational lower bounds via parameterized complexity Journal of Computer and System Sciences. ,vol. 72, pp. 1346- 1367 ,(2006) , 10.1016/J.JCSS.2006.04.007
Egon Balas, Disjunctive programming: properties of the convex hull of feasible points Discrete Applied Mathematics. ,vol. 89, pp. 3- 44 ,(1998) , 10.1016/S0166-218X(98)00136-X
A.M.H. Gerards, Compact systems for T-join and perfect matching polyhedra of graphs with bounded genus Operations Research Letters. ,vol. 10, pp. 377- 382 ,(1991) , 10.1016/0167-6377(91)90038-Q
R.Kipp Martin, Using separation algorithms to generate mixed integer model reformulations Operations Research Letters. ,vol. 10, pp. 119- 128 ,(1991) , 10.1016/0167-6377(91)90028-N
L. Lovász, On the ratio of optimal integral and fractional covers Discrete Mathematics. ,vol. 13, pp. 383- 390 ,(1975) , 10.1016/0012-365X(75)90058-8