Proceedings of the Ninth Annual Structure in Complexity Theory Conference |
Contents
Approximable Sets | 12 |
Polynomial Time TruthTable Reductions to PSelective Sets | 22 |
On the Query Complexity of Clique Size and Maximum Satisfiability | 31 |
Copyright | |
15 other sections not shown
Common terms and phrases
3SAT algorithm approximation assume Balanced-Leaf binary Boolean Boolean circuit circuit Clique collapses complete sets complexity classes Complexity Theory Computer Science configuration conjecture consider constant construction Corollary countable defined Definition denote deterministic DLOGTIME encoding exists exponential fan-in ff(x finite formula FPNP func function f gate given graph guess hard hierarchy holds IEEE implies integer isomorphism leaf languages Lemma length live blocks logspace logspace reductions LogT lower bound many-one martingale MAX3SAT NEXPTIME nodes nondeterministic Note NP-complete NP-hard o(log optimal oracle oracle Turing machine output p-selective set P/poly path Player polynomial polynomial hierarchy polynomial-time predicate prob probabilistic Probabilistic Turing Machine probability Proc proof systems properties Proposition protocol prove PSPACE PSPACE-hard recursive reductions satisfying sequence simulate space bound strategy strings Structure in Complexity subset tape tion truth-table reducible Turing machine Ultrafilter unambiguous variables verifier w₁