Search · four archives
Search · four archives
15 papers · ranked by Valyu relevance
Hitarth, S, Mansutti, Alessio + 2 more
This paper presents the first study of the complexity of the optimization problem for integer linear-exponential programs which extend classical integer linear programs with the exponential function x 7→ 2 x and the remainder function (x, y) 7→ (x mod 2 y ). The problem of deciding if such a program has a solution was…
Cinar Ari, Robert Hildebrand
Integer Quadratic Programming (IQP), $\min\{x^T Q x + c^T x : Ax \le b,\, x\in\Z^n\}$, is a fundamental problem in combinatorial optimization. While the convex and concave special cases admit polynomial-time algorithms for fixed~$n$, the general indefinite case is considerably harder: it was only recently shown to lie…
Alexandra Lassota, Koen Ligthart
We present a new and faster algorithm for the 4-block integer linear programming problem, overcoming the long-standing runtime barrier faced by previous algorithms that rely on Graver complexity or proximity bounds. The 4-block integer linear programming problem asks to compute min c ⊤ 0 x 0 + c ⊤ 1 x 1 + · · · + c ⊤ n…
Daniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras
In this paper, we consider establishing a formal connection between two distinct tree-abstraction problems inspired by the information-bottleneck (IB) method. Specifically, we consider the hard- and soft-constrained formulations that have recently appeared in the literature to determine the conditions for which the two…
Polson, Nick, Sokolov, Vadim
In this paper, we design MC 2 algorithms for Mixed Integer and Linear Programming. By expressing a constrained optimisation as one of simulation from a Boltzmann distribution, we reformulate integer and linear programming as Monte Carlo optimisation problems. The key insight is that solving these optimisation problems…
Klaus Jansen, Ohnesorge, Felix, Pirotton + 2 more
Consider the classical Bin Packing problem with d different item sizes s i and amounts of items ai. The support of a Bin Packing solution is the number of differently filled bins. In this work, we show that the lower bound on the support of this problem is 2 Ω(d) . Our lower bound matches the upper bound of 2 d given…
Briański, Marcin, Lassota, Alexandra + 6 more
Solving integer programs of the form min x A x = b , l ⩽ x ⩽ u , x ∈ Z n is, in general, NP-hard. Hence, great effort has been put into identifying subclasses of integer programs that are solvable in polynomial or FPT time. A common scheme for many of these integer programs is a star-like structure of the constraint…
Dey, Santanu S., Meunier, Frédéric + 2 more
Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible solutions is finite or described by rational linear constraints. However, we show…
Stephanie Riedmüller, Thorsten Koch
Solving integer optimization problems with large or widely ranged objective coefficients can lead to numerical instability and increased runtimes. When the problem also involves multiple objectives, the impact of the objective coefficients on runtimes and numerical issues multiplies. We address this issue by…
Koen Ligthart
We consider the periodic behavior of the value functions $b\mapsto\min\{f(x)\ \vert\ Ax=b,\,x\in\mathbb Z_{\ge0}^n\}$ of integer programs. We show that there exists a positive integer $M$ depending only on the constraint matrix $A\in\mathbb Z^{m\times n}$ so that the value function is convex extensible on any subdomain…
Bonami, Pierre, Dash, Sanjeeb + 4 more
We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate the effect on mixed-integer linear programming (MIP) solvers of the different ways of producing extended formulations that replace a bounded…
Akira Kitaoka
A data-driven inverse optimization problem (DDIOP) is the problem of estimating the objective-function parameters (weights) that explain observed optimal-solution data, and it arises in many applications, including integer linear programming (ILP). It is known that, by applying gradient-based optimization methods to…
Friedrich Eisenbrand, Samuel Fiorini, Lars Rohwedder, Jiaye Wei
We consider $0/1$ packing problems $\max\{c^T x \colon Ax \leq 1, \, x \in \{0,1\}^n\}$, with $A \in \mathbb{R}_{\geq 0}^{m \times n}$. A way to solve such problems is via tightening the linear programming relaxation $P$ with Gomory \emph{cutting-planes}. The Gomory-closure $P'$ of $P$ is the intersection of $P$ with…
Jamie Fravel, Robert Hildebrand
An integer program is called ideal if its continuous relaxation coincides with its convex hull allowing the problem to be solved as a continuous program and offering substantial computational advantages. Proving idealness analytically can be extraordinarily tedious—even for small formulations—such proofs often span…
Paulo Michel F. Yamagishi, Marcia Fampa, Jon Lee
We introduce the dual-path fixing strategy to exploit dual algorithms for solving relaxations of mixed-integer nonlinear-optimization problems. Such dual algorithms are naturally applied in the context of branch-and-bound, and eventual impact on the success of branch-and-bound is our strong motivation. Our fixing…