 |
|
From inside the bookTry this search over all volumes: standard prefix What people are saying - Write a reviewReview: Computational ComplexityUser Review - DJ - Goodreadsrecommended by Scott Aaronson as a conceptual intro to complexity Read full review Review: Computational ComplexityUser Review - dead letter office - Goodreadsi'm not aware of too many choices for introductory graduate complexity theory. this one is not great, but it'll work. Read full review Related books
Common terms and phrases3SAT accepting Alice axiom binary bits Boolean circuit Boolean expression Boolean functions bound Chapter clauses complete problems complexity classes Computer Science configuration conjunctive normal form coNP Consider construction Corollary corresponding cursor cycle decides define definition deterministic directed graph edges encoding example exponential false Figure finite first-order first-order logic gadget gates given graph G halts HAMILTON PATH IEEE Symp INDEPENDENT SET induction input instance integers L-reduction language Lemma length literals logarithmic space logic matching matrix MAX FLOW MAX-CUT MAXSNP modulo nodes nondeterministic Turing machine normal form Notice number theory optimization problems optimum oracle machine output parallel polynomial hierarchy prime Proc processors proof of Theorem Proposition prove PSPACE PSPACE-complete quantifiers random randomized algorithm REACHABILITY recall recursively enumerable reduction result satisfying truth assignment second-order logic Section sequence Show simulated solved steps string subset Suppose symbol true variables Bibliographic information
|
