English
Related papers

Related papers: Integer Feasibility of Random Polytopes

200 papers

In this paper the problem of maximizing the distance to a given fixed point over an intersection of balls is considered. It is known that this problem is NP complete in the general case, since any subset sum problem can be solved upon…

Optimization and Control · Mathematics 2023-07-26 Marius Costandin

In [Sau11,SPW13], Saunderson, Parrilo and Willsky asked the following elegant geometric question: what is the largest $m= m(d)$ such that there is an ellipsoid in $\mathbb{R}^d$ that passes through $v_1, v_2, \ldots, v_m$ with high…

Probability · Mathematics 2023-07-13 Jun-Ting Hsieh , Pravesh K. Kothari , Aaron Potechin , Jeff Xu

Given an integer matrix A satisfying certain regularity assumptions, we consider for a positive integer s the set F_s(A) of all integer vectors b such that the associated knapsack polytope P(A,b)={x: Ax=b, x non-negative} contains at least…

Combinatorics · Mathematics 2012-11-15 Iskander Aliev , Martin Henk , Eva Linke

A $0/1$-polytope in $\mathbb{R}^n$ is the convex hull of a subset of $\{0,1\}^n$. The graph of a polytope $P$ is the graph whose vertices are the zero-dimensional faces of $P$ and whose edges are the one-dimensional faces of $P$. A…

Combinatorics · Mathematics 2025-09-15 Asaf Ferber , Michael Krivelevich , Marcelo Sales , Wojciech Samotij

Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementation of geometric algorithms. If the adoption of the --exact…

Computational Geometry · Computer Science 2007-05-23 Olivier Devillers , Philippe Guigue

Let $d$ be a positive integer. For a finite set $X \subseteq \mathbb{R}^d$, we define its integer cone as the set $\mathsf{IntCone}(X) := \{ \sum_{x \in X} \lambda_x \cdot x \mid \lambda_x \in \mathbb{Z}_{\geq 0} \} \subseteq \mathbb{R}^d$.…

Data Structures and Algorithms · Computer Science 2023-07-04 Łukasz Kowalik , Alexandra Lassota , Konrad Majewski , Michał Pilipczuk , Marek Sokołowski

Given real numbers whose sum is an integer, we study the problem of finding integers which match these real numbers as closely as possible, in the sense of L^p norm, while preserving the sum. We describe the structure of solutions for this…

Data Structures and Algorithms · Computer Science 2015-01-05 Rama Cont , Massoud Heidari

We consider approximation of diameter of a set $S$ of $n$ points in dimension $m$. E$\tilde{g}$ecio$\tilde{g}$lu and Kalantari \cite{kal} have shown that given any $p \in S$, by computing its farthest in $S$, say $q$, and in turn the…

Computational Geometry · Computer Science 2014-10-09 Sharareh Alipour , Bahman Kalantari , Hamid Homapour

The Integer Programming Problem (IP) for a polytope P \subseteq R^n is to find an integer point in P or decide that P is integer free. We give an algorithm for an approximate version of this problem, which correctly decides whether P…

Data Structures and Algorithms · Computer Science 2011-10-03 Daniel Dadush

Counting integer solutions of linear constraints has found interesting applications in various fields. It is equivalent to the problem of counting lattice points inside a polytope. However, state-of-the-art algorithms for this problem…

Data Structures and Algorithms · Computer Science 2023-12-15 Cunjing Ge

Since the beginning of the development of interior-point methods, there exists a puzzling gap between the results in theory and the observations in numerical experience, i.e., algorithms with good polynomial bound are not computationally…

Optimization and Control · Mathematics 2018-03-02 Yaguang Yang

We obtain new transference bounds that connect two active areas of research: proximity and sparsity of solutions to integer programs. Specifically, we study the additive integrality gap of the integer linear programs min{cx: x in P, x…

Optimization and Control · Mathematics 2024-03-18 Iskander Aliev , Marcel Celaya , Martin Henk

We study proportions of consecutive occurrences of permutations of a given size. Specifically, the feasible limits of such proportions on large permutations form a region, called feasible region. We show that this feasible region is a…

Combinatorics · Mathematics 2020-11-10 Jacopo Borga , Raul Penaguiao

Suppose $\left \{ X_{i,k}; 1\le i \le p, 1\le k \le n \right \} $ is an array of i.i.d.~real random variables. Let $\left \{ p=p_{n}; n \ge1 \right \} $ be positive integers. Consider the maximum interpoint distance $M_{n}=\max_{1\le i<…

Probability · Mathematics 2023-12-27 Haibin Zhang , Yong Zhang , Xue Ding

Motivated by the need to better understand the properties of sparse cutting-planes used in mixed integer programming solvers, the paper [2] studied the idealized problem of how well a polytope is approximated by the use of sparse valid…

Optimization and Control · Mathematics 2014-12-12 Santanu S. Dey , Andres Iroume , Marco Molinaro

Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $\Delta$-modular, where the polytope $P$ is called $\Delta$-modular if all the rank…

Computational Complexity · Computer Science 2023-05-09 D. V. Gribanov , D. S. Malyshev

For a binary integer program (IP) ${\rm max} ~ c^\mathsf{T} x, Ax \leq b, x \in \{0,1\}^n$, where $A \in \mathbb{R}^{m \times n}$ and $c \in \mathbb{R}^n$ have independent Gaussian entries and the right-hand side $b \in \mathbb{R}^m$…

Optimization and Control · Mathematics 2021-06-03 Sander Borst , Daniel Dadush , Sophie Huiberts , Samarth Tiwari

We study the singularity probability of random integer matrices. Concretely, the probability that a random $n \times n$ matrix, with integer entries chosen uniformly from $\{-m,\ldots,m\}$, is singular. This problem has been well studied in…

Computational Complexity · Computer Science 2021-09-01 Sankeerth Rao Karingula , Shachar Lovett

We establish a general formula for the maximum size of finite length block codes with minimum pairwise distance no less than $d$. The achievability argument involves an iterative construction of a set of radius-$d$ balls, each centered at a…

Information Theory · Computer Science 2018-05-03 Ling-Hua Chang , Po-Ning Chen , Vincent Y. F. Tan , Carol Wang , Yunghsiang S. Han

We study a general smallest intersecting ball problem and its soft-margin variant in high-dimensional Euclidean spaces for input objects that are compact and convex. These two problems link and unify a series of fundamental problems in…

Computational Geometry · Computer Science 2025-05-27 Jiaqi Zheng , Tiow-Seng Tan