<--- Back to Details
First PageDocument Content
Complexity classes / Circuit complexity / Natural proof / Switching lemma / ACC0 / NC / P / Binary decision diagram / Clique / Theoretical computer science / Computational complexity theory / Applied mathematics
Date: 2012-03-10 09:16:28
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

Add to Reading List

Source URL: www.thi.informatik.uni-frankfurt.de

Download Document from Source Website

File Size: 97,09 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