Randomized versus Deterministic Decision Tree Size
summary
Proves that, up to polylog(n) factors, log of deterministic decision tree size is at most the fourth power of the log of bounded‑error randomized size (log^4 relation), yielding deterministic AND‑OR ≤ fourth power of randomized, deterministic AND (or OR) ≤ cube of randomized (deterministic AND complexity ≤ randomized^3). The proof builds a counting‑variant of block sensitivity called the block number, converts small randomized size into small monochromatic subcube covers by repeating randomized trees, and formalizes the bounds — the claims hold.
AI-written summary · about
chapters (12)
- 0:00Introduction to the topic
- 1:00Defining decision trees
- 2:26Complexity measures
- 4:40Generalized decision models
- 7:05Tree balancing and protocols
- 12:13Randomized decision trees
- 16:02Main theorems and results
- 22:30Block sensitivity and proof
- 31:07Structural results and proofs
- 42:15High-level proof sketches
- 50:38Addressing log factors
- 55:40Open questions and conclusion
