Abstract:In our work, we consider the problem of computing a vector $x \in Z^n$ of minimum $\|\cdot\|_p$-norm such that $a^\top x \not= a_0$, for any vector $(a,a_0)$ from a given subset of $Z^n$ of size $m$. In other words, we search for a vector of minimum norm that avoids a given finite set of hyperplanes, which is natural to call as the $\textit{Hyperplanes Avoiding Problem}$. This problem naturally appears as a subproblem in Barvinok-type algorithms for counting integer points in polyhedra. More precisely, it appears when one needs to evaluate certain rational generating functions in an avoidable critical point. We show that: 1) With respect to $\|\cdot\|_1$, the problem admits a feasible solution $x$ with $\|x\|_1 \leq (m+n)/2$, and show that such solution can be constructed by a deterministic polynomial-time algorithm with $O(n \cdot m)$ operations. Moreover, this inequality is the best possible. This is a significant improvement over the previous randomized algorithm, which computes $x$ with a guaranty $\|x\|_{1} \leq n \cdot m$. The original approach of A.~Barvinok can guarantee only $\|x\|_1 = O\bigl((n \cdot m)^n\bigr)$; 2) The problem is NP-hard with respect to any norm $\|\cdot\|_p$, for $p \in \bigl(R_{\geq 1} \cup \{\infty\}\bigr)$. 3) As an application, we show that the problem to count integer points in a polytope $P = \{x \in R^n \colon A x \leq b\}$, for given $A \in Z^{m \times n}$ and $b \in Q^m$, can be solved by an algorithm with $O\bigl(\nu^2 \cdot n^3 \cdot \Delta^3 \bigr)$ operations, where $\nu$ is the maximum size of a normal fan triangulation of $P$, and $\Delta$ is the maximum value of rank-order subdeterminants of $A$. It refines the previous state-of-the-art $O\bigl(\nu^2 \cdot n^4 \cdot \Delta^3\bigr)$-time algorithm.

Enumerating integer points in polytopes with bounded subdeterminants

A first efficient algorithm for enumerating all the extreme points of a bisubmodular polyhedron

Integer Feasibility of Random Polytopes

Detecting Points in Integer Cones of Polytopes is Double-Exponentially Hard

Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra

Characterizing the integer points in 2-decomposable polyhedra by closedness under operations

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Integer programs with bounded subdeterminants and two nonzeros per row

Note on the complexity of the mixed-integer hull of a polyhedron

Counting vertices of integral polytopes defined by facets

Enumeration of points, lines, planes, etc

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators

Characterizations of the set of integer points in an integral bisubmodular polyhedron

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

On the Combinatorial Complexity of Approximating Polytopes

The Polytope of Dual Degree Partitions

Approximate Integer Solution Counts over Linear Arithmetic Constraints

A New and Faster Representation for Counting Integer Points in Parametric Polyhedra

On the Polyhedral Decision Problem

Random Shadows of Fixed Polytopes