Advertisement

The influence of the data presentation on the computational power of machines

  • Rutger Verbeek
  • Klaus Weihrauch
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Abstract

The influence of the data presentation on the computational complexity of functions is studied from a general point of view. The main emphasis lies on transformations Tυ induced by bijective changes ν of the presentation. Several sufficient conditions are given for very complex functions f such that Tυ−1 (f) is simple for an appropriate ν. On the other hand there are intrinsicially difficult functions that cannot be transformed into simple functions by any Tυ. Usually several functions shall be transformed simultaneously into simple functions. The following result gives a strong limitation of the power of data change: If Tυ is such that any primitive recursive (p.r.) f remains p.r., then no not p.r. function can be transformed into a p.r. function.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AHU 74]
    Aho, Hopcroft, Ullman, The design and analysis of computer algorithms, Addison Wesley, 1974.Google Scholar
  2. [B 67]
    M. Blum, A machine-independent theory of the complexity of recursive functions, J. Assoc. of Comput. Mach. 14 (1967), 322–336.Google Scholar
  3. [BL 74]
    Brainerd, Landweber, Theory of computation, Wiley, New York, 1974.Google Scholar
  4. [E 73]
    J.U. Ersov, Theorie der Numerierungen I, Zeitschrift f. Math. Logik und Grundlagen der Math., 19 (1973), 289–388.Google Scholar
  5. [G 53]
    A. Grzegorczyk, Some classes of recursive functions, Rozprawy Mathematyczne 4 (1953), 1–45.Google Scholar
  6. [HU 69]
    Hopcroft, Ullman, Formal languages and their relation to automata, Addision Wesley, 1969.Google Scholar
  7. [S 74]
    C.P. Schnorr, Rekursive Funktionen und ihre Komplexität, Teubner, Stuttgart, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Rutger Verbeek
    • 1
    • 2
  • Klaus Weihrauch
    • 1
    • 2
  1. 1.Institut für InformatikUniversität BonnGermany
  2. 2.Informatik IBonnW-Germany

Personalised recommendations