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.

Finding the Minimum Number of Elements with Sum above a Threshold

Quickly Finding the Smallest Numerical Subset with Its Sum above a Threshold

[Performance Analysis of Threshold Denoising Via Different Kinds of Mother Wavelets].

Denoising by Wavelet Soft-Thresholding in Fault Analysis

Non-Stochastic CDF Estimation Using Threshold Queries

Data-Time Tradeoffs for Optimal k-Thresholding Algorithms in Compressed Sensing

Iterative Thresholding Methods for Longest Minimal Length Partitions

Adaptive Threshold For Avs All-Zero Block Detection

An Improved Wavelet De-noising Method for Time Series Analysis.

A New Wavelet Threshold Function and Denoising Application

Minimizing Sum of Truncated Convex Functions and Its Applications

Computing Unrestricted Synopses under Maximum Error Bound.

Uncertainty Analysis of Decomposition Level Choice in Wavelet Threshold De-Noising

A new inexact iterative hard thresholding algorithm for compressed sensing

Worst-Case Misidentification Control in Sequential Change Diagnosis using the min-CuSum

The Summation and Bottleneck Minimization for Single-Step Searching on Weighted Graphs

Answering unique topic queries with dynamic threshold

Approximately Counting Knapsack Solutions in Subquadratic Time

Study of Algorithm for Removing Noise in Low Light Level Image by Using Wavelet Transform

Noisy Computing of the Threshold Function

Threshold Optimization with a Small Number of Samples in Adaptive Information Filtering