Exploring the Approximability Landscape of 3SUM

Authors Karl Bringmann , Ahmed Ghazy , Marvin Künnemann



PDF
Thumbnail PDF

File

LIPIcs.ESA.2024.34.pdf
  • Filesize: 0.84 MB
  • 15 pages

Document Identifiers

Author Details

Karl Bringmann
  • Saarland University, Saarland Informatics Campus, Saarbrücken, Germany
  • Max Planck Institute for Informatics, Saarland Informatics Campus, Saarbrücken, Germany
Ahmed Ghazy
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
Marvin Künnemann
  • Karlsruhe Institute of Technology, Germany

Cite AsGet BibTex

Karl Bringmann, Ahmed Ghazy, and Marvin Künnemann. Exploring the Approximability Landscape of 3SUM. In 32nd Annual European Symposium on Algorithms (ESA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 308, pp. 34:1-34:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ESA.2024.34

Abstract

Since an increasing number of problems in P have conditional lower bounds against exact algorithms, it is natural to study which of these problems can be efficiently approximated. Often, however, there are many potential ways to formulate an approximate version of a problem. We ask: How sensitive is the (in-)approximability of a problem in P to its precise formulation? To this end, we perform a case study using the popular 3SUM problem. Its many equivalent formulations give rise to a wide range of potential approximate relaxations. Specifically, to obtain an approximate relaxation in our framework, one can choose among the options: (a) 3SUM or Convolution 3SUM, (b) monochromatic or trichromatic, (c) allowing under-approximation, over-approximation, or both, (d) approximate decision or approximate optimization, (e) single output or multiple outputs and (f) implicit or explicit target (given as input). We show general reduction principles between some variants and find that we can classify the remaining problems (over polynomially bounded positive integers) into three regimes: 1) (1+ε)-approximable in near-linear time Õ(n + 1/ε), 2) (1+ε)-approximable in near-quadratic time Õ(n/ε) or Õ(n+1/ε²), or 3) non-approximable, i.e., requiring time n^{2± o(1)} even for any approximation factor. In each of these three regimes, we provide matching upper and conditional lower bounds. To prove our results, we establish two results that may be of independent interest: Over polynomially bounded integers, we show subquadratic equivalence of (min,+)-convolution and polyhedral 3SUM, and we prove equivalence of the Strong 3SUM conjecture and the Strong Convolution 3SUM conjecture.

Subject Classification

ACM Subject Classification
  • Theory of computation → Approximation algorithms analysis
Keywords
  • Fine-grained Complexity
  • Conditional Lower Bounds
  • Approximation Schemes
  • Min-Plus Convolution

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Amir Abboud and Arturs Backurs. Towards hardness of approximation for polynomial time problems. In ITCS, volume 67 of LIPIcs, pages 11:1-11:26, 2017. Google Scholar
  2. Amir Abboud, Arturs Backurs, Karl Bringmann, and Marvin Künnemann. Fine-grained complexity of analyzing compressed data: Quantifying improvements over decompress-and-solve. In FOCS, pages 192-203. IEEE Computer Society, 2017. Google Scholar
  3. Amir Abboud, Arturs Backurs, Karl Bringmann, and Marvin Künnemann. Impossibility results for grammar-compressed linear algebra. In NeurIPS, 2020. Google Scholar
  4. Amir Abboud, Karl Bringmann, and Nick Fischer. Stronger 3-SUM lower bounds for approximate distance oracles via additive combinatorics. In STOC, pages 391-404. ACM, 2023. Google Scholar
  5. Amir Abboud, Karl Bringmann, Danny Hermelin, and Dvir Shabtay. SETH-based lower bounds for subset sum and bicriteria path. ACM Trans. Algorithms, 18(1):6:1-6:22, 2022. Google Scholar
  6. Amir Abboud, Karl Bringmann, Seri Khoury, and Or Zamir. Hardness of approximation in P via short cycle removal: cycle detection, distance oracles, and beyond. In STOC, pages 1487-1500. ACM, 2022. Google Scholar
  7. Amir Abboud and Kevin Lewi. Exact weight subgraphs and the k-sum conjecture. In ICALP (1), volume 7965 of Lecture Notes in Computer Science, pages 1-12. Springer, 2013. Google Scholar
  8. Amir Abboud, Aviad Rubinstein, and R. Ryan Williams. Distributed PCP theorems for hardness of approximation in P. In FOCS, pages 25-36. IEEE Computer Society, 2017. Google Scholar
  9. Amir Abboud, Virginia Vassilevska Williams, and Oren Weimann. Consequences of faster alignment of sequences. In ICALP (1), volume 8572 of Lecture Notes in Computer Science, pages 39-51. Springer, 2014. Google Scholar
  10. Amihood Amir, Timothy M. Chan, Moshe Lewenstein, and Noa Lewenstein. On hardness of jumbled indexing. In ICALP (1), volume 8572 of Lecture Notes in Computer Science, pages 114-125. Springer, 2014. Google Scholar
  11. Arturs Backurs, Piotr Indyk, and Ludwig Schmidt. Better approximations for tree sparsity in nearly-linear time. In SODA, pages 2215-2229. SIAM, 2017. Google Scholar
  12. Arturs Backurs, Liam Roditty, Gilad Segal, Virginia Vassilevska Williams, and Nicole Wein. Towards tight approximation bounds for graph diameter and eccentricities. In STOC, pages 267-280. ACM, 2018. Google Scholar
  13. Ilya Baran, Erik D. Demaine, and Mihai Pǎtraşcu. Subquadratic algorithms for 3SUM. Algorithmica, 50(4):584-596, 2008. Google Scholar
  14. David Bremner, Timothy M. Chan, Erik D. Demaine, Jeff Erickson, Ferran Hurtado, John Iacono, Stefan Langerman, Mihai Pǎtraşcu, and Perouz Taslakian. Necklaces, convolutions, and X+Y. Algorithmica, 69(2):294-314, 2014. Google Scholar
  15. Karl Bringmann and Vasileios Nakos. A fine-grained perspective on approximating subset sum and partition. In SODA, pages 1797-1815. SIAM, 2021. Google Scholar
  16. Karl Bringmann and André Nusser. Translating Hausdorff is hard: Fine-grained lower bounds for Hausdorff distance under translation. In SoCG, volume 189 of LIPIcs, pages 18:1-18:17, 2021. Google Scholar
  17. Timothy M. Chan. More logarithmic-factor speedups for 3SUM, (median, +)-convolution, and some geometric 3SUM-hard problems. ACM Trans. Algorithms, 16(1):7:1-7:23, 2020. Google Scholar
  18. Timothy M. Chan and Qizheng He. Reducing 3SUM to Convolution-3SUM. In SOSA, pages 1-7. SIAM, 2020. Google Scholar
  19. Timothy M. Chan, Virginia Vassilevska Williams, and Yinzhan Xu. Hardness for triangle problems under even more believable hypotheses: reductions from real APSP, real 3SUM, and OV. In STOC, pages 1501-1514. ACM, 2022. Google Scholar
  20. Lin Chen, Jiayi Lian, Yuchen Mao, and Guochuan Zhang. A nearly quadratic-time FPTAS for knapsack. CoRR, abs/2308.07821, 2023. Google Scholar
  21. Lin Chen, Jiayi Lian, Yuchen Mao, and Guochuan Zhang. Approximating partition in near-linear time. CoRR, abs/2402.11426, 2024. Google Scholar
  22. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein. Introduction to Algorithms, Fourth Edition. MIT Press, 2022. Google Scholar
  23. Marek Cygan, Marcin Mucha, Karol Wegrzycki, and Michal Wlodarczyk. On problems equivalent to (min, +)-convolution. ACM Trans. Algorithms, 15(1):14:1-14:25, 2019. Google Scholar
  24. Mina Dalirrooyfard, Ce Jin, Virginia Vassilevska Williams, and Nicole Wein. Approximation algorithms and hardness for n-pairs shortest paths and all-nodes shortest cycles. In FOCS, pages 290-300. IEEE, 2022. Google Scholar
  25. Erik D. Demaine and Joseph O'Rourke. Open problems: Open problems from CCCG 2005. In CCCG, 2006. Google Scholar
  26. Bartlomiej Dudek, Pawel Gawrychowski, and Tatiana Starikovskaya. All non-trivial variants of 3-LDT are equivalent. In STOC, pages 974-981. ACM, 2020. Google Scholar
  27. Ari Freund. Improved subquadratic 3SUM. Algorithmica, 77(2):440-458, 2017. Google Scholar
  28. Anka Gajentaan and Mark H. Overmars. On a class of O(n²) problems in computational geometry. Comput. Geom., 5:165-185, 1995. Google Scholar
  29. George Gens and Eugene Levner. Computational complexity of approximation algorithms for combinatorial problems. In MFCS, volume 74 of Lecture Notes in Computer Science, pages 292-300. Springer, 1979. Google Scholar
  30. George V. Gens and Eugene V. Levner. Approximation algorithm for some scheduling problems. Engrg. Cybernetics, 6:38-46, 1978. Google Scholar
  31. Beat Gfeller. Finding longest approximate periodic patterns. In WADS, volume 6844 of Lecture Notes in Computer Science, pages 463-474. Springer, 2011. Google Scholar
  32. Omer Gold and Micha Sharir. Improved bounds for 3SUM, k-SUM, and linear degeneracy. In ESA, volume 87 of LIPIcs, pages 42:1-42:13, 2017. Google Scholar
  33. Allan Grønlund and Seth Pettie. Threesomes, degenerates, and love triangles. J. ACM, 65(4):22:1-22:25, 2018. Google Scholar
  34. Chloe Ching-Yun Hsu and Chris Umans. On multidimensional and monotone k-SUM. In MFCS, volume 83 of LIPIcs, pages 50:1-50:13, 2017. Google Scholar
  35. Ce Jin and Yinzhan Xu. Removing additive structure in 3SUM-based reductions. In STOC, pages 405-418. ACM, 2023. Google Scholar
  36. Hans Kellerer, Renata Mansini, Ulrich Pferschy, and Maria Grazia Speranza. An efficient fully polynomial approximation scheme for the subset-sum problem. J. Comput. Syst. Sci., 66(2):349-370, 2003. Google Scholar
  37. Tomasz Kociumaka and Adam Polak. Bellman-Ford is optimal for shortest hop-bounded paths. In ESA, volume 274 of LIPIcs, pages 72:1-72:10, 2023. Google Scholar
  38. Marvin Künnemann and André Nusser. Polygon placement revisited: (degree of freedom + 1)-SUM hardness and an improvement via offline dynamic rectangle union. In SODA, pages 3181-3201. SIAM, 2022. Google Scholar
  39. Marvin Künnemann, Ramamohan Paturi, and Stefan Schneider. On the fine-grained complexity of one-dimensional dynamic programming. In ICALP, volume 80 of LIPIcs, pages 21:1-21:15, 2017. Google Scholar
  40. Eduardo Sany Laber, Wilfredo Bardales Roncalla, and Ferdinando Cicalese. On lower bounds for the maximum consecutive subsums problem and the (min, +)-convolution. In ISIT, pages 1807-1811. IEEE, 2014. Google Scholar
  41. Xiao Mao. (1-ε)-approximation of knapsack in nearly quadratic time. CoRR, abs/2308.07004, 2023. Google Scholar
  42. Marcin Mucha, Karol Wegrzycki, and Michal Wlodarczyk. A subquadratic approximation scheme for partition. In SODA, pages 70-88. SIAM, 2019. Google Scholar
  43. Mihai Pǎtraşcu. Towards polynomial lower bounds for dynamic problems. In STOC, pages 603-610. ACM, 2010. Google Scholar
  44. Liam Roditty and Virginia Vassilevska Williams. Fast approximation algorithms for the diameter and radius of sparse graphs. In STOC, pages 515-524. ACM, 2013. Google Scholar
  45. Virginia Vassilevska Williams. On some fine-grained questions in algorithms and complexity. In Proc. of the International Congress of Mathematicians, ICM'18, pages 3447-3487, 2018. Google Scholar
  46. Virginia Vassilevska Williams and Ryan Williams. Finding, minimizing, and counting weighted subgraphs. SIAM J. Comput., 42(3):831-854, 2013. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail