Abstract
n-Fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for n-fold integer programming predating the present article runs in time \({O \left(n^{g(A)}L\right)}\) with L the binary length of the numerical part of the input and g(A) the so-called Graver complexity of the bimatrix A defining the system. In this article we provide a drastic improvement and establish an algorithm which runs in time O (n 3 L) having cubic dependency on n regardless of the bimatrix A. Our algorithm works for separable convex piecewise affine objectives as well. Moreover, it can be used to define a hierarchy of approximations for any integer programming problem.
Similar content being viewed by others
References
Aoki S., Takemura A.: Minimal basis for connected Markov chain over 3 times 3 times K contingency tables with fixed two-dimensional marginals. Aust. New Zeal. J. Stat. 45, 229–249 (2003)
Berstein Y., Onn S.: The Graver complexity of integer programming. Ann. Combin. 13, 289–296 (2009)
Cook W., Fonlupt J., Schrijver A.: An integer analogue of Carathéodory’s theorem. J. Combin. Theory Ser. B 40, 63–70 (1986)
De Loera J., Hemmecke R., Onn S., Rothblum U.G., Weismantel R.: Convex integer maximization via Graver bases. J. Pure Appl. Algebra 213, 1569–1577 (2009)
De Loera J.A., Hemmecke R., Onn S., Weismantel R.: N-fold integer programming. Discret. Optim. 5, 231–241 (2008) (Volume in memory of George B. Dantzig)
De Loera J.A., Onn S.: All linear and integer programs are slim 3-way transportation programs. SIAM J. Optim. 17, 806–821 (2006)
Dobra, A., Fienberg, S.E., Rinaldo, A., Slavković, A., Zhou, Y.: Algebraic statistics and contingency table problems: log-linear models, likelihood estimation, and disclosure limitation. In: Emerging Applications of Algebraic Geometry: IMA Volumes in Mathematics and its Applications, vol. 148, pp. 63–88. Springer (2009)
Graver J.E.: On the foundation of linear and integer programming I. Math. Program. 9, 207–226 (1975)
Hemmecke, R., Köppe, M., Weismantel, R.: A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs. In: IPCO, vol. 14 (2010)
Hemmecke R., Onn S., Weismantel R.: A polynomial oracle-time algorithm for convex integer minimization. Math. Program. 126, 97–117 (2011)
Hemmecke R., Onn S., Weismantel R.: N-fold integer programming and nonlinear multi-transshipment. Optim. Lett. 5, 13–25 (2011)
Hemmecke R., Schultz R.: Decomposition of test sets in stochastic integer programming. Math. Program. 94, 323–341 (2003)
Hoşten S., Sullivant S.: Finiteness theorems for Markov bases of hierarchical models. J. Combin. Theory Ser. A 114, 311–321 (2007)
Kobayashi, Y., Murota, K., Weismantel, R.: Cone superadditivity of discrete convex functions. Math. Program. (to appear). doi:10.1007/s10107-011-0447-1
Louveaux, F.V., Schultz, R.: Stochastic integer programming. In: Handbooks in Operations Research and Management Science, vol. 10 pp. 213–266. Elsevier (2003)
Murota K., Saito H., Weismantel R.: Optimality criterion for a class of nonlinear integer programs. Oper. Res. Lett. 32, 468–472 (2004)
Onn, S.: Nonlinear Discrete Optimization. Zurich Lectures in Advanced Mathematics. Eur. Math. Soc. x+137 pp. (September 2010)
Santos F., Sturmfels B.: Higher Lawrence configurations. J. Combin. Theory Ser. A 103, 151–164 (2003)
Sebö, A.: Hilbert Bases, Carathéodory’s Theorem and Combinatorial Optimization. pp. 431–607. vol. 1, Waterloo University Press, IPCO, Waterloo (1990)
Slavković, A.B., Zhu, X., Petrović, S.: A sample space of k-way tables given conditionals and their relations to marginals: Implications for cell bounds and Markov bases. Preprint, 35 pp. (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hemmecke, R., Onn, S. & Romanchuk, L. n-Fold integer programming in cubic time. Math. Program. 137, 325–341 (2013). https://doi.org/10.1007/s10107-011-0490-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-011-0490-y