English
Related papers

Related papers: Totally $\Delta$-modular IPs with two non-zeros in…

200 papers

We consider the following problem: Given a rational matrix $A \in \setQ^{m \times n}$ and a rational polyhedron $Q \subseteq\setR^{m+p}$, decide if for all vectors $b \in \setR^m$, for which there exists an integral $z \in \setZ^p$ such…

Optimization and Control · Mathematics 2008-01-29 Friedrich Eisenbrand , Gennady Shmonin

In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove…

Data Structures and Algorithms · Computer Science 2021-02-02 Juan Ignacio Mulero-Martínez

A polynomial-time algorithm for 0-1 integer linear programmings has been proposed. This method continues the classic idea of solving ILP with its LP relaxation. The innovation is that every constraint in the LP is reconstructed into a…

Optimization and Control · Mathematics 2023-06-19 G. Q. Zhang

The present paper deals with the discrete inverse problem of reconstructing binary matrices from their row and column sums under additional constraints on the number and pattern of entries in specified minors. While the classical…

Data Structures and Algorithms · Computer Science 2017-02-22 Andreas Alpers , Peter Gritzmann

We show that the shadow vertex simplex algorithm can be used to solve linear programs in strongly polynomial time with respect to the number $n$ of variables, the number $m$ of constraints, and $1/\delta$, where $\delta$ is a parameter that…

Data Structures and Algorithms · Computer Science 2014-12-18 Tobias Brunsch , Anna Großwendt , Heiko Röglin

We study the general integer programming problem where the number of variables $n$ is a variable part of the input. We consider two natural parameters of the constraint matrix $A$: its numeric measure $a$ and its sparsity measure $d$. We…

Optimization and Control · Mathematics 2022-08-01 Friedrich Eisenbrand , Christoph Hunkenschröder , Kim-Manuel Klein , Martin Koutecký , Asaf Levin , Shmuel Onn

The Burer-Monteiro method is one of the most widely used techniques for solving large-scale semidefinite programs (SDP). The basic idea is to solve a nonconvex program in $Y$, where $Y$ is an $n \times p$ matrix such that $X = Y Y^T$. In…

Optimization and Control · Mathematics 2021-05-10 Diego Cifuentes , Ankur Moitra

In the (binary) Distinct Vectors problem we are given a binary matrix A with pairwise different rows and want to select at most k columns such that, restricting the matrix to these columns, all rows are still pairwise different. A result by…

Computational Complexity · Computer Science 2023-06-22 Marcin Pilipczuk , Manuel Sorge

Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject…

Optimization and Control · Mathematics 2017-01-03 Raymond Hemmecke , Matthias Köppe , Jon Lee , Robert Weismantel

Integer linear programs (ILPs) are a widely applied framework for dealing with combinatorial problems that arise in practice. It is known, e.g., by the success of CPLEX, that preprocessing and simplification can greatly speed up the process…

Computational Complexity · Computer Science 2013-02-18 Stefan Kratsch

Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an…

Discrete Mathematics · Computer Science 2020-05-18 Christopher Hojny , Marc E. Pfetsch , Matthias Walter

Structured output prediction problems (e.g., sequential tagging, hierarchical multi-class classification) often involve constraints over the output label space. These constraints interact with the learned models to filter infeasible…

Machine Learning · Computer Science 2021-06-14 Tao Meng , Kai-Wei Chang

This paper investigates two related optimal input selection problems for fixed (non-switched) and switched structured systems. More precisely, we consider selecting the minimum cost of inputs from a prior set of inputs, and selecting the…

Systems and Control · Electrical Eng. & Systems 2022-10-20 Yuan Zhang , Yuanqing Xia , Shenyu Liu , Zhongqi Sun

We give an exact algorithm for the 0-1 Integer Linear Programming problem with a linear number of constraints that improves over exhaustive search by an exponential factor. Specifically, our algorithm runs in time…

Computational Complexity · Computer Science 2014-02-20 Russell Impagliazzo , Shachar Lovett , Ramamohan Paturi , Stefan Schneider

We study fundamental block-structured integer programs called tree-fold and multi-stage IPs. Tree-fold IPs admit a constraint matrix with independent blocks linked together by few constraints in a recursive pattern; and transposing their…

Computational Complexity · Computer Science 2024-02-28 Christoph Hunkenschröder , Kim-Manuel Klein , Martin Koutecký , Alexandra Lassota , Asaf Levin

We propose a very simple preprocessing algorithm for semidefinite programming. Our algorithm inspects the constraints of the problem, deletes redundant rows and columns in the constraints, and reduces the size of the variable matrix. It…

Optimization and Control · Mathematics 2016-08-09 Preston Faulk , Gabor Pataki , Quoc Tran-Dinh

Short integer linear programs are programs with a relatively small number of constraints. We show how recent improvements on the running-times of solvers for such programs can be used to obtain fast pseudo-polynomial time algorithms for…

Data Structures and Algorithms · Computer Science 2026-02-09 Danny Hermelin , Dvir Shabtay

We study the maximal number of pairwise distinct columns in a $\Delta$-modular integer matrix with $m$ rows. Recent results by Lee et al. provide an asymptotically tight upper bound of $O(m^2)$ for fixed $\Delta$. We complement this and…

Combinatorics · Mathematics 2022-07-12 Gennadiy Averkov , Matthias Schymura

Inferring probabilistic networks from data is a notoriously difficult task. Under various goodness-of-fit measures, finding an optimal network is NP-hard, even if restricted to polytrees of bounded in-degree. Polynomial-time algorithms are…

Data Structures and Algorithms · Computer Science 2012-08-16 Serge Gaspers , Mikko Koivisto , Mathieu Liedloff , Sebastian Ordyniak , Stefan Szeider

Answering a question of Haugland, we show that the pooling problem with one pool and a bounded number of inputs can be solved in polynomial time by solving a polynomial number of linear programs of polynomial size. We also give an overview…

Optimization and Control · Mathematics 2017-02-09 Natashia Boland , Thomas Kalinowski , Fabian Rigterink