Abstract:We revisit the classic #Knapsack problem, which asks to count the Boolean points $(x_1,\dots,x_n)\in\{0,1\}^n$ in a given half-space $\sum_{i=1}^nW_ix_i\le T$. This #P-complete problem admits $(1\pm\epsilon)$-approximation. Before this work, [Dyer, STOC 2003]'s $\tilde{O}(n^{2.5}+n^2{\epsilon^{-2}})$-time randomized approximation scheme remains the fastest known in the natural regime of $\epsilon\ge 1/polylog(n)$. In this paper, we give a randomized $(1\pm\epsilon)$-approximation algorithm in $\tilde{O}(n^{1.5}{\epsilon^{-2}})$ time (in the standard word-RAM model), achieving the first sub-quadratic dependence on $n$. Such sub-quadratic running time is rare in the approximate counting literature in general, as a large class of algorithms naturally faces a quadratic-time barrier. Our algorithm follows Dyer's framework, which reduces #Knapsack to the task of sampling (and approximately counting) solutions in a randomly rounded instance with poly(n)-bounded integer weights. We refine Dyer's framework using the following ideas: - We decrease the sample complexity of Dyer's Monte Carlo method, by proving some structural lemmas for typical points near the input hyperplane via hitting-set arguments, and appropriately setting the rounding scale. - Instead of running a vanilla dynamic program on the rounded instance, we employ techniques from the growing field of pseudopolynomial-time Subset Sum algorithms, such as FFT, divide-and-conquer, and balls-into-bins hashing of [Bringmann, SODA 2017]. We also need other ingredients, including a surprising application of the recent Bounded Monotone (max,+)-Convolution algorithm by [Chi-Duan-Xie-Zhang, STOC 2022] (adapted by [Bringmann-Dürr-Polak, ESA 2024]), the notion of sum-approximation from [Gawrychowski-Markin-Weimann, ICALP 2018]'s #Knapsack approximation scheme, and a two-phase extension of Dyer's framework for handling tiny weights.

On the Two-Dimensional Knapsack Problem for Convex Polygons

On Two Dimensional Orthogonal Knapsack Problem

On Rectangle Packing: Maximizing Benefits.

Maximizing the Total Profit of Rectangles Packed into a Rectangle

Approximate Truthful Mechanism Design For Two-Dimensional Orthogonal Knapsack Problem

Approximating the Geometric Knapsack Problem in Near-Linear Time and Dynamically

Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects

A parameterized approximation scheme for the 2D-Knapsack problem with wide items

Approximating the Maximum Independent Set of Convex Polygons with a Bounded Number of Directions

Online Sorting and Translational Packing of Convex Polygons

Packing stretched convex polygons in an optimized rectangle

0-1 Knapsack in Nearly Quadratic Time

Convex Polygon Containment: Improving Quadratic to Near Linear Time

Approximately Counting Knapsack Solutions in Subquadratic Time

Shadoks Approach to Knapsack Polygonal Packing

Faster 0-1-Knapsack via Near-Convex Min-Plus-Convolution

An Exact Algorithm for 0-1 Polynomial Knapsack Problems

On Approximation Schemes for Stabbing Rectilinear Polygons

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

Mathematical Programming Algorithms for Convex Hull Approximation with a Hyperplane Budget

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes