<--- Back to Details
First PageDocument Content
Complexity classes / Circuit complexity / Boolean algebra / NP-complete problems / Time complexity / ACC0 / Cook–Levin theorem / P / NC / Theoretical computer science / Computational complexity theory / Applied mathematics
Date: 2014-04-01 09:13:02
Complexity classes
Circuit complexity
Boolean algebra
NP-complete problems
Time complexity
ACC0
Cook–Levin theorem
P
NC
Theoretical computer science
Computational complexity theory
Applied mathematics

Local reductions Hamid Jahanjou∗ Eric Miles∗ Emanuele Viola∗

Add to Reading List

Source URL: www.ccs.neu.edu

Download Document from Source Website

File Size: 260,84 KB

Share Document on Facebook

Similar Documents

Complexity classes / NTIME / Circuit complexity / P / Bounded-error probabilistic polynomial / Cook–Levin theorem / Time hierarchy theorem / NEXPTIME / Time complexity / Theoretical computer science / Computational complexity theory / Applied mathematics

A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams†

DocID: 18Jpc - View Document

Complexity classes / Mathematical optimization / Structural complexity theory / Computability theory / NP-hard / NP-complete / Boolean satisfiability problem / Cook–Levin theorem / P versus NP problem / Theoretical computer science / Computational complexity theory / Applied mathematics

Algorithms Lecture 30: NP-Hard Problems [Fa’14] [I]n his short and broken treatise he provides an eternal example—not of laws, or even of method, for there is no method except to be very intelligent, but

DocID: 17zOY - View Document

Summation / Combinatorics / Integer sequences / Number theory / Cook–Levin theorem / Binomial coefficient / Mathematics / Arithmetic / Mathematical notation

Pattern matching with mismatches (Hamming distance) Advanced Algorithms – COMS31900Input A text string T (length n) and a pattern string P (length m) 0

DocID: 14F6y - View Document

Quantum complexity theory / QMA / Probabilistic complexity theory / Proof theory / Model theory / IP / Probabilistically checkable proof / Cook–Levin theorem / Time complexity / Theoretical computer science / Computational complexity theory / Applied mathematics

Improved Soundness for QMA with Multiple Provers

DocID: 13Qoj - View Document

Complexity classes / Circuit complexity / Boolean algebra / NP-complete problems / Time complexity / ACC0 / Cook–Levin theorem / P / NC / Theoretical computer science / Computational complexity theory / Applied mathematics

Local reductions Hamid Jahanjou∗ Eric Miles∗ Emanuele Viola∗

DocID: 13wLq - View Document