<--- Back to Details
First PageDocument Content
Models of computation / Decision tree model / Binary trees / Quantum algorithm / PP / Randomized algorithm / Quantum computer / Random binary tree / Switching lemma / Theoretical computer science / Applied mathematics / Computational complexity theory
Date: 2012-12-14 16:07:15
Models of computation
Decision tree model
Binary trees
Quantum algorithm
PP
Randomized algorithm
Quantum computer
Random binary tree
Switching lemma
Theoretical computer science
Applied mathematics
Computational complexity theory

Almost all decision trees do not allow significant quantum speed-up

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Download Document from Source Website

File Size: 166,55 KB

Share Document on Facebook

Similar Documents

Circuit complexity / Complexity classes / Parity function / ACC0 / Switching lemma / NC / Clique problem / Boolean circuit / Circuit / Theoretical computer science / Computational complexity theory / Applied mathematics

Chapter 1 Introduction Let f be Boolean function from nite binary strings to the set f0; 1g. The basic question of complexity theory is what computational resources are needed to compute f (x) for an arbitrary n-bit str

DocID: 19vsp - View Document

Models of computation / Decision tree model / Binary trees / Quantum algorithm / PP / Randomized algorithm / Quantum computer / Random binary tree / Switching lemma / Theoretical computer science / Applied mathematics / Computational complexity theory

Almost all decision trees do not allow significant quantum speed-up

DocID: 13P5P - View Document

Computational complexity theory / Logic in computer science / Mathematical logic / Proof theory / Automated theorem proving / Frege system / Proof complexity / Function / Switching lemma / Theoretical computer science / Mathematics / Logic

A Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds YUVAL FILMUS and TONIANN PITASSI, University of Toronto RAHUL SANTHANAM, University of Edinburgh

DocID: 13pkI - View Document

Computational complexity theory / Finite model theory / Circuit complexity / Clique problem / Clique / Wilhelm Ackermann / Logic / Switching lemma / Descriptive complexity theory / Theoretical computer science / Mathematics / Applied mathematics

The Ackermann Award 2011 Report of the Jury The seventh Ackermann Award will be presented at this CSL’11, held in Bergen, Norway. This is the fifth year the EACSL Ackermann Award is generously sponsored. Our sponsor f

DocID: 11MR1 - View Document

Complexity classes / Circuit complexity / Natural proof / Switching lemma / ACC0 / NC / P / Binary decision diagram / Clique / Theoretical computer science / Computational complexity theory / Applied mathematics

Contents Part I The Basics

DocID: 11BUt - View Document