On Near-Linear-Time Algorithms for Dense Subset Sum release_5wll5zp5gfe25blyikammcnvw4

by Karl Bringmann, Philip Wellnitz

Released as a article .

2020  

Abstract

In the Subset Sum problem we are given a set of n positive integers X and a target t and are asked whether some subset of X sums to t. Natural parameters for this problem that have been studied in the literature are n and t as well as the maximum input number mx_X and the sum of all input numbers Σ_X. In this paper we study the dense case of Subset Sum, where all these parameters are polynomial in n. In this regime, standard pseudo-polynomial algorithms solve Subset Sum in polynomial time n^O(1). Our main question is: When can dense Subset Sum be solved in near-linear time Õ(n)? We provide an essentially complete dichotomy by designing improved algorithms and proving conditional lower bounds, thereby determining essentially all settings of the parameters n,t,mx_X,Σ_X for which dense Subset Sum is in time Õ(n). For notational convenience we assume without loss of generality that t ≥mx_X (as larger numbers can be ignored) and t ≤Σ_X/2 (using symmetry). Then our dichotomy reads as follows: - By reviving and improving an additive-combinatorics-based approach by Galil and Margalit [SICOMP'91], we show that Subset Sum is in near-linear time Õ(n) if t ≫mx_X Σ_X/n^2. - We prove a matching conditional lower bound: If Subset Sum is in near-linear time for any setting with t ≪mx_X Σ_X/n^2, then the Strong Exponential Time Hypothesis and the Strong k-Sum Hypothesis fail. We also generalize our algorithm from sets to multi-sets, albeit with non-matching upper and lower bounds.
In text/plain format

Archived Files and Locations

application/pdf  863.1 kB
file_xmrag55rkzbmnlm5dyrijuy5uy
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-10-18
Version   v1
Language   en ?
arXiv  2010.09096v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e20b0371-22c9-497b-93c8-42a0d14337d4
API URL: JSON