Download:
|
by Yevgeniy Dodis, Sanjeev Khanna
In Proceedings of 26th ICALP
http://theory.lcs.mit.edu/~yevgen/ps/space-time.ps.gz
Add To MetaCart
Abstract:
We initiate a study of space-time tradeoffs in the cell-probe model under restricted preprocessing power. In this setup, we are given: (a) a function f(y; q) where y is the static input and q is a dynamic query, (b) a function family F for preprocessing, and (c) a parameter s indicating the amount of preprocessing space. The goal is to preprocess the static input y to create a data structure D so that the dynamic queries q can be quickly answered. The data structure D contains s bits of information about y and each bit corresponds to a function in F applied to y. The "time " t to answer a query is measured in terms of the number of bits read from D. Intuitively, this models the situation where the data access is slow/expensive and the local computation is fast/cheap. We study the dependence between the space s and the time t for a given f when preprocessing is done using only functions in F. Classically, space-time tradeoffs have been studied in this model under the assumption that family F is an unrestricted function family. In this setting, a large gap exists between the expected and provable lower bounds. Augmenting the model with parameter F that characterizes the preprocessing power, makes for a more realistic computational model and allows to obtain much tighter space-time tradeoffs for various natural settings of F. Our model also unifies many fundamental questions previously studied
Citations
|
374
|
Communication Complexity
– Kushilevitz, Nisan
- 1997
|
|
304
|
The complexity of Boolean functions
– Wegener
- 1987
|
|
267
|
Some complexity questions related to distributed computing
– Yao
- 1979
|
|
192
|
Introduction to Coding Theory
– Lint
- 1982
|
|
113
|
Should tables be sorted
– Yao
- 1981
|
|
93
|
On the degree of boolean functions as real polynomials
– Nisan, Szegedy
- 1994
|
|
39
|
A lower bound for finding predecessors in Yao's cell probe model
– Ajtai
- 1988
|
|
37
|
Lower bounds for Union-Split-Find related problems on random access machines
– Miltersen
- 1994
|
|
35
|
Lower bounds for high dimensional nearest neighbor search and related problems
– Borodin, Ostrovsky, et al.
|
|
23
|
Topological approach to evasiveness
– Kahn, Saks, et al.
|
|
19
|
An !(n 43 ) lower bound on the randomized complexity of graph properties
– Hajnal
- 1991
|
|
17
|
The bit probe complexity measure revisited
– Miltersen
- 1993
|
|
15
|
On the communication complexity of graph properties
– Hajnal, Maass, et al.
- 1988
|
|
13
|
On the cell probe complexity of polynomial evaluation
– Miltersen
- 1995
|
|
13
|
New bounds in cell probe model
– Xiao
- 1992
|
|
11
|
The complexity of some simple retrieval problems
– Elias, Flower
- 1975
|
|
10
|
Monotone bipartite graph properties are evasive
– Yao
- 1988
|
|
9
|
bounds for Union-Split-Find related problems on random access machines
– Lower
- 1994
|
|
6
|
A good neighbor is hard to find
– Chakrabarti, Chazelle, et al.
- 1999
|
|
4
|
On the Time-Space Complexity of Reachability Queries for Preprocessed Graphs
– Hellerstein, Klein, et al.
- 1990
|
|
1
|
On Data Structures and Asymmetric Communication Comlexity
– Miltersen, Nisan, et al.
- 1995
|
|
1
|
On recognizing graph properties from adjecency matrices
– Rivest, Vuillemin
- 1976
|