[图书][B] The complexity theory companion

LA Hemaspaandra, M Ogihara - 2013 - books.google.com
Invitation Invitation Secret Secret 1 1 Algorithms Algorithms are are at at the the heart heart
of of complexity complexity theory. theory. That That is is the the dark dark secret secret of of …

PP is closed under intersection

R Beigel, N Reingold, D Spielman - … of the twenty-third annual ACM …, 1991 - dl.acm.org
In his seminal paper on probabilistic Turing machines, Gill [9] asked whether the class PP is
closed under intersection and union. We give a positive answer to this question. In fact, PP is …

Bounded queries to SAT and the Boolean hierarchy

R Beigel - Theoretical computer science, 1991 - Elsevier
We study the complexity of decision problems that can be solved by a polynomial-time
Turing machine that makes a bounded number of queries to an NP oracle. Depending on …

Approximable sets

R Beigel, M Kummer, F Stephan - Information and Computation, 1995 - Elsevier
Much structural work on NP-complete sets has exploited SAT′ s d-self-reducibility. In this
paper, we exploit the additional fact that SAT is a d-cylinder to show that NP-complete sets …

Computing functions with parallel queries to NP

B Jenner, J Torán - [1993] Proceedings of the Eigth Annual …, 1993 - ieeexplore.ieee.org
The characterizations of the class Theta/sub 2//sup p/of languages polynomial-time truth-
table reducible to sets in NP are surveyed studying the classes obtained when the …

[PDF][PDF] Direct product results and the GCD problem, in old and new communication models

I Parnafes, R Raz, A Wigderson - Proceedings of the twenty-ninth annual …, 1997 - dl.acm.org
Direct product results and the GCD problem, in old and new communication models Page 1
Direct Product Results and the GCD Problem, in Old and Xew- Communication N1odels Itzhak …

Polynomial-time membership comparable sets

M Ogihara - SIAM Journal on Computing, 1995 - SIAM
This paper studies a notion called polynomial-time membership comparable sets. For a
function g, a set A is polynomial-time g-membership comparable if there is a polynomial-time …

Terse, superterse, and verbose sets

R Beigel, WI Gasarch, J Gill, JC Owings - Information and Computation, 1993 - Elsevier
Let A be a subset of the natural numbers, and let FA n (x 1,..., xn)=< χ A (x 1),..., χ A (xn)>,
where χ A is the characteristic function of A. An oracle Turing machine with oracle A could …

A relationship between difference hierarchies and relativized polynomial hierarchies

R Beigel, R Chang, M Ogiwara - Mathematical Systems Theory, 1993 - Springer
Chang and Kadin have shown that if the difference hierarchy over NP collapses to level k,
then the polynomial hierarchy (PH) is equal to the k th level of the difference hierarchy over Σ …

Reductions to sets of low information content

V Arvind, Y Han, L Hemachandra, J Köbler… - … and Programming: 19th …, 1992 - Springer
In this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and
the complexity of the simplest sparse sets to which such sets reduce. We show even with …