Abstract
For a given set X ⊆ ℤd of integer points, we investigate the smallest number of facets of any polyhedron whose set of integer points is conv(X) ∩ ℤd . This quantity, which we call the relaxation complexity of X , corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the relaxation complexity of the integer points of several well-known combinatorial polytopes, including the traveling salesman polytope and the spanning tree polytope.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fiorini, S., Massar, S., Pokutta, S., Tiwary, H.R., de Wolf, R.: Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds. In: STOC, pp. 95–106 (2012)
Gavish, B., Graves, S.C.: The travelling salesman problem and related problems. Technical report, Operations Research Center, Massachusetts Institute of Technology (1978)
Goemans, M.: Smallest compact formulation for the permutahedron. Kaibel, V., Thomas, R. (eds.) To appear in a forthcoming issue of Mathematical Programming, Series B “Lifts of Convex Sets” (2014)
Jeroslow, R.: On defining sets of vertices of the hypercube by linear inequalities. Discrete Mathematics 11(2), 119–124 (1975)
Lee, J., Margot, F.: On a binary-encoded ilp coloring formulation. INFORMS Journal on Computing 19(3), 406–415 (2007)
Kipp Martin, R.: Using separation algorithms to generate mixed integer model reformulations. Oper. Res. Lett. 10(3), 119–128 (1991)
Miller, C.E., Tucker, A.W., Zemlin, R.A.: Integer programming formulation of traveling salesman problems. J. ACM 7(4), 326–329 (1960)
Minkowski, H.: Geometrie der Zahlen. Teubner Verlag, Leipzig (1896)
Rado, R.: An inequality. J. London Math. Soc. 27, 1–6 (1952)
Schrijver, A.: Combinatorial Optimization – Polyhedra and Efficiency. Springer (2003)
Schrijver, A.: Theory of linear and integer programming. John Wiley & Sons, Inc., New York (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kaibel, V., Weltge, S. (2014). Lower Bounds on the Sizes of Integer Programs without Additional Variables. In: Lee, J., Vygen, J. (eds) Integer Programming and Combinatorial Optimization. IPCO 2014. Lecture Notes in Computer Science, vol 8494. Springer, Cham. https://doi.org/10.1007/978-3-319-07557-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-07557-0_27
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07556-3
Online ISBN: 978-3-319-07557-0
eBook Packages: Computer ScienceComputer Science (R0)