Abstract
In this article we establish an exponential lower bound on the Graver complexity of integer programs. This provides new type of evidence supporting the presumable intractability of integer programming. Specifically, we show that the Graver complexity of the incidence matrix of the complete bipartite graph K 3,m satisfies g(m) = Ω(2m), with g(m) ≥ 17·2m−3 –7 for every m > 3.
Similar content being viewed by others
References
Aoki S., Takemura A.: Minimal basis for connected Markov chain over 3 × 3 × k contingency tables with fixed two-dimensional marginals. Aust. N. Z. J. Stat. 45, 229–249 (2003)
De Loera J., Hemmecke R., Onn S., Weismantel R.: N-fold integer programming. Discrete Optim. 5, 231–241 (2008)
De Loera J., Onn S.: All linear and integer programs are slim 3-way transportation programs. SIAM J. Optim. 17, 806–821 (2006)
De Loera J., Onn S.: Markov bases of three-way tables are arbitrarily complicated. J. Symbolic Comput. 41, 173–181 (2006)
Gordan P.: Über die Auflösung linearer Gleichungen mit reellen Coefficienten. Math. Ann. 6, 23–28 (1873)
Graver J.E.: On the foundations of linear and integer programming. Math. Program. 9, 207–226 (1975)
Hemmecke R., Nairn K.A.: On the Gröbner complexity of matrices. J. Pure Appl. Algebra 213, 1558–1563 (2009)
Santos F., Sturmfels B.: Higher Lawrence configurations. J. Combin. Therory Ser. A 103, 151–164 (2003)
Sturmfels B.: Gröbner Bases and Convex Polytopes. American Mathematical Society, Providence (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Berstein, Y., Onn, S. The Graver Complexity of Integer Programming. Ann. Comb. 13, 289–296 (2009). https://doi.org/10.1007/s00026-009-0029-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00026-009-0029-6