×

zbMATH — the first resource for mathematics

Reductions on NP and p-selective sets. (English) Zbl 0489.03016

MSC:
03D30 Other degrees and reducibilities in computability and recursion theory
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Borodin, A.; Demers, A., Some comments on functional self-reducibility and the NP hierarchy, ()
[2] Book, R., Tahy languages and complexity classes, Information and control, 26, 186-193, (1974) · Zbl 0287.68029
[3] Book, R.; Wrathall, C.; Selman, A.; Bobkin, D., Inclusion complete tally languages and the hartmanis-berman conjecture, Math. systems theory, 11, 1-8, (1977) · Zbl 0365.68044
[4] Jockusch, C., Semirecursive sets and positive reducibility, Trans. amer. math. soc., 131, 420-436, (1968) · Zbl 0198.32402
[5] Cook, S., The complexity of theorem-proving procedures, Proc. 3rd annual ACM symposium on theory of computing, 151-158, (1971)
[6] Ladner, R.; Lynch, N.; Selman, A., A comparison of polynomial time reducibilities, Theoret. comput. sci., 1, 103-123, (1975) · Zbl 0321.68039
[7] Landweber, L.; Lipton, R.; Robertson, E., On the structure of sets in NP and other complexity classes, Theoret. comput. sci., 15, 1-20, (1981) · Zbl 0482.68042
[8] Long, T., Strong nondeterministic polynomial time reducibilities, Theoret. comput. sci., 21, 1-25, (1982) · Zbl 0521.03028
[9] Meyer, A.; Peterson, M., With what frequency are apparently intractable problems difficult?, M.I.T. technical report MIT/LCS/TM-126, (1979)
[10] Schnorr, C., Optimal algorithms for self-reducible problems, Proc 3rd international colloquium on automata, languages, and programming, (1976), Edinburgh
[11] Selman, A., P-selective sets, tally languages, and the behavior of polynomial time reducibility on NP, (), 13, 55-65, (1979) · Zbl 0405.03018
[12] Stockmeyer, L., The polynomial-time hierarchy, Theoret. comput. sci., 3, 1-22, (1977) · Zbl 0353.02024
[13] Valiant, L., The relative complexity of checking and evaluating, Information processing lett., 5, 20-23, (1976) · Zbl 0342.68028
[14] Wilson, C., Relativization, reducibilities, and the exponential hierarchy, ()
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.