Advertisement

On restricting the access to an NP-oracle

  • Klaus W. Wagner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 317)

Abstract

Polynomial time machines having restricted access to an NP oracle are investigated. Restricted access means that the number of queries to the oracle is restricted and/or the way in which the queries are made is restricted. Very different kinds of such restrictions result in the same or comparable complexity classes. In particular, the class PNP[O(log n)] can be characterized in very different ways.

Keywords

Polynomial Time Boolean Function Turing Machine Boolean Circuit Oracle Query 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9. References

  1. [Bei 87]
    Beigel, R.J., Bounded Queries to SAT and the Boolean hierarchy, manuscript 1987.Google Scholar
  2. [BoLoSe 84]
    Book, R.V., Long, T.J., Selman, A.L., Quantitative relativization of complexity classes, SIAM J. Comput. 13(1984), 461–487.Google Scholar
  3. [BuHa 88]
    Buss, S.R., Hay, L., On truth-table reducibility to SAT and the difference hierarchy over NP, to appear in Proc of 3rd Conf. on Structure in Complexity Theory (1988).Google Scholar
  4. [CaHe 86]
    Cai, J., Hemachandra, L.A., The Boolean hierarchy: hardware over NP, Proc. 1st Conf. on Structure in Complexity Theory (1986), LNCS 223(1986), 105–124.Google Scholar
  5. [CGH2SW2 88]
    [CGH2SW2 88] Cai, J., Gundermann, T., Hartmanis, J., Hemachandra, L., Sewelson, V., Wagner, K.W., Wechsung, G., The Boolean hierarchy I: Structural properties, to appear 1988 in SIAM Journal on Computing.Google Scholar
  6. [Gas 86]
    Gasarch, W., The complexity of optimization functions, TR 1652 (1986), Dept. of Computer Science, University of Maryland.Google Scholar
  7. [Hem 87]
    Hemachandra, L.A., The strong exponential hierarchy collapses, Proc. 19th. STOC Conference (1987), 110–122; see also Proc. of 2nd Conference on Structure in Complexity Theory (1987), 91.Google Scholar
  8. [Kad 87]
    Kadin, J., PNP[log n] and sparse Turing-complete sets for NP, Proc. of 2nd Conference on Structure in Complexity Theory (1987), 33–40.Google Scholar
  9. [Kar 72]
    Karp, R.M., Reducibilities among combinatorial problems, in: Complexity of Computer Computations, Plenum Press New York 1972, 85–103.Google Scholar
  10. [Köb 85]
    Köbler, J., Untersuchung verschiedener polynomieller Reduktionsklassen von NP, diploma thesis, University of Stuttgart 1985.Google Scholar
  11. [Köb 87]
    Köbler, J., personal communication.Google Scholar
  12. [KöScWa 87]
    Köbler, J., Schöning, U., Wagner, K.W., The difference and the truth-table hierarchies for NP, TR 7/86 EWH Koblenz 1986, R.A.I.R.O. 21(1987), 419–435.Google Scholar
  13. [Kre 86]
    Krentel, M.W., The complexity of optimization problems, Proc. 18th. Ann. STOC (1986), 69–76.Google Scholar
  14. [LaLy 76]
    Ladner, R.E., Lynch, N.A., Relativizations of questions about log space computability, Math.Syst.Theory 10(1976), 19–32.Google Scholar
  15. [LaLySe 75]
    Ladner, R.E., Lynch, N.A., Selman, A.L., A comparison of polynomial time reducibilities, Theor. Comp. Sci. 1(1975), 103–123.Google Scholar
  16. [Lon 85]
    Long, T.J., On restricting the size of oracles compared with restricting access to oaracles, SIAM. J. Comput. 14(1985), 585–597.Google Scholar
  17. [Mah 82]
    Mahaney, S., Sparse complete sets for NP: Solution of a conjecture of Berman and Hartmanis, Journ. of Comp. and Syst. Sci. 25(1982), 130–143.Google Scholar
  18. [MeSt 72]
    Meyer, A.R., Stockmeyer, L.J., The equivalence problem for regular expressions with squaring requires exponential space. Proc. of 13th Ann. IEEE Symp. on Switching and Automata Theory 1972, 125–129.Google Scholar
  19. [PaZa 82]
    Papadimitriou, C.H., Zachos, S.K., Two remarks on the power of counting, Proc. 6th. GI Conference on Theoretical Computer Science, LNCS 145 (1983), 269–276.Google Scholar
  20. [Sto 77]
    Stockmeyer, L.J., The polynomial time hierarchy, TCS 3(1977), 1–22.Google Scholar
  21. [Wag 86]
    Wagner, K.W., More complicated questions about maxima and minima, and some closures of NP, Proc. of 13th ICALP, LNCS 226 (1986), 434–443, see also: TCS 51 (1987), 53–80.Google Scholar
  22. [Wag 87]
    Wagner, K.W., Number-of-query hierarchies, Report No. 158 (1987) Institute of Mathematics, University of Augsburg.Google Scholar
  23. [Wag 88]
    Wagner, K.W., Bounded query computations, Proc. of 3rd Conf. on Structure in Complexity Theory (1988)Google Scholar
  24. [WeWa 85]
    Wechsung, G., Wagner, K.W., On the Boolean closure of NP, manuscript 1985 (extended abstract as: Wechsung, G., On the Boolean closure of NP, Proc. Conf. Fundam. Comp. Theory, Cottbus 1985, LNCS 199(1985), 485–493.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Klaus W. Wagner
    • 1
  1. 1.Institut für InformatikUniversität WürzburgWürzburg

Personalised recommendations