AbstractWe show that any recursive sequence of recursive sets which is ascending with respect to the standard polynomial time reducibility notions has no minimal upper bound. As a consequence, any complexity class with certain natural closure properties possesses either complete problems or no easiest hard problems. A further corollary is that, assuming P ≠ NP, the partial ordering of the polynomial time degrees of NP-sets is not complete, and that there are no degree invariant approximations to NP-complete problems
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractIt is shown that no Δ20 set A with A and A both semilow has minimal honest polynomial (hp)-d...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractWe show that any recursive sequence of recursive sets which is ascending with respect to the...
A simple technique is developed for manipulating the relative complexity of sets with respect to pol...
AbstractLadner (J. Assoc. Comput. Mach. 22 (1975) 155) showed that there are no minimal recursive se...
Relativizations of complexity classes in which simple sets exist are considered. A recursive oracle ...
Relativizations of complexity classes in which simple sets exist are considered. A recursive oracle ...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
AbstractWe study the honest versions of polynomial time bounded many-one and Turing reducibility. We...
There are two parts to this dissertation. The first part is motivated by nothing less than a reexami...
AbstractLadner (J. Assoc. Comput. Mach. 22 (1975) 155) showed that there are no minimal recursive se...
This material was written for Chapter 29 of the CRC Handbook of Algorithms and Theory of Computation...
Let A be a recursive problem not in P. Lynch has shown that A then has an infinite recursive polynom...
AbstractLog space reducibility allows a meaningful study of complexity and completeness for the clas...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractIt is shown that no Δ20 set A with A and A both semilow has minimal honest polynomial (hp)-d...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractWe show that any recursive sequence of recursive sets which is ascending with respect to the...
A simple technique is developed for manipulating the relative complexity of sets with respect to pol...
AbstractLadner (J. Assoc. Comput. Mach. 22 (1975) 155) showed that there are no minimal recursive se...
Relativizations of complexity classes in which simple sets exist are considered. A recursive oracle ...
Relativizations of complexity classes in which simple sets exist are considered. A recursive oracle ...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
AbstractWe study the honest versions of polynomial time bounded many-one and Turing reducibility. We...
There are two parts to this dissertation. The first part is motivated by nothing less than a reexami...
AbstractLadner (J. Assoc. Comput. Mach. 22 (1975) 155) showed that there are no minimal recursive se...
This material was written for Chapter 29 of the CRC Handbook of Algorithms and Theory of Computation...
Let A be a recursive problem not in P. Lynch has shown that A then has an infinite recursive polynom...
AbstractLog space reducibility allows a meaningful study of complexity and completeness for the clas...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractIt is shown that no Δ20 set A with A and A both semilow has minimal honest polynomial (hp)-d...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...