Advertisement

Integer Programming and Incidence Treedepth

  • Eduard Eiben
  • Robert Ganian
  • Dušan Knop
  • Sebastian OrdyniakEmail author
  • Michał Pilipczuk
  • Marcin Wrochna
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11480)

Abstract

Recently a strong connection has been shown between the tractability of integer programming (IP) with bounded coefficients on the one side and the structure of its constraint matrix on the other side. To that end, integer linear programming is fixed-parameter tractable with respect to the primal (or dual) treedepth of the Gaifman graph of its constraint matrix and the largest coefficient (in absolute value). Motivated by this, Koutecký, Levin, and Onn [ICALP 2018] asked whether it is possible to extend these result to a more broader class of integer linear programs. More formally, is integer linear programming fixed-parameter tractable with respect to the incidence treedepth of its constraint matrix and the largest coefficient (in absolute value)?

We answer this question in negative. We prove that deciding the feasibility of a system in the standard form, \({A\mathbf {x}= \mathbf {b}}, {\mathbf {l} \le \mathbf {x}\le \mathbf {u}}\), is NP-hard even when the absolute value of any coefficient in A is 1 and the incidence treedepth of A is 5. Consequently, it is not possible to decide feasibility in polynomial time even if both the assumed parameters are constant, unless \(\mathsf {P}=\mathsf {NP}\).

Keywords

Integer programming Incidence treedepth Gaifman graph Computational complexity 

References

  1. 1.
    Altmanová, K., Knop, D., Koutecký, M.: Evaluating and tuning n-fold integer programming. In: D’Angelo, G. (ed.) 17th International Symposium on Experimental Algorithms, SEA 2018, L’Aquila, Italy, 27–29 June 2018. LIPIcs, vol. 103, pp. 10:1–10:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018).  https://doi.org/10.4230/LIPIcs.SEA.2018.10
  2. 2.
    Chatzigiannakis, I., Kaklamanis, C., Marx, D., Sannella, D. (eds.): 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, Prague, Czech Republic, 9–13 July 2018. LIPIcs, vol. 107. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018). http://www.dagstuhl.de/dagpub/978-3-95977-076-7
  3. 3.
    Chen, L., Xu, L., Shi, W.: On the graver basis of block-structured integer programming. CoRR abs/1805.03741 (2018). http://arxiv.org/abs/1805.03741
  4. 4.
    De Loera, J.A., Hemmecke, R., Köppe, M.: Algebraic and Geometric Ideas in the Theory of Discrete Optimization. MOS-SIAM Series on Optimization, vol. 14. SIAM (2013).  https://doi.org/10.1137/1.9781611972443
  5. 5.
    Dechter, R.: Chapter 7 - tractable structures for constraint satisfaction problems. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol. 2, pp. 209–244. Elsevier (2006).  https://doi.org/10.1016/S1574-6526(06)80011-8CrossRefGoogle Scholar
  6. 6.
    Eiben, E., Ganian, R., Knop, D., Ordyniak, S.: Unary integer linear programming with structural restrictions. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, 13–19 July 2018, pp. 1284–1290. ijcai.org (2018).  https://doi.org/10.24963/ijcai.2018/179
  7. 7.
    Eisenbrand, F., Hunkenschröder, C., Klein, K.: Faster algorithms for integer programs with block structure. In: Chatzigiannakis et al. [2], pp. 49:1–49:13.  https://doi.org/10.4230/LIPIcs.ICALP.2018.49
  8. 8.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, New York (1979)Google Scholar
  9. 9.
    Hemmecke, R., Köppe, M., Weismantel, R.: A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs. In: Eisenbrand, F., Shepherd, F.B. (eds.) IPCO 2010. LNCS, vol. 6080, pp. 219–229. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-13036-6_17CrossRefzbMATHGoogle Scholar
  10. 10.
    Hemmecke, R., Onn, S., Romanchuk, L.: N-fold integer programming in cubic time. Math. Program. 137(1–2), 325–341 (2013).  https://doi.org/10.1007/978-3-642-13036-6_17MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Hemmecke, R., Schultz, R.: Decomposition of test sets in stochastic integer programming. Math. Program. 94(2), 323–341 (2003).  https://doi.org/10.1007/s10107-002-0322-1MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Jansen, K., Lassota, A., Rohwedder, L.: Near-linear time algorithm for n-fold ILPs via color coding. CoRR abs/1811.00950 (2018)Google Scholar
  13. 13.
    Klein, K.: About the complexity of two-stage stochastic IPs. CoRR abs/1901.01135 (2019). http://arxiv.org/abs/1901.01135
  14. 14.
    Koutecký, M., Levin, A., Onn, S.: A parameterized strongly polynomial algorithm for block structured integer programs. In: Chatzigiannakis et al. [2], pp. 85:1–85:14.  https://doi.org/10.4230/LIPIcs.ICALP.2018.85
  15. 15.
    Lenstra Jr., H.W.: Integer programming with a fixed number of variables. Math. Oper. Res. 8(4), 538–548 (1983).  https://doi.org/10.1287/moor.8.4.538MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Nešetřil, J., Ossona de Mendez, P.: Sparsity - Graphs, Structures, and Algorithms. AC, vol. 28. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-27875-4CrossRefzbMATHGoogle Scholar
  17. 17.
    Onn, S.: Nonlinear Discrete Optimization: An Algorithmic Theory (Zurich Lectures in Advanced Mathematics). European Mathematical Society Publishing House (2010)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Eduard Eiben
    • 1
  • Robert Ganian
    • 2
  • Dušan Knop
    • 3
    • 4
  • Sebastian Ordyniak
    • 5
    Email author
  • Michał Pilipczuk
    • 6
  • Marcin Wrochna
    • 6
    • 7
  1. 1.Department of InformaticsUniversity of BergenBergenNorway
  2. 2.Algorithms and Complexity GroupTechnische Universität WienViennaAustria
  3. 3.Algorithmics and Computational Complexity, Faculty IVTU BerlinBerlinGermany
  4. 4.Department of Theoretical Computer Science, Faculty of Information TechnologyCzech Technical University in PraguePragueCzech Republic
  5. 5.Algorithms Group, Department of Computer ScienceUniversity of SheffieldSheffieldUK
  6. 6.Institute of InformaticsUniversity of WarsawWarsawPoland
  7. 7.University of OxfordOxfordUK

Personalised recommendations