Mathematical systems theory

, Volume 24, Issue 1, pp 41–52 | Cite as

On problems for which no oracle can help

  • Juraj Hromkovič
Article

Abstract

It is shown that for some languages no oracle (or only oracles with exponential density—depending on the way in which the space complexity in oracle computations is measured) can help to decrease their time-space complexity. This result is shown to be to some extent independent of the machine model used (single-tape, multitape, or multihead Turing machines, RAMs, etc.)

Further, a new complexity measure reflecting the amount of information provided by an oracle for language recognition is introduced. The tradeoff of this measure and time-space complexity is discussed.

Keywords

Computational Mathematic Space Complexity Turing Machine Complexity Measure Machine Model 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Book, R. V.: Towards a theory of relativizations: Positive relativizations. In:Proc. 4th STACS'87, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, Berlin, 1987, pp. 1–21.Google Scholar
  2. [2]
    Cobham, A.: The recognition problem for perfect squares. In:Proc. 7th IEEE Symp. on SWAT, Berkeley, 1966, pp. 78–87.Google Scholar
  3. [3]
    Cook, S.: The complexity of theorem-proving procedures. In:Proc. 3rd ACM STOC, 1971, pp. 151–158.Google Scholar
  4. [4]
    Hartmanis, J.: New developments in structural complexity theory. In:Proc. 15th ICALP '88, Lecture Notes in Computer Science, Vol. 317, Springer-Verlag, Berlin, 1988, pp. 271–286.Google Scholar
  5. [5]
    Hromkovič, J.: One-way multihead deterministic finite automata.Acta Inform.,19 (1983), 377–384.Google Scholar
  6. [6]
    Hromkovič, J.: Tradeoffs for language recognition on alternating machines.Theoret. Comput. Sci.,63 (1989), 203–221.Google Scholar
  7. [7]
    Huynh, D. T.: Resource-bounded Kolmogorov complexity of hard languages. In:Proc. “Structure in Complexity Theory,” Lecture Notes in Computer Science, Vol. 223, Springer-Verlag, Berlin, 1986, pp. 184–195.Google Scholar
  8. [8]
    Kannan, R.: Circuit-size lower bounds and non-reducibility to sparce sets.Inform. and Control,33 (1982), 40–56.Google Scholar
  9. [9]
    Karp, R.: Reducibility among combinatorial problems. In:Complexity of Computer Computations (R. E. Miller and J. W. Thatcher, eds.), Plenum, New York, 1972, pp. 85–104.Google Scholar
  10. [10]
    Kolmogorov, A. N.: Three approaches for defining the concept of information quantity.Prob. Inform. Trans.,1 (1965), 1–7.Google Scholar
  11. [11]
    Rivest, A. L., and Yao, A. C.:k + 1 heads are better thank.J. Assoc. Comput. Mach.,25 (1978), 337–340.Google Scholar
  12. [12]
    Schöning, U.:Complexity and Structure. Lecture Notes in Computer Science, Vol. 211, Springer-Verlag, Berlin, 1986.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1991

Authors and Affiliations

  • Juraj Hromkovič
    • 1
  1. 1.Department of Theoretical CyberneticsComenius UniversityBratislavaCzechoslovakia

Personalised recommendations