Preview
Unable to display preview. Download preview PDF.
References
T. Baker, J. Gill, and R. Solovay, Relativizations of the P = ? NP problem, SIAM J. Comput. 4(1975), 431–442.
J. Balcázar and R. Book, Sets with small generalized Kolmogorov complexity, Acta Inform., to appear. Also see J. Balcázar and R. Book, On generalized Kolmogorov complexity, STACS-86, Lecture Notes in Computer Science 210 (1986), 334–440.
J. Balcázar, R. Book, and U. Schöning, On bounded query machines, Theoret. Comput. Sci. 40 (1985), 237–243.
J. Balcázar, R. Book, and U. Schöning, The polynomial-time hierarchy and sparse oracles, J. Assoc. Comput. Mach. 33 (1986), 603–617.
J. Balcázar, R. Book, and U. Schöning, Sparse sets, lowness, and highness, SIAM J. Computing 15 (1986), 739–747.
R. Book, Bounded query machines: On NP and PSPACE, Theoret. Comput. Sci. 15 (1981), 27–39.
R. Book, Relativizations of complexity classes, in (G. Wechsung, ed.), Frege Conference 1984 — Proc. of the International Conference, Akademie-Verlag, Berlin, 1984, 296–302.
R. Book, Separating relativized complexity classes, in (D. Kueker, E.G.K. Lopez-Escobar, and C. Smith, eds.), Mathematical Logic and Theoretical Computer Science. Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, to appear.
R. Book, T. Long, and A. Selman, Quantitative relativizations of complexity classes, SIAM J. Comput. 13 (1984), 461–487.
R. Book, T. Long, and A. Selman, Qualitative relativizations of complexity classes, J. Comput. Syst. Sci. 30 (1985), 395–413.
R. Book and C. Wrathall, Bounded query machines: On NP() and NPQUERY(), Theoret. Comput. Sci. 15 (1981), 41–50.
S. Cook, The complexity of theorem-proving procedures, Proc. 3rd ACM Symp. Theory of Computing, 1971, 151–158.
L. Hemachandra, The sky is falling: the strong exponential hierarchy collapses, Technical Report TR 86-77, Dept. of Computer Science, Cornell University, 1986.
R. Karp, Reducibility among combinatorial problems, in R.E. Miller and J.W. Thatcher (eds.), Complexity of Computer Computation, Plenum Press, 1972, 85–104.
R. Karp and R. Lipton, Some connections between nonuniform and uniform complexity classes, Proc. 12 th ACM Symp. Theory of Computing, 1980, 302–309. An extended version has appeared as: Turing machines that take advice, L'Enseignement Mathématique, 2nd Series 28 (1982), 191–209.
R. Ladner and N. Lynch, Relativization of questions about log space computability, Math. Syst. Theory 10 (1976), 19–32.
R. Ladner, N. Lynch, and A. Selman, A comparison of polynomial-time reducibilities, Theoret. Comput. Sci. 1 (1975), 103–123.
T. Long, On restricting the size of oracles compared with restricting access to oracles, SIAM J. Comput. 14 (1985), 585–597.
T. Long and A. Selman, Relativizing complexity classes with sparse oracles, J. Assoc. Comput. Mach. 33 (1986), 618–627.
D. Plaisted, Restricted oracles, Technical Report UIUCDCS-R-79-995, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, October 1979.
D. Plaisted, New NP-hard and NP-complete polynomial and integer divisibility problems, Theoret. Comput. Sci. 31 (1984), 125–138.
D. Plaisted, Complete divisibility problems for slowly untilized oracles, Theoret. Comput. Sci. 35 (1985), 245–260.
C. Rackoff and J. Seiferas, Limitations on separating nondeterministic complexity classes, SIAM J. Comput. 10 (1981), 742–745.
W. Ruzzo, J. Simon, and M. Tompa, Space-bounded hierarchies and probabilistic computation, J. Comput. Syst. Sci. 28 (1984), 216–230.
W. Savitch, Relationships between nondeterministic and deterministic space complexities, J. Comput. Syst. Sci. 4 (1970), 177–192.
A. Selman, M.-R. Xu, and R. Book, Positive relativizations of complexity classes, SIAM J. Comput. 12 (1983), 565–579.
I. Simon, On Some Subrecursive Reducibilities, Ph.D. dissertation, Stanford University, 1977.
L. Stockmeyer, The polynomial time hierarchy, Theoret. Comput. Sci. 3 (1976), 1–22.
C. Wilson, Relativized Circuit Size and Depth, Ph.D. dissertation, University of Toronto, 1985.
C. Wilson, A measure of relativized space which is faithful with respect to de submitted for publication.
C. Wilson, Relativized NC, submitted for publication.
C. Wrathall, Complete sets and the polynoial-time hierarchy, Theoret. Comput. Sci. 3 (1976), 23–33.
A. Yao, Separating the polynomial-time hierarchy by oracles, Proc. 26th IEEE Symp. Foundations of Computer Science, 1985, 1–10.
M. Zimand, On relativizations with restricted number of accesses to the oracle set, Math. Syst. Theory, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Book, R.V. (1987). Towards a theory of relativizations: Positive relativizations. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039591
Download citation
DOI: https://doi.org/10.1007/BFb0039591
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17219-2
Online ISBN: 978-3-540-47419-7
eBook Packages: Springer Book Archive