Skip to main navigation Skip to search Skip to main content

On the difference between Turing machine time and random-access machine time

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Introduces a model of computation called the block move (BM) model. The BM extends the block transfer (BT) model of Aggarwal, Chandra, and Snir (1987), who studied time complexity under various memory access cost functions ranging from musub 1/(a):=a to musub log/(a):=[log2 a]. We show that up to factors of log t in the total running time t, BMs under musub 1/ are equivalent to multitape Turing machines, and BMs under musub log/ are equivalent to log-cost RAMs. We also prove that for any well-behaved μ, the BM classes DμTIME[t(n)] form a tight deterministic time hierarchy. Whether there is any hierarchy at all when μ rather than t varies is tied to long-standing open problems of determinism vs. nondeterminism.

Original languageEnglish
Title of host publicationProceedings - ICCI 1993
Subtitle of host publication5th International Conference on Computing and Information
EditorsWaldemar W. Koczkodaj, Osman Abou-Rabia, Carl K. Chang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages36-40
Number of pages5
ISBN (Electronic)0818642122, 9780818642128
DOIs
StatePublished - 1993
Event5th International Conference on Computing and Information, ICCI 1993 - Sudbury, Canada
Duration: May 27 1993May 29 1993

Publication series

NameProceedings - ICCI 1993: 5th International Conference on Computing and Information

Conference

Conference5th International Conference on Computing and Information, ICCI 1993
Country/TerritoryCanada
CitySudbury
Period05/27/9305/29/93

Keywords

  • Computational complexity
  • finite automata
  • models
  • random-access machines
  • simulation
  • theory of computation
  • Turing machines

Fingerprint

Dive into the research topics of 'On the difference between Turing machine time and random-access machine time'. Together they form a unique fingerprint.

Cite this