English
Related papers

Related papers: On integer programing with bounded determinants

200 papers

There has been significant work recently on integer programs (IPs) $\min\{c^\top x \colon Ax\leq b,\,x\in \mathbb{Z}^n\}$ with a constraint marix $A$ with bounded subdeterminants. This is motivated by a well-known conjecture claiming that,…

Data Structures and Algorithms · Computer Science 2023-02-15 Martin Nägele , Christian Nöbel , Richard Santiago , Rico Zenklusen

In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching. We consider the…

Combinatorics · Mathematics 2024-01-01 Luca Ferrarini , Samuel Fiorini , Stefan Kober , Yelena Yuditsky

Let $A \in \mathbb{Z}^{m \times n}$ be an integer matrix with components bounded by $\Delta$ in absolute value. Cook et al.~(1986) have shown that there exists a universal matrix $B \in \mathbb{Z}^{m' \times n}$ with the following property:…

Computational Complexity · Computer Science 2025-10-21 Friedrich Eisenbrand , Thomas Rothvoss

A long-standing open question in Integer Programming is whether integer programs with constraint matrices with bounded subdeterminants are efficiently solvable. An important special case thereof are congruency-constrained integer programs…

Optimization and Control · Mathematics 2023-04-26 Martin Nägele , Richard Santiago , Rico Zenklusen

A scheme $X\subset \PP^{n+c}$ of codimension $c$ is called {\em standard determinantal} if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous $t \times (t+c-1)$ matrix and $X$ is said to be {\em good…

Algebraic Geometry · Mathematics 2007-05-23 Jan O. Kleppe , Rosa M. Miro-Roig

In the classic Integer Programming (IP) problem, the objective is to decide whether, for a given $m \times n$ matrix $A$ and an $m$-vector $b=(b_1,\dots, b_m)$, there is a non-negative integer $n$-vector $x$ such that $Ax=b$. Solving (IP)…

Data Structures and Algorithms · Computer Science 2018-07-18 Fedor V. Fomin , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

We consider integer programming problems $\max \{ c^T x : \mathcal{A} x = b, l \leq x \leq u, x \in \mathbb{Z}^{nt}\}$ where $\mathcal{A}$ has a (recursive) block-structure generalizing "$n$-fold integer programs" which recently received…

Discrete Mathematics · Computer Science 2018-02-20 Friedrich Eisenbrand , Christoph Hunkenschröder , Kim-Manuel Klein

Given a $d \times n$ integer matrix $A$, the main result is an elementary, simple-to-state algorithm that finds the largest $A$-graded ideal contained in any ideal $I$ in a polynomial ring $\Bbbk[x_1,\ldots,x_n]$. The special case where $A$…

Commutative Algebra · Mathematics 2016-06-01 Ezra Miller

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

We consider the nonlinear integer programming problem of minimizing a quadratic function over the integer points in variable dimension satisfying a system of linear inequalities. We show that when the Graver basis of the matrix defining the…

Optimization and Control · Mathematics 2014-05-08 Jon Lee , Shmuel Onn , Lyubov Romanchuk , Robert Weismantel

Given integers a_0 \le a_1 \le ... \le a_{t+c-2} and b_1 \le ... \le b_t, we denote by W(b;a) \subset Hilb^p(\PP^{n}) the locus of good determinantal schemes X \subset \PP^{n} of codimension c defined by the maximal minors of a t x (t+c-1)…

Algebraic Geometry · Mathematics 2011-09-15 Jan O. Kleppe , Rosa M. Miró-Roig

In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. Given a permutation $\pi$ of $n$ variables, for a $\pi$-ordered ABP ($\pi$-OABP), for any…

Computational Complexity · Computer Science 2010-02-09 Maurice Jansen , Youming Qiao , Jayalal Sarma

Solving integer programs of the form $\min \{\mathbf{x} \mid A\mathbf{x} = \mathbf{b}, \mathbf{l} \leq \mathbf{x} \leq \mathbf{u}, \mathbf{x} \in \mathbb{Z}^n \}$ is, in general, $\mathsf{NP}$-hard. Hence, great effort has been put into…

Data Structures and Algorithms · Computer Science 2025-10-28 Marcin Briański , Alexandra Lassota , Kristýna Pekárková , Michał Pilipczuk , Janina Reuter

The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this…

Commutative Algebra · Mathematics 2023-09-18 Ada Boralevi , Jasper van Doornmalen , Jan Draisma , Michiel E. Hochstenbach , Bor Plestenjak

We show that a variant of the random-edge pivoting rule results in a strongly polynomial time simplex algorithm for linear programs $\max\{c^Tx \colon Ax\leq b\}$, whose constraint matrix $A$ satisfies a geometric property introduced by…

Data Structures and Algorithms · Computer Science 2016-03-22 Friedrich Eisenbrand , Santosh Vempala

In the Determinant Maximization problem, given an $n\times n$ positive semi-definite matrix $\bf{A}$ in $\mathbb{Q}^{n\times n}$ and an integer $k$, we are required to find a $k\times k$ principal submatrix of $\bf{A}$ having the maximum…

Data Structures and Algorithms · Computer Science 2024-02-20 Naoto Ohsaka

We consider so-called $N$-fold integer programs (IPs) of the form $\max\{c^T x : Ax = b, \ell \leq x \leq u, x \in \mathbb Z^{nt}\}, where $A \in \mathbb Z^{(r+sn)\times nt} consists of $n$ arbitrary matrices $A^{(i)} \in \mathbb Z^{r\times…

Data Structures and Algorithms · Computer Science 2024-07-11 David Fischer , Julian Golak , Matthias Mnich

Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically,…

Optimization and Control · Mathematics 2008-09-09 Jiawang Nie , Kristian Ranestad , Bernd Sturmfels

We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our…

Combinatorics · Mathematics 2025-01-31 Samuel Fiorini , Gwenaël Joret , Stefan Weltge , Yelena Yuditsky

A rank-$r$ integer matrix $A$ is $\Delta$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $\Delta$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer…

Combinatorics · Mathematics 2024-05-03 James Oxley , Zach Walsh