Skip to main content
Log in

The Graver Complexity of Integer Programming

  • Published:
Annals of Combinatorics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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)

    Article  MATH  MathSciNet  Google Scholar 

  2. De Loera J., Hemmecke R., Onn S., Weismantel R.: N-fold integer programming. Discrete Optim. 5, 231–241 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  3. De Loera J., Onn S.: All linear and integer programs are slim 3-way transportation programs. SIAM J. Optim. 17, 806–821 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. De Loera J., Onn S.: Markov bases of three-way tables are arbitrarily complicated. J. Symbolic Comput. 41, 173–181 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  5. Gordan P.: Über die Auflösung linearer Gleichungen mit reellen Coefficienten. Math. Ann. 6, 23–28 (1873)

    Article  MathSciNet  Google Scholar 

  6. Graver J.E.: On the foundations of linear and integer programming. Math. Program. 9, 207–226 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hemmecke R., Nairn K.A.: On the Gröbner complexity of matrices. J. Pure Appl. Algebra 213, 1558–1563 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  8. Santos F., Sturmfels B.: Higher Lawrence configurations. J. Combin. Therory Ser. A 103, 151–164 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  9. Sturmfels B.: Gröbner Bases and Convex Polytopes. American Mathematical Society, Providence (1996)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yael Berstein.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00026-009-0029-6

AMS Subject Classification

Keywords

Navigation