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.

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

Dynamic programming based algorithms for set multicover and multiset multicover problems

Exact Algorithms for Set Multicover and Multiset Multicover Problems

Parameterized Algorithms on Integer Sets with Small Doubling: Integer Programming, Subset Sum and k-SUM

Kernelization of Counting Problems

Some New Congruences Concerning Binomial Coefficients

The Complexity of Testing Monomials in Multivariate Polynomials

Multicommutators and Multiplier Theorems

Arithmetic Circuit Lower Bounds via MaxRank

Approximately Counting Knapsack Solutions in Subquadratic Time

Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions

Parameterized Approximation Algorithms and Lower Bounds for k-Center Clustering and Variants

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

The multilinear circle method and a question of Bergelson

Construction of multivariate polynomial approximation kernels via semidefinite programming

Fast Sampling and Counting K-Sat Solutions in the Local Lemma Regime.

Approximating submodular $k$-partition via principal partition sequence

Practical and Parallelizable Algorithms for Non-Monotone Submodular Maximization with Size Constraint

Sublinear Approximation Algorithms for Boxicity and Related Problems

Practical Parallel Algorithms for Non-Monotone Submodular Maximization

Discretely Beyond $1/e$: Guided Combinatorial Algorithms for Submodular Maximization