14 papers · ranked by Valyu relevance
G. Q. Zhang
A polynomial-time algorithm for 0-1 integer linear programmings has been proposed. This method continues the classic idea of solving ILP with itsLP relaxation. The innovation is that every constraint in the LP is reconstructed into a strong cut. Then the solution algorithm of a 0-1 ILP is developed based on the new…
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…
Lars Rohwedder, Karol Węgrzycki
Programming Authors: ['Lars Rohwedder' 'Karol Węgrzycki'] Integer Linear Programming with n binary variables and m many 0/1 constraints can be solved in time 2 O˜(m2)poly(n) and it is open whether the dependence on m is optimal. Several seemingly unrelated problems, which include variants of Closest String, Discrepancy…
Daniel Dadush, Friedrich Eisenbrand, Thomas Rothvoss
Approximate integer programming is the following: For a given convex body $K \subseteq{\mathbb{R}}^n$, either determine whether $K \cap{\mathbb{Z}}^n$ is empty, or find an integer point in the convex body $2\cdot K - c +c$ which is K, scaled by 2 from its center of gravity c. Approximate integer programming can be…
Randolph, Tim, Węgrzycki, Karol
We study the parameterized complexity of algorithmic problems whose input is an integer set A in terms of the doubling constant C := |A+A|/|A|, a fundamental measure of additive structure. We present evidence that this new parameterization is algorithmically useful in the form of new results for two difficult…
Ahmad Abdi, Gérard Cornuéjols, Bertrand Guenin, Levent Tunçel
A rational number is dyadic if it has a finite binary representation $p/2^k$, where p is an integer and k is a nonnegative integer. Dyadic rationals are important for numerical computations because they have an exact representation in floating-point arithmetic on a computer. A vector is dyadic if all its entries are…
Akif Çördük, Piotr Sielski, Boucher, Alice + 1 more
We introduce a fusion of GPU accelerated primal heuristics for Mixed Integer Programming. Leveraging GPU acceleration enables exploration of larger search regions and faster iterations. A GPU-accelerated PDLP serves as an approximate LP solver, while a new probing cache facilitates rapid roundings and early…
Marcin Briański, Martin Koutecký, Daniel Král’, Kristýna Pekárková + 1 more
An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint matrix A and the norm of the elements of its Graver basis. In particular, integer programming is fixed parameter tractable when parameterized by the primal…
Lu Li, Connor Thompson, Gregory Henselman-Petrusek, Chad Giusti + 1 more
Cycle representatives of persistent homology classes can be used to provide descriptions of topological features in data. However, the non-uniqueness of these representatives creates ambiguity and can lead to many different interpretations of the same set of classes. One approach to solving this problem is to optimize…
Lara Scavuzzo, Karen Aardal, Andrea Lodi, Neil Yorke-Smith
Mixed Integer Linear Programming (MILP) is a pillar of mathematical optimization that offers a powerful modeling language for a wide range of applications. The main engine for solving MILPs is the branch-and-bound algorithm. Adding to the enormous algorithmic progress in MILP solving of the past decades, in more recent…
Mikhail A. Bragin, Emily L. Tucker
Mixed-Integer Linear Programming (MILP) plays an important role across a range of scientific disciplines and within areas of strategic importance to society. The MILP problems, however, suffer from combinatorial complexity. Because of integer decision variables, as the problem size increases, the number of possible…
Jing He, Qi-wei Kong, Ho-Chung Lui, Haitao Liu + 1 more
The definition of factor space and a unified optimization based classification model were developed for linear programming and supervised learning. Intelligent behaviour appeared in a decision process can be treated as a moving point y, the dynamic state observed and controlled by the agent, moving in a factor space…
Taotao He, Mohit Tawarmalani
revenue management Authors: ['Taotao He' 'Mohit Tawarmalani'] Abstract. This paper examines nonlinear optimization problems that incorporate discrete decisions. We introduce new improved formulation techniques that take advantage of the simplotope structure present in the domain of the binarization variables. Our…
Ali Kadhim Yaqoob, Mohamed O. Saeed, Ghufran Khalil Joad, Oliyath Ali
systems Authors: ['Ali Kadhim Yaqoob' 'Mohamed O. Saeed' 'Ghufran Khalil Joad' 'Oliyath Ali'] Increasing the complexity of solving budgetary allocation (NP-hardness problem) has led a wide range of methods to minimize the costs. Metaheuristics and Linear Programming (LP) are the most optimisation in this fields.…