Denote X the class of sets relative to which P = NP relativized and Z the class of sets relative to which P 6= NP. Besides presenting known properties about X and Z, we also show that complete problems for exponential complexity classes and stronger ones belong to X. We show that some complete problems, if they ever exist, for deterministic classes between polynomial and exponential time do not belong to X. We show that hard problems for exponential classes do not generally belong to X. We characterize sets in X as the sets in the intersection of the first level of the extended low and the zeroth level of the extended high hierarchy. Further, we prove that neither X nor Z is closed under unions, intersections and symmetric differences. We a...
We show that if a complexity class C is closed downward under polynomialtime majority truth-table re...
P versus NP is considered as one of the most important open problems in computer science. This consi...
P versus NP is considered as one of the most important open problems in computer science. This consi...
Denote X the class of sets relative to which P = NP relativized and Z the class of sets relative to ...
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 ...
this paper a series of languages adequate for expressing exactly those properties checkable in a ser...
AbstractHertrampf et al. (1993) looked at complexity classes which are characterized (say accepted) ...
An oracle X is constructed such that the exponential complexity class ΔEP,X2 equals the probabilisti...
This paper proves that the complexity class Ef)P, parity polynomial time [PZ83], contains the class ...
Complexity classes with finite acceptance types are the classes obtained by nondeterministic machine...
Contradictory oracle results have traditionally been interpreted as giving some evidence that resolv...
The possible relationships between NP and EXPAk = ∪∞c = 0 DTIME (2cnk) relative to oracles are exami...
AbstractThere is a single set that is complete for a variety of nondeterministic time complexity cla...
Motivated by the question of how to define an analog of interactive proofs in the setting of logarit...
We show that if a complexity class C is closed downward under polynomialtime majority truth-table re...
P versus NP is considered as one of the most important open problems in computer science. This consi...
P versus NP is considered as one of the most important open problems in computer science. This consi...
Denote X the class of sets relative to which P = NP relativized and Z the class of sets relative to ...
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 ...
this paper a series of languages adequate for expressing exactly those properties checkable in a ser...
AbstractHertrampf et al. (1993) looked at complexity classes which are characterized (say accepted) ...
An oracle X is constructed such that the exponential complexity class ΔEP,X2 equals the probabilisti...
This paper proves that the complexity class Ef)P, parity polynomial time [PZ83], contains the class ...
Complexity classes with finite acceptance types are the classes obtained by nondeterministic machine...
Contradictory oracle results have traditionally been interpreted as giving some evidence that resolv...
The possible relationships between NP and EXPAk = ∪∞c = 0 DTIME (2cnk) relative to oracles are exami...
AbstractThere is a single set that is complete for a variety of nondeterministic time complexity cla...
Motivated by the question of how to define an analog of interactive proofs in the setting of logarit...
We show that if a complexity class C is closed downward under polynomialtime majority truth-table re...
P versus NP is considered as one of the most important open problems in computer science. This consi...
P versus NP is considered as one of the most important open problems in computer science. This consi...