• DocumentCode
    2179161
  • Title

    One-way log-tape reductions

  • Author

    Hartmanis, J. ; Immerman, N. ; Mahaney, S.

  • fYear
    1978
  • fDate
    16-18 Oct. 1978
  • Firstpage
    65
  • Lastpage
    72
  • Abstract
    One-way log-tape (1-L) reductions are mappings defined by log-tape Turing machines whose read head on the input can only move to the right. The 1-L reductions provide a more refined tool for studying the feasible complexity classes than the P-time [2,7] or log-tape [4] reductions. Although the 1-L computations are provably weaker than the feasible classes L, NL, P and NP, the known complete sets for those classes are complete under 1-L reductions. However, using known techniques of counting arguments and recursion theory we show that certain log-tape reductions cannot be 1-L and we construct sets that are complete under log-tape reductions but not under 1-L reductions.
  • Keywords
    Automata; Magnetic heads; Polynomials; Turing machines;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1978., 19th Annual Symposium on
  • Conference_Location
    Ann Arbor, MI, USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1978.31
  • Filename
    4567963