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.

An Improved Pseudopolynomial Time Algorithm for Subset Sum

Beating Bellman's Algorithm for Subset Sum

Faster Algorithms for Bounded Knapsack and Bounded Subset Sum Via Fine-Grained Proximity Results

Improved Space Bounds for Subset Sum

Equal-Subset-Sum Faster Than the Meet-in-the-Middle

Set multi-covering via inclusion-exclusion

Learning-augmented Algorithms for Online Subset Sum

Sumsets, 3SUM, Subset Sum: Now for Real!

Dynamic programming based algorithms for set multicover and multiset multicover problems

Polynomial Time Algorithms for Integer Programming and Unbounded Subset Sum in the Total Regime

A Faster Algorithm for Pigeonhole Equal Sums

Lower time bounds for parallel solving of the subset sum problem by a dynamic programming algorithm

A Polynomial Algorithm for Some Relaxed Subset Sum Problems with Real Numbers

Fast Modular Subset Sum using Linear Sketching

Space--Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm

Sublinear Metric Steiner Tree via Improved Bounds for Set Cover

Improving Lagarias-Odlyzko Algorithm For Average-Case Subset Sum: Modular Arithmetic Approach

Testing Sumsets is Hard

On the number of sets with small sumset

Approximately Counting Knapsack Solutions in Subquadratic Time

A Polynomial Time Algorithm for Calculating Fourier-Dedekind Sums