On Multidimensional and Monotone k-SUM
The well-known k-SUM conjecture is that integer k-SUM requires time Omega(n^{\ceil{k/2}-o(1)}). Recent work has studied multidimensional k-SUM in F_p^d, where the best known algorithm takes time \tilde O(n^{\ceil{k/2}}). Bhattacharyya et al. [ICS 2011] proved a min(2^{\Omega(d)},n^{\Omega(k)}) lower bound for k-SUM in F_p^d under the Exponential Time Hypothesis. We give a more refined lower bound under the standard k-SUM conjecture: for sufficiently large p, k-SUM in F_p^d requires time Omega(n^{k/2-o(1)}) if k is even, and Omega(n^{\ceil{k/2}-2k(log k)/(log p)-o(1)}) if k is odd.
For a special case of the multidimensional problem, bounded monotone d-dimensional 3SUM, Chan and Lewenstein [STOC 2015] gave a surprising \tilde O(n^{2-2/(d+13)}) algorithm using additive combinatorics. We show this algorithm is essentially optimal. To be more precise, bounded monotone d-dimensional 3SUM requires time Omega(n^{2-\frac{4}{d}-o(1)}) under the standard 3SUM conjecture, and time Omega(n^{2-\frac{2}{d}-o(1)}) under the so-called strong 3SUM conjecture. Thus, even though one might hope to further exploit the structural advantage of monotonicity, no substantial improvements beyond those obtained by Chan and Lewenstein are possible for bounded monotone d-dimensional 3SUM.
3SUM
kSUM
monotone 3SUM
strong 3SUM conjecture
50:1-50:13
Regular Paper
Chloe Ching-Yun
Hsu
Chloe Ching-Yun Hsu
Chris
Umans
Chris Umans
10.4230/LIPIcs.MFCS.2017.50
Amir Abboud and Kevin Lewi. Exact weight subgraphs and the k-SUM conjecture. In International Colloquium on Automata, Languages, and Programming, pages 1-12. Springer, 2013.
Amir Abboud, Kevin Lewi, and Ryan Williams. Losing weight by gaining edges. In European Symposium on Algorithms, pages 1-12. Springer, 2014.
Nir Ailon and Bernard Chazelle. Lower bounds for linear degeneracy testing. Journal of the ACM (JACM), 52(2):157-171, 2005.
Amihood Amir, Timothy M Chan, Moshe Lewenstein, and Noa Lewenstein. On hardness of jumbled indexing. In Automata, Languages, and Programming, pages 114-125. Springer, 2014.
Ilya Baran, Erik D Demaine, and Mihai Pătraşcu. Subquadratic algorithms for 3SUM. Algorithmica, 50(4):584-596, 2008.
Arnab Bhattacharyya, Piotr Indyk, David P Woodruff, and Ning Xie. The complexity of linear dependence problems in vector spaces. In ICS, pages 496-508, 2011.
Timothy M Chan and Moshe Lewenstein. Clustered integer 3SUM via additive combinatorics. In Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, pages 31-40. ACM, 2015.
Rod G Downey, Michael R Fellows, Alexander Vardy, and Geoff Whittle. The parametrized complexity of some fundamental problems in coding theory. SIAM Journal on Computing, 29(2):545-570, 1999.
Jeff Erickson. Lower bounds for linear satisfiability problems. In Chicago Journal of Theoretical Computer Science, volume 8, 1999.
Ari Freund. Improved subquadratic 3sum. Algorithmica, pages 1-19, 2015.
Anka Gajentaan and Mark H Overmars. On a class of O(n²) problems in computational geometry. Computational Geometry, 5(3):165-185, 1995.
Omer Gold and Micha Sharir. Improved bounds for 3sum, k-sum, and linear degeneracy. arXiv preprint arXiv:1512.05279, 2015.
Isaac Goldstein, Tsvi Kopelowitz, Moshe Lewenstein, and Ely Porat. How hard is it to find (honest) witnesses? In LIPIcs-Leibniz International Proceedings in Informatics, volume 57. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016.
Allan Grønlund and Seth Pettie. Threesomes, degenerates, and love triangles. In Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on, pages 621-630. IEEE, 2014.
Zahra Jafargholi and Emanuele Viola. 3SUM, 3XOR, triangles. Algorithmica, 74(1):326-343, 2016.
Tsvi Kopelowitz, Seth Pettie, and Ely Porat. Higher lower bounds from the 3sum conjecture. In Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1272-1287. Society for Industrial and Applied Mathematics, 2016.
Mihai Pătraşcu. Towards polynomial lower bounds for dynamic problems. In Proceedings of the Forty-Second ACM Symposium on Theory of computing, pages 603-610. ACM, 2010.
Mihai Pătraşcu and Ryan Williams. On the possibility of faster SAT algorithms. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1065-1075. SIAM, 2010.
Virginia Vassilevska and Ryan Williams. Finding, minimizing, and counting weighted subgraphs. In Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing, pages 455-464. ACM, 2009.
Emanuele Viola. Reducing 3XOR to listing triangles, an exposition. In Electronic Colloquium on Computational Complexity (ECCC), volume 18, page 113, 2011.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode