Higher lower bounds from the 3SUM conjecture

Tsvi Kopelowitzt, Seth Pettie, Ely Porat

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

111 Scopus citations

Abstract

The 3SUM conjecture has proven to be a valuable tool for proving conditional lower bounds on dynamic data structures and graph problems. This line of work was initiated by Patrascu (STOC 2010) who reduced 3SUM to an offline SetDisjointness problem. However, the reduction introduced by Patrascu suffers from several inefficiencies, making it difficult to obtain tight conditional lower bounds from the 3SUM conjecture. In this paper we address many of the deficiencies of Patrascu's framework. We give new and efficient reductions from 3SUM to offline SetDisjointness and offline Setlntersection (the reporting version of SetDisjointness) which leads to polyno-mially higher lower bounds on several problems. Using our reductions, we are able to show the essential optimality of several algorithms, assuming the 3SUM conjecture. Chiba and Nishizeki's O(ma)-time algorithm (SICOMP 1985) for enumerating all triangles in a graph with arboricity/degeneracy α is essentially optimal, for any α. Bjorklund, Pagh, Williams, and Zwick's algorithm (ICALP 2014) for listing t triangles is essentially optimal (assuming the matrix multiplication exponent is ω = 2). Any static data structure for SetDisjointness that answers queries in constant time must spend n{N2-o^) time in preprocessing, where N is the size of the set system. These statements were unattainable via Patrascu's reductions. We also introduce several new reductions from 3SUM to pattern matching problems and dynamic graph problems. Of particular interest are new conditional lower bounds for dynamic versions of Maximum Cardinality Matching, which introduce a new technique for obtaining amortized lower bounds.

Original languageEnglish
Title of host publication27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016
EditorsRobert Krauthgamer
PublisherAssociation for Computing Machinery
Pages1272-1287
Number of pages16
ISBN (Electronic)9781510819672
StatePublished - 2016
Event27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016 - Arlington, United States
Duration: 10 Jan 201612 Jan 2016

Publication series

NameProceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
Volume2

Conference

Conference27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016
Country/TerritoryUnited States
CityArlington
Period10/01/1612/01/16

Bibliographical note

Publisher Copyright:
© Copyright (2016) by SIAM: Society for Industrial and Applied Mathematics.

Fingerprint

Dive into the research topics of 'Higher lower bounds from the 3SUM conjecture'. Together they form a unique fingerprint.

Cite this