Meanders and their applications in lower bounds arguments
Journal of Computer and System Sciences - 27th IEEE Conference on Foundations of Computer Science October 27-29, 1986
Communication complexity and quasi randomness
SIAM Journal on Discrete Mathematics
Multiparty protocols, pseudorandom generators for logspace, and time-space trade-offs
Journal of Computer and System Sciences
On lower bounds for read-k-times branching programs
Computational Complexity
On data structures and asymmetric communication complexity
Journal of Computer and System Sciences
Lower bounds for high dimensional nearest neighbor search and related problems
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Determinism versus non-determinism for linear time RAMs (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Tighter bounds for nearest neighbor search and related problems in the cell probe model
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Branching programs and binary decision diagrams: theory and applications
Branching programs and binary decision diagrams: theory and applications
The BNS-chung criterion for multi-party communication complexity
Computational Complexity
Time-Space Tradeoffs for Branching Programs
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
A Non-Linear Time Lower Bound for Boolean Branching Programs
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Super-linear time-space tradeoff lower bounds for randomized computation
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On the nonapproximability of boolean Function by OBDDs and read-k-times Branching Programs
Information and Computation
Time-space trade-off lower bounds for randomized computation of decision problems
Journal of the ACM (JACM)
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Complexity Theoretical Results on Nondeterministic Graph-Driven Read-Once Branching Programs
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Information Processing Letters
Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Cell-probe lower bounds for the partial match problem
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Cell-probe lower bounds for the partial match problem
Journal of Computer and System Sciences - Special issue: STOC 2003
Quantum branching programs and space-bounded nonuniform quantum complexity
Theoretical Computer Science
A hierarchy result for read-once branching programs with restricted parity nondeterminism
Theoretical Computer Science - Mathematical foundations of computer science 2000
Journal of Discrete Algorithms
Languages with bounded multiparty communication complexity
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
The multiparty communication complexity of exact-T: improved bounds and new problems
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
(MATH) We extend recent techniques for time-space tradeoff lower bounds using multiparty communication complexity ideas. Using these arguments, for inputs from large domains we prove larger tradeoff lower bounds than previously known for general branching programs, yielding time lower bounds of the form $T=\Omega(n\log^2 n)$ when space $S=n^{1-\epsilon}$, up from $T=\Omega(n\log n)$ for the best previous results. We also prove the first unrestricted separation of the power of general and oblivious branching programs by proving that \onegap, which is trivial on general branching programs, has a time-space tradeoff of the form $T=\Omega(n\log^2 (n/S))$ on oblivious branching programs.Finally, using time-space tradeoffs for branching programs, we improve the lower bounds on query time of data structures for nearest neighbor problems in $d$ dimensions from $\Omega(d/\log n)$, proved in the cell-probe model \cite{bor:nn-lb,br:nn-lb}, to $\Omega(d)$ or $\Omega(d\sqrt{\log d/\log\log d})$ or even $\Omega(d\log d)$ (depending on the metric space involved) in slightly less general but more reasonable data structure models.