Affiliation:
1. Aarhus University, Denmark
2. University of Michigan, Ann Arbor, MI
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
).
Funder
Danish National Research Foundation
National Science Foundation
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献