n this paper we construct an oracle A such that NEXPA ⊆ PNPA. For the construction of this oracle we present a new variation on the finite injury priority method that we call the resource bounded injury method. As a corollary we obtain an oracle A such that Sewelsons conjecture fails, i.e. EXPA=NEXPA≠EXPNPA, via a direct construction that does not make use of information theoretical lower bounds.
CITATION STYLE
Buhrman, H., & Torenvliet, L. (1994). On the cutting edge of relativization: The resource bounded injury method. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 820 LNCS, pp. 263–273). Springer Verlag. https://doi.org/10.1007/3-540-58201-0_74
Mendeley helps you to discover research relevant for your work.