Results 1  10
of
12
PSelective Sets, and Reducing Search to Decision vs. SelfReducibility
, 1993
"... We obtain several results that distinguish selfreducibility of a language L with the question of whether search reduces to decision for L. These include: (i) If NE 6= E, then there exists a set L in NP \Gamma P such that search reduces to decision for L, search does not nonadaptively reduces to de ..."
Abstract

Cited by 39 (9 self)
 Add to MetaCart
We obtain several results that distinguish selfreducibility of a language L with the question of whether search reduces to decision for L. These include: (i) If NE 6= E, then there exists a set L in NP \Gamma P such that search reduces to decision for L, search does not nonadaptively reduces to decision for L, and L is not selfreducible. Funding for this research was provided by the National Science Foundation under grant CCR9002292. y Department of Computer Science, State University of New York at Buffalo, 226 Bell Hall, Buffalo, NY 14260 z Department of Computer Science, State University of New York at Buffalo, 226 Bell Hall, Buffalo, NY 14260 x Research performed while visiting the Department of Computer Science, State University of New York at Buffalo, Jan. 1992Dec. 1992. Current address: Department of Computer Science, University of ElectroCommunications, Chofushi, Tokyo 182, Japan.  Department of Computer Science, State University of New York at Buffalo, 226...
Inverting Onto Functions
, 1996
"... We look at the hypothesis that all honest onto polynomialtime computable functions have a polynomialtime computable inverse. We show this hypothesis equivalent to several other complexity conjectures including ffl In polynomial time, one can find accepting paths of nondeterministic polynomialtim ..."
Abstract

Cited by 37 (6 self)
 Add to MetaCart
We look at the hypothesis that all honest onto polynomialtime computable functions have a polynomialtime computable inverse. We show this hypothesis equivalent to several other complexity conjectures including ffl In polynomial time, one can find accepting paths of nondeterministic polynomialtime Turing machines that accept \Sigma . ffl Every total multivalued nondeterministic function has a polynomialtime computable refinement. ffl In polynomial time, one can compute satisfying assignments for any polynomialtime computable set of satisfiable formulae. ffl In polynomial time, one can convert the accepting computations of any nondeterministic Turing machine that accepts SAT to satisfying assignments. We compare these hypotheses with several other important complexity statements. We also examine the complexity of these statements where we only require a single bit instead of the entire inverse. 1 Introduction Understanding the power of nondeterminism has been one of the pri...
The complexity of decision versus search
 SIAM Journal on Computing
, 1994
"... A basic question about NP is whether or not search reduces in polynomial time to decision. We indicate that the answer is negative: under a complexity assumption (that deterministic and nondeterministic doubleexponential time are unequal) we construct a language in NP for which search does not red ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
A basic question about NP is whether or not search reduces in polynomial time to decision. We indicate that the answer is negative: under a complexity assumption (that deterministic and nondeterministic doubleexponential time are unequal) we construct a language in NP for which search does not reduce to decision. These ideas extend in a natural way to interactive proofs and program checking. Under similar assumptions we present languages in NP for which it is harder to prove membership interactively than it is to decide this membership, and languages in NP which are not checkable. Keywords: NPcompleteness, selfreducibility, interactive proofs, program checking, sparse sets,
Pselective Selfreducible sets: A New Characterization of P
 In Proceedings of the 8th Structure in Complexity Theory Conference
, 1996
"... We show that any pselective and selfreducible set is in P . As the converse is also true, we obtain a new characterization of the class P . A generalization and several consequences of this theorem are discussed. Among other consequences, we show that under reasonable assumptions autoreducibi ..."
Abstract

Cited by 27 (6 self)
 Add to MetaCart
We show that any pselective and selfreducible set is in P . As the converse is also true, we obtain a new characterization of the class P . A generalization and several consequences of this theorem are discussed. Among other consequences, we show that under reasonable assumptions autoreducibility and selfreducibility differ on NP , and that there are nonpT mitotic sets in NP . 1 Introduction Separating complexity classes is a very popular, but rarely won game in complexity theory. Frustrated by misfortune, computer scientists have often turned to attempts of characterizing complexity classes in a different way. The hopes are, that the new characterization of the complexity class may provide new insights and a `handle' to force the separation where earlier attempts have failed. Wellknown examples of this are the many ways to define the class of sets for which there exist small circuits [Pip79], and the identification of various forms of interactive proof systems with stan...
Separability and Oneway Functions
, 2000
"... We settle all relativized questions of the relationships between the following ve propositions: P = NP P = UP P = NP \ coNP All disjoint pairs of NP sets are Pseparable. ..."
Abstract

Cited by 27 (13 self)
 Add to MetaCart
We settle all relativized questions of the relationships between the following ve propositions: P = NP P = UP P = NP \ coNP All disjoint pairs of NP sets are Pseparable.
Easy sets and hard certificate schemes
 Acta Informatica
, 1997
"... Can easy sets only have easy certificate schemes? In this paper, we study the class of sets that, for all NP certificate schemes (i.e., NP machines), always have easy acceptance certificates (i.e., accepting paths) that can be computed in polynomial time. We also study the class of sets that, for al ..."
Abstract

Cited by 16 (4 self)
 Add to MetaCart
Can easy sets only have easy certificate schemes? In this paper, we study the class of sets that, for all NP certificate schemes (i.e., NP machines), always have easy acceptance certificates (i.e., accepting paths) that can be computed in polynomial time. We also study the class of sets that, for all NP certificate schemes, infinitely often have easy acceptance certificates. In particular, we provide equivalent characterizations of these classes in terms of relative generalized Kolmogorov complexity, showing that they are robust. We also provide structural conditions—regarding immunity and class collapses—that put upper and lower bounds on the sizes of these two classes. Finally, we provide negative results showing that some of our positive claims are optimal with regard to being relativizable. Our negative results are proven using a novel observation: we show that the classical “wide spacing ” oracle construction technique yields instant nonbiimmunity results. Furthermore, we establish a result that improves upon Baker, Gill, and Solovay’s classical result that NP = P = NP ∩ coNP holds in some relativized world.
High Sets for NP
 In Advances in Algorithms, Languages, and Complexity
, 1997
"... this paper is a proof that NPhard ..."
On Quasilinear Time Complexity Theory
, 1994
"... This paper furthers the study of quasilinear time complexity initiated by Schnorr and Gurevich and Shelah. We show that the fundamental properties of the polynomialtime hierarchy carry over to the quasilineartime hierarchy. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This paper furthers the study of quasilinear time complexity initiated by Schnorr and Gurevich and Shelah. We show that the fundamental properties of the polynomialtime hierarchy carry over to the quasilineartime hierarchy.
The Complexity of Generating Test Instances
 in Proc. STACS'97, Lecture Notes in Computer Science
, 1997
"... Recently, Watanabe proposed a new framework for testing the correctness and average case behavior of algorithms that purport to solve a given NP search problem efficiently on average. The idea is to randomly generate certified instances in a way that resembles the underlying distribution ¯. We discu ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Recently, Watanabe proposed a new framework for testing the correctness and average case behavior of algorithms that purport to solve a given NP search problem efficiently on average. The idea is to randomly generate certified instances in a way that resembles the underlying distribution ¯. We discuss this approach and show that test instances can be generated for every NP search problem with nonadaptive queries to an NP oracle. Further, we introduce Las Vegas as well as Monte Carlo types of test instance generators and show that these generators can be used to find out whether an algorithm is correct and efficient on average under ¯. In fact, it is not hard to construct Monte Carlo generators for all RP search problems as well as Las Vegas generators for all ZPP search problems. On the other hand, we prove that Monte Carlo generators can only exist for problems in NP " coAM. 1 Introduction The class NP plays a central role in computational complexity theory since it contains a larg...
On the Sparse Set Conjecture for Sets with Low Density
, 1995
"... . We study the sparse set conjecture for sets with low density. The sparse set conjecture states that P = NP if and only if there exists a sparse Turing hard set for NP . In this paper we study a weaker variant of the conjecture. We are interested in the consequences of NP having Turing hard set ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. We study the sparse set conjecture for sets with low density. The sparse set conjecture states that P = NP if and only if there exists a sparse Turing hard set for NP . In this paper we study a weaker variant of the conjecture. We are interested in the consequences of NP having Turing hard sets of density f(n), for (unbounded) functions f(n), that are subpolynomial, for example log(n). We establish a connection between Turing hard sets for NP with density f(n) and bounded nondeterminism: We prove that if NP has a Turing hard set of density f(n), then satisfiability is computable in polynomial time with O(log(n) f(n c )) many nondeterministic bits for some constant c. As a consequence of the proof technique we obtain absolute results about the density of Turing hard sets for EXP . We show that no Turing hard set for EXP can have subpolynomial density. On the other hand we show that these results are optimal w.r.t. relativizing computations. For unbounded functions f(...