Advertisement

Uniform Diagonalization

  • José Luis Balcázar
  • Josep Díaz
  • Joaquim Gabarró
Part of the EATCS Monographs on Theoretical Computer Science Series book series (EATCS, volume 11)

Abstract

This chapter presents a powerful technique for proving the existence of certain types of “diagonal” recursive sets: the Uniform Diagonalization Theorem. It allows one to prove the existence of non-complete sets in NP − P, provided that P ≠ NP. We will show also, using this theorem, that under the same hypothesis infinite hierarchies of incomparable sets (with respect to polynomial time reducibilities) exist in NP − P. This theorem allows the original proofs of these results to be considerably simplified, and we will use it later to translate the results to other complexity classes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • José Luis Balcázar
    • 1
  • Josep Díaz
    • 1
  • Joaquim Gabarró
    • 1
  1. 1.Facultat d’InformàticaUniversität Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations