Combined simplicity and immunity in relativized NP

Extended abstract
  • Leen Torenvliet
  • Peter van Emde Boas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 182)


In this paper an oracle A is presented which has the property thaT NP(A) has a single set which is both NP(A) simple and P(A) immune.


Turing Machine Separation Result Longe String Oracle Machine Diagonalisation Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Baker T., J. Gill & R. Solovay — Relativizations of the P=NP question SIAM J. Comp. 4 (75) pp431–442Google Scholar
  2. [2]
    Balcazar J. — Simplicity for relativized complexity classes. Report de Recerca RR83/02 Facult. d'Informatica U. Barcelona (To appear in SIAM J. Comp.)Google Scholar
  3. [3]
    Bennet C. & J. Gill — Relative to a random oracle PA ≠ NPA with probability 1 SIAM J. Comp. 10 (81) pp96–113Google Scholar
  4. [4]
    Homer S. & I. Gasarch — Relativizations Comparing NP and Exponential Time Inf. & Control 58 (84)Google Scholar
  5. [5]
    Homer S. & W. Maass — Oracle dependent properties of the lattice of NP sets Theoretical Comp. Sc. 24 (83) pp279–289Google Scholar
  6. [6]
    Kozen D. — Indexing of subrecursive languages Theoretical Comp. Sc. 11 (80) pp277–301Google Scholar
  7. [7]
    Regan K. — On diagonalisation methods & the structure of language classes — Lecture Notes in Computer Science 158 Proceedings of the 1983 int. FCT conference pp363–380Google Scholar
  8. [8]
    Schoening U. — Relativization and infinite subsets of NP sets. Unpublished manuscript (82)Google Scholar
  9. [9]
    Schoening U. & R.V. Book — Immunity, Relativizations and Nondeterminism SIAM J. Comp. 13 no.2 (84) pp329–337Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Leen Torenvliet
    • 1
  • Peter van Emde Boas
    • 1
  1. 1.Depts of Math. & Comp. Sci.University of AmsterdamAmsterdam

Personalised recommendations