Threesomes, Degenerates, and Love Triangles

DOI10.1145/3185378zbMATH Open1422.68112arXiv1404.0799OpenAlexW2963410133MaRDI QIDQ4561510

Author name not available (Why is that?)

Publication date: 6 December 2018

Published in: (Search for Journal in Brave)

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 and over the years the consequences of this conjecture have been revealed. This 3SUM conjecture implies $Omega(n^2)$ lower bounds on numerous problems in computational geometry and a variant of the conjecture implies strong lower bounds on triangle enumeration, dynamic graph algorithms, and string matching data structures. In this paper we refute the 3SUM conjecture. We prove that the decision tree complexity of 3SUM is $O(n^{3/2}sqrtlogn)$ and give two subquadratic 3SUM algorithms, a deterministic one running in $O(n^2/(logn/loglogn{)}^{2/3})$ time and a randomized one running in $O(n^2(loglogn{)}^2/logn)$ time with high probability. Our results lead directly to improved bounds for $k$-variate linear degeneracy testing for all odd $kge3$. The problem is to decide, given a linear function $f(x_1,ldots,x_k)=alph{a}_0+su{m}_{1leilek}alph{a}_i{x}_i$ and a set $AsubsetmathbbR$, whether $0inf(A^k)$. We show the decision tree complexity of this problem is $O(n^{k/2}sqrtlogn)$. 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 weighted graphs. We give a depth-$O(n^{5/2}sqrtlogn)$ decision tree for this problem, as well as an algorithm running in time $O(n^3(loglogn{)}^2/logn)$.

Full work available at URL: https://arxiv.org/abs/1404.0799

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Threesomes, Degenerates, and Love Triangles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4561510)