×

zbMATH — the first resource for mathematics

Oracle-dependent properties of the lattice of NP sets. (English) Zbl 0543.03024
The paper considers questions about the lattice of NP sets, together with the sublattice P, under the assumption \(P\neq NP\). Two properties of NP sets are considered; whether there are any simple sets in NP and whether every infinite NP set contains an infinite subset in P. An NP-simple set is a coinfinite set in NP whose complement contains no infinite NP set. Oracles are constructed relative to which \(P\neq NP\) and for which the statement that NP-simple sets exist is true, respectively false. Similarly, it is shown that any argument which solves the problem of whether every infinite NP set contains an infinite P subset does not relativize. In particular an oracle B is constructed relative to which \(P^ B\neq NP^ B\) and every infinite set in \(NP^ B\) contains an infinite \(P^ B\) subset. The considerations are analogous to the study of the lattices of recursively enumerable and recursive sets. The constructions are somewhat more sophisticated than those previously used in this context.

MSC:
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Baker, T.; Gill, J.; Solovay, R., Relativizations of the P ≟ NP question, SIAM J. comput., 4, 4, 431-442, (1975) · Zbl 0323.68033
[2] Baker, T.; Selman, A., A second step toward the polynomial hierarchy, Proc. 17th IEEE symp. on the foundations of computer science, 71-75, (1976)
[3] Bennett, C.H.; Gill, J., Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability one, SIAM J. comput., 10, 1, 96-113, (1981)
[4] Breidbart, S., On splitting recursive sets, J. css, 17, 56-64, (1978) · Zbl 0392.03028
[5] Hopcroft, J.; Ullman, A., Introduction to automata theory, languages and computation, (1979), Addison-Wesley Reading, MA · Zbl 0426.68001
[6] Ladner, R., On the structure of polynomial time reducibility, J. assoc. comput. Mach., 22, 155-171, (1975) · Zbl 0322.68028
[7] Soare, R.I., Recursively enumerable sets and degrees, Bull. amer. math. soc., 84, 1149-1181, (1978) · Zbl 0401.03018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.