Fast and Simple Modular Subset Sum

作者: Christos Tzamos , Arturs Backurs , Karl Bringmann , Vasileios Nakos , Kyriakos Axiotis

DOI:

关键词:

摘要: We revisit the Subset Sum problem over finite cyclic group $\mathbb{Z}_m$ for some given integer $m$. A series of recent works has provided asymptotically optimal algorithms this under Strong Exponential Time Hypothesis. Koiliaris and Xu (SODA'17, TALG'19) gave a deterministic algorithm running in time $\tilde{O}(m^{5/4})$, which was later improved to $O(m \log^7 m)$ randomized by Axiotis et al. (SODA'19). In work, we present two simple Modular near-linear $m$, both efficiently implementing Bellman's iteration $\mathbb{Z}_m$. The first one is $O(m\log^2 m)$, that based solely on rolling hash an elementary data-structure prefix sums; illustrate its simplicity provide short efficient implementation Python. Our second solution $O(m\ \mathrm{polylog}\ uses dynamic data structures string manipulation. further show techniques developed work can also lead All Pairs Non-Decreasing Paths Problem (APNP) undirected graphs, matching $\tilde{O}(n^2)$ Duan (ICALP'19).

参考文章(28)
Seth Pettie, Ran Duan, Fast algorithms for (max, min)-matrix multiplication and bottleneck shortest paths symposium on discrete algorithms. pp. 384- 391 ,(2009) , 10.5555/1496770.1496813
Mihai Patrascu, Erik D. Demaine, Logarithmic Lower Bounds in the Cell-Probe Model SIAM Journal on Computing. ,vol. 35, pp. 932- 963 ,(2006) , 10.1137/S0097539705447256
Virginia Vassilevska Williams, Nondecreasing paths in a weighted graph or: How to optimally read a train schedule ACM Transactions on Algorithms. ,vol. 6, pp. 70- ,(2010) , 10.1145/1824777.1824790
Don Coppersmith, Shmuel Winograd, Matrix multiplication via arithmetic progressions Journal of Symbolic Computation. ,vol. 9, pp. 251- 280 ,(1990) , 10.1016/S0747-7171(08)80013-2
Virginia Vassilevska Williams, Multiplying matrices faster than coppersmith-winograd Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 887- 898 ,(2012) , 10.1145/2213977.2214056
Peter M. Fenwick, A new data structure for cumulative frequency tables Software - Practice and Experience. ,vol. 24, pp. 327- 336 ,(1994) , 10.1002/SPE.4380240306
Gerth Stølting Brodal, Stephen Alstrup, Theis Rauhe, Pattern matching in dynamic texts symposium on discrete algorithms. pp. 819- 828 ,(2000) , 10.5555/338219.338645
François Le Gall, Powers of tensors and fast matrix multiplication Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14. pp. 296- 303 ,(2014) , 10.1145/2608628.2608664
Y.O. Hamidoune, A.S. Lladó, O. Serra, On complete subsets of the cyclic group Journal of Combinatorial Theory, Series A. ,vol. 115, pp. 1279- 1285 ,(2008) , 10.1016/J.JCTA.2007.12.007
Virginia Vassilevska, R. Ryan Williams, Raphael Yuster, All-pairs bottleneck paths and max-min matrix products in truly subcubic time † Theory of Computing. ,vol. 5, pp. 173- 189 ,(2009) , 10.4086/TOC.2009.V005A009