Abstract:In this paper, we address the problem of counting integer points in a rational polytope described by P(y) = {x ∈ ℝm: Ax= y, x ≥ 0}, where A is an n × m integer matrix and y is an n-dimensional integer vector. We study the Z transformation approach initiated in works by Brion and Vergne, Beck, and Lasserre and Zeron from the numerical analysis point of view and obtain a new algorithm on this problem. If A is nonnegative, then the number of integer points in P(y) can be computed in <math>O(poly(n,m,‖y‖∞)(‖y‖∞+1)n)</math> time and <math>O(poly(n,m,‖y‖∞))</math> space. This improves, in terms of space complexity, a naive DP algorithm with <math>O((‖y‖∞+1)n)</math>-size dynamic programming table. Our result is based on the standard error analysis of the numerical contour integration for the inverse Z transform and establishes a new type of an inclusion-exclusion formula for integer points in P(y).We apply our result to hypergraph b-matching and obtain a <math>O(poly(n,m,‖b‖∞)(‖b‖∞+1)(1−1/k)n)</math> time algorithm for counting b-matchings in a k-partite hypergraph with n vertices and m hyperedges. This result is viewed as a b-matching generalization of the classical result by Ryser for k = 2 and its multipartite extension by Björklund and Husfeldt.

Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Reachability of Affine Systems on Polytopes

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

Necessary and Sufficient Conditions for Reachability of Discrete Time Affine Systems on Simplices

Finite flag-transitive affine planes with a solvable automorphism group.

Stability and strict positive realness of convex polytopes of interval polynomials

Robust positively invariant sets of discrete-time convex polyhedral system family

Intersection bodies of polytopes: translations and convexity

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

ROBUST POSITIVELY INVARIANT SETS OF DISCRETE-TIME NONLINEAR AND TIME-VARIABLE CONVEX POLYHEDRAL SYSTEM FAMILY

Enumerating integer points in polytopes with bounded subdeterminants

On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems

On the connected (sub)partition polytope

Choice of directions for the approximation of reachable sets for hybrid systems

New covering and illumination results for a class of polytopes

Wondertopes

Self-Reachable Configuration Polytopes for Trees

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

On the Difficulty of Intersection Checking with Polynomial Zonotopes

The Service Rate Region Polytope

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