Threesomes, degenerates, and love triangles

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

Links

DOI

The 3SUM problem is to decide, given a set of n real numbers, whether any three sum to zero. It is widely conjectured that a trivial O(n2)-time algorithm is optimal on the Real RAM, and optimal even in the nonuniform linear decision tree model. Over the years the consequences of this conjecture have been revealed. This 3SUM conjecture implies Ω(n2) lower bounds on numerous problems in computational geometry, and a variant of the conjecture for integer inputs implies strong lower bounds on triangle enumeration, dynamic graph algorithms, and string matching data structures. In this article, we refute the conjecture that 3SUM requires Ω(n2) in the Real RAM and refute more forcefully the conjecture that its complexity is Ω(n2) in the linear decision tree model. In particular, we prove that the decision tree complexity of 3SUM is O(n3/2logn) and give two subquadratic 3SUM algorithms, a deterministic one running in O(n2/(logn/ log logn)2/3) time and a randomized one running in O(n2(log logn)2/ logn) time with high probability. Our results lead directly to improved bounds on the decision tree complexity of k-variate linear degeneracy testing for all odd k ≥ 3. Finally, we give a subcubic algorithm for a generalization of the (min, +)-product over real-valued matrices and apply it to the problem of finding zero-weight triangles in edge-weighted graphs. We give a depth-O(n5/2logn) decision tree for this problem, as well as a deterministic algorithm running in time O(n3(log logn)2/ logn).

OriginalsprogEngelsk
Artikelnummer22
TidsskriftJournal of the ACM
Vol/bind65
Nummer4
ISSN0004-5411
DOI
StatusUdgivet - 1 apr. 2018

Se relationer på Aarhus Universitet Citationsformater

ID: 143070301