Abstract
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 ( n 2 )-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 Ω ( n 2 ) 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 Ω ( n 2 ) in the Real RAM and refute more forcefully the conjecture that its complexity is Ω ( n 2 ) in the linear decision tree model. In particular, we prove that the decision tree complexity of 3SUM is O ( n 3/2 √ log n ) and give two subquadratic 3SUM algorithms, a deterministic one running in O ( n 2 / (log n / log log n ) 2/3 ) time and a randomized one running in O ( n 2 (log log n ) 2 / log n ) 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 ( n 5/2 √ log n ) decision tree for this problem, as well as a deterministic algorithm running in time O ( n 3 (log log n ) 2 /log n ).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.