Skip to main content

Computational Aspects of Relaxation Complexity

  • Conference paper
  • First Online:
Book cover Integer Programming and Combinatorial Optimization (IPCO 2021)

Abstract

The relaxation complexity \({{\,\mathrm{rc}\,}}(X)\) of the set of integer points X contained in a polyhedron is the smallest number of facets of any polyhedron P such that the integer points in P coincide with X. It is an important tool to investigate the existence of compact linear descriptions of X. In this article, we derive tight and computable upper bounds on \({{\,\mathrm{rc}\,}}_\mathbb {Q}(X)\), a variant of \({{\,\mathrm{rc}\,}}(X)\) in which the polyhedra P are required to be rational, and we show that \({{\,\mathrm{rc}\,}}(X)\) can be computed in polynomial time if X is 2-dimensional. We also present an explicit formula for \({{\,\mathrm{rc}\,}}(X)\) of a specific class of sets X and present numerical experiments on the distribution of \({{\,\mathrm{rc}\,}}(X)\) in dimension 2.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Averkov, G., Schymura, M.: Complexity of linear relaxations in integer programming. Mathematical Programming (2021). https://doi.org/10.1007/s10107-021-01623-4, (online first)

  2. Castryck, W.: Moving out the edges of a lattice polygon. Discrete Comput. Geom. 47(3), 496–518 (2012)

    Article  MathSciNet  Google Scholar 

  3. van der Corput, J.G.: Verallgemeinerung einer Mordellschen Beweismethode in der Geometrie der Zahlen II. Acta Arith. 2, 145–146 (1936)

    Article  Google Scholar 

  4. Edelsbrunner, H.: Algorithms in Combinatorial Geometry. Monographs in Theoretical Computer Science, vol. 10. Springer-Verlag, Berlin Heidelberg (1987). https://doi.org/10.1007/978-3-642-61568-9

  5. Edelsbrunner, H., Preparata, F.P.: Minimum polygonal separation. Inform. Comput. 77, 218–232 (1988)

    Article  MathSciNet  Google Scholar 

  6. Gamrath, G., et al.: The SCIP Optimization Suite 7.0. Technical report, Optimization Online, March 2020. http://www.optimization-online.org/DB_HTML/2020/03/7705.html

  7. Hammer, P.L., Ibaraki, T., Peled, U.N.: Threshold numbers and threshold completions. In: Studies on Graphs and Discrete Programming (Brussels, 1979), Annals of Discrete Mathematics, vol. 11, pp. 125–145. North-Holland, Amsterdam-New York (1981)

    Google Scholar 

  8. Hojny, C.: Polynomial size IP formulations of knapsack may require exponentially large coefficients. Oper. Res. Lett. 48(5), 612–618 (2020)

    Article  MathSciNet  Google Scholar 

  9. Hojny, C.: Strong IP formulations need large coefficients. Discrete Optim. 39, 100624 (2021). https://doi.org/10.1016/j.disopt.2021.100624

  10. Jeroslow, R.G.: On defining sets of vertices of the hypercube by linear inequalities. Discrete Math. 11, 119–124 (1975)

    Article  MathSciNet  Google Scholar 

  11. Kaibel, V., Weltge, S.: Lower bounds on the sizes of integer programs without additional variables. Math. Program. 154(1–2, Ser. B), 407–425 (2015)

    Google Scholar 

  12. Lee, C., Lee, D.: On a circle-cover minimization problem. Inf. Process. Lett. 18(2), 109–115 (1984)

    Article  MathSciNet  Google Scholar 

  13. Maher, S., Miltenberger, M., Pedroso, J.P., Rehfeldt, D., Schwarz, R., Serrano, F.: PySCIPOpt: mathematical programming in Python with the SCIP optimization suite. In: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (eds.) ICMS 2016. LNCS, vol. 9725, pp. 301–307. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42432-3_37

    Chapter  MATH  Google Scholar 

  14. Megiddo, N.: On the complexity of polyhedral separability. Discrete Comput. Geom. 3, 325–337 (1988)

    Article  MathSciNet  Google Scholar 

  15. Pokutta, S., Van Vyve, M.: A note on the extension complexity of the knapsack polytope. Oper. Res. Lett. 41(4), 347–350 (2013)

    Article  MathSciNet  Google Scholar 

  16. Schrijver, A.: Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete Mathematics, A Wiley-Interscience Publication, John Wiley & Sons Ltd, Chichester (1986)

    Google Scholar 

  17. Taylor, A.D., Zwicker, W.S.: Simple Games: Desirability Relations, Trading, Pseudoweightings. Princeton University Press, Princeton (1999)

    MATH  Google Scholar 

  18. The Sage Developers: SageMath, the Sage Mathematics Software System (Version 9.1) (2020). https://www.sagemath.org

  19. Weltge, S.: Sizes of Linear Descriptions in Combinatorial Optimization. Ph.D. thesis, Otto-von-Guericke-Universität Magdeburg (2015). http://dx.doi.org/10.25673/4350

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Schymura .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Averkov, G., Hojny, C., Schymura, M. (2021). Computational Aspects of Relaxation Complexity. In: Singh, M., Williamson, D.P. (eds) Integer Programming and Combinatorial Optimization. IPCO 2021. Lecture Notes in Computer Science(), vol 12707. Springer, Cham. https://doi.org/10.1007/978-3-030-73879-2_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-73879-2_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-73878-5

  • Online ISBN: 978-3-030-73879-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics