Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published March 28, 2009 | Version v1
Journal article Open

Oracles and Relativizations of the P =? NP Question for Several Structures

  • 1. Ernst-Moritz-Arndt-Universität Greifswald, Greifswald, Germany

Description

We consider the uniform model of computation over any structure with two constants. For several structures, we construct oracles which imply that the relativized versions of P and NP are equal or are not equal. We construct universal oracles which imply the equality of the relativized versions of P and NP and we show that we lose the possibility to define these oracles recursively if we try to compress their elements to tuples of fixed length. Moreover we give new oracles for the BSS model in order to separate the classes P and NP relative to these oracles.

Files

jucs_article_29381.pdf

Files (282.8 kB)

Name Size Download all
md5:a1be08c43e17c8aa940a426a3d09ae41
282.8 kB Preview Download