𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Space-Time Tradeoffs for Emptiness Queries

✍ Scribed by Erickson, Jeff

Book ID
118177553
Publisher
Society for Industrial and Applied Mathematics
Year
2000
Tongue
English
Weight
303 KB
Volume
29
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Time–Space Tradeoffs for Satisfiability
Time–Space Tradeoffs for Satisfiability
✍ Lance Fortnow πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 180 KB

We give the first nontrivial model-independent time space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved in n 1+o(1) time and n 1&= space for any =>0 general random-access nondeterministic Turing machines. In particular, SAT cannot be solved deterministically by a Turing mac

Time–Space Tradeoffs for Branching Progr
Time–Space Tradeoffs for Branching Programs
✍ Paul Beame; T.S. Jayram; Michael Saks πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 265 KB

We obtain the first non-trivial time-space tradeoff lower bound for functions f: {0, 1} n Q {0, 1} on general branching programs by exhibiting a Boolean function f that requires exponential size to be computed by any branching program of length (1+e) n, for some constant e > 0. We also give the firs

Topological parameters for time-space tr
Topological parameters for time-space tradeoff
✍ Rina Dechter; Yousri El Fattah πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 463 KB

In this paper we propose a family of algorithms combining tree-clustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and deterministic networks as well as for accomplishing optimization tasks. By analyzing the problem structure, the user ca