eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2022-09-01
6:1
6:18
10.4230/LIPIcs.ESA.2022.6
article
Classical and Quantum Algorithms for Variants of Subset-Sum via Dynamic Programming
Allcock, Jonathan
1
https://orcid.org/0000-0003-3545-0565
Hamoudi, Yassine
2
https://orcid.org/0000-0002-3762-0612
Joux, Antoine
3
Klingelhöfer, Felix
4
Santha, Miklos
5
Tencent Quantum Laboratory, Hong Kong, China
Simons Institute for the Theory of Computing, University of California, Berkeley, CA, USA
CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
G-SCOP, Université Grenoble Alpes, France
Centre for Quantum Technologies and MajuLab, National University of Singapore, Singapore
Subset-Sum is an NP-complete problem where one must decide if a multiset of n integers contains a subset whose elements sum to a target value m. The best known classical and quantum algorithms run in time Õ(2^{n/2}) and Õ(2^{n/3}), respectively, based on the well-known meet-in-the-middle technique. Here we introduce a novel classical dynamic-programming-based data structure with applications to Subset-Sum and a number of variants, including Equal-Sums (where one seeks two disjoint subsets with the same sum), 2-Subset-Sum (a relaxed version of Subset-Sum where each item in the input set can be used twice in the summation), and Shifted-Sums, a generalization of both of these variants, where one seeks two disjoint subsets whose sums differ by some specified value.
Given any modulus p, our data structure can be constructed in time O(np), after which queries can be made in time O(n) to the lists of subsets summing to any value modulo p. We use this data structure in combination with variable-time amplitude amplification and a new quantum pair finding algorithm, extending the quantum claw finding algorithm to the multiple solutions case, to give an O(2^{0.504n}) quantum algorithm for Shifted-Sums. This provides a notable improvement on the best known O(2^{0.773n}) classical running time established by Mucha et al. [Mucha et al., 2019]. We also study Pigeonhole Equal-Sums, a variant of Equal-Sums where the existence of a solution is guaranteed by the pigeonhole principle. For this problem we give faster classical and quantum algorithms with running time Õ(2^{n/2}) and Õ(2^{2n/5}), respectively.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol244-esa2022/LIPIcs.ESA.2022.6/LIPIcs.ESA.2022.6.pdf
Quantum algorithm
classical algorithm
dynamic programming
representation technique
subset-sum
equal-sum
shifted-sum