Search · four archives
Search · four archives
14 papers · ranked by Valyu relevance
S Hitarth, Alessio Mansutti, Guruprerana Shabadi
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…
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer linear programs with exponential terms 2 x and remainder terms (x mod 2y ). Our result implies that the existential theory of the structure (N…
Asaf Levin
We study the settings where we are given a function of n variables defined in a given box of integers. We show that in many cases we can replace the given objective function by a new function with a much smaller domain. Our approach allows us to transform a family of weakly polynomial time algorithms into strongly…
Taoan Huang, Aaron Ferber, Yuandong Tian, Bistra Dilkina + 1 more
'Benoit Steiner'] Abstract. Large Neighborhood Search (LNS) is a popular heuristic algorithm for solving combinatorial optimization problems (COP). It starts with an initial solution to the problem and iteratively improves it by searching a large neighborhood around the current best solution. LNS relies on heuristics…
Loïs Paulin, David Cœurjolly, Nicolas Bonneel, Jean‐Claude Iehl + 2 more
'Victor Ostromoukhov' 'Alexander Keller'] Abstract In quasi-Monte Carlo methods, generating high-dimensional low discrepancy sequences by generator matrices is a popular and efficient approach. Historically, constructing or finding such generator matrices has been a hard problem. In particular, it is challenging to…
Daniel Dadush, A. B. Leonard, Lars Rohwedder, José Verschae
We consider box-constrained integer programs with objective g(W x)+ c Tx, where g is a "complicated" function with an m dimensional domain. Here we assume we have n ≫ m variables and that W ∈ Z m×n is an integer matrix with coefficients of absolute value at most ∆. We design an algorithm for this problem using only the…
Pol Puigdemont, Stratis Skoulakis, Grigorios G. Chrysos, Volkan Cevher
'Volkan Cevher'] Cutting plane methods are a fundamental approach for solving integer linear programs (ILPs). In each iteration of such methods, additional linear constraints (cuts) are introduced to the constraint set with the aim of excluding the previous fractional optimal solution while not affecting the optimal…
Friedrich Eisenbrand, Thomas Rothvoß
Let A ∈ Z m×n be an integer matrix with components bounded by ∆ in absolute value. Cook et al. (1986) have shown that there exists a universal matrix B ∈ Z m′×n with the following property: For each b ∈ Z m, there exists t ∈ Z m′ such that the integer hull of the polyhedron P = {x ∈ R n : Ax ≤ b} is described by PI =…
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…
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…
Florian Frohn, Jürgen Giesl
SMT solvers use sophisticated techniques for polynomial (linear or non-linear) integer arithmetic. In contrast, non-polynomial integer arithmetic has mostly been neglected so far. However, in the context of program verification, polynomials are often insufficient to capture the behavior of the analyzed system without…
Seyedmohammadhossein Hosseinian, Andrew J. Schaefer
An integer program (IP) with a finite number of feasible solutions may have an unbounded linear programming relaxation if it contains irrational parameters, due to implicit constraints enforced by the irrational numbers. We show that those constraints can be obtained if the irrational parameters are polynomials of…
Santanu S. Dey, Prachi Shah
Land and Doig [14] invented the branch-and-bound procedure to solve mixed integer linear programs (MILP). Today, all state-of-the-art MILP solvers are based on the branch-and-bound procedure. An important decision is formalizing a branch-and-bound procedure is to decide the method to partition the feasible region of…
Julio González-Díaz, Brais González-Rodríguez, Iria Rodríguez-Acevedo
In this paper we extend the core branch-and-bound algorithm of an RLT-based solver for continuous polynomial optimization, RAPOSa, to handle mixed-integer problems. We do so by a direct adaptation, in which LP relaxations are replaced with MILP ones and, therefore, the additional burden caused by the discrete variables…