Abstract:We consider box-constrained integer programs with objective $g(Wx) + c^T x$, where $g$ is a "complicated" function with an $m$ dimensional domain. Here we assume we have $n \gg m$ variables and that $W \in \mathbb Z^{m \times n}$ is an integer matrix with coefficients of absolute value at most $\Delta$. We design an algorithm for this problem using only the mild assumption that the objective can be optimized efficiently when all but $m$ variables are fixed, yielding a running time of $n^m(m \Delta)^{O(m^2)}$. Moreover, we can avoid the term $n^m$ in several special cases, in particular when $c = 0$. Our approach can be applied in a variety of settings, generalizing several recent results. An important application are convex objectives of low domain dimension, where we imply a recent result by Hunkenschröder et al. [SIOPT'22] for the 0-1-hypercube and sharp or separable convex $g$, assuming $W$ is given explicitly. By avoiding the direct use of proximity results, which only holds when $g$ is separable or sharp, we match their running time and generalize it for arbitrary convex functions. In the case where the objective is only accessible by an oracle and $W$ is unknown, we further show that their proximity framework can be implemented in $n (m \Delta)^{O(m^2)}$-time instead of $n (m \Delta)^{O(m^3)}$. Lastly, we extend the result by Eisenbrand and Weismantel [SODA'17, TALG'20] for integer programs with few constraints to a mixed-integer linear program setting where integer variables appear in only a small number of different constraints.

Integer-valued o-minimal functions

Locally Integer Polynomial Functions

A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Good functions, measures, and the Kleinbock-Tomanov conjecture

Hörmander and Bernhardsson's extremal function I

On sets of rational functions which locally represent all of $\mathbb{Q}$

Irreducible integer-valued polynomials with prescribed minimal power that factors non-uniquely

Weakly o-minimal types

Infinite families of minimal binary codes via Krawtchouk polynomials

Optimizing Low Dimensional Functions over the Integers

Minimal Linear Codes from Maiorana-McFarland Functions.

On transasymptotic expansions of o-minimal germs

Prime polynomial values of linear functions in short intervals

Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input

Isoperimetric inequalities for real‐valued functions with applications to monotonicity testing

Integer Programming with GCD Constraints

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

Irreducibility over the Max-Min Semiring

A uniform Dvoretzky-Kiefer-Wolfowitz inequality