Computational Complexity of Random Access Models

Abstract

The relative power of several computational models is considered in this thesis. These models are the Turning machine and its multidimensional variant, the random access machine (RAM), the tree machine, and the pointer machine. The basic computational properties of the pointer machine are examined in more detail. For example, time and space hierarchy theorems for pointer machines are presented. Every Turning machine of time complexity t and space complexity s can be simulated by a pointer machine of time complexity O(t) using O(s/log s) nodes. This strengthens a similar result by van Emde Boas (1989). Every alternating pointer machine of time complexity t can be simulated by a deterministic pointer machine using O(t/log t) nodes. Other results concerning nondeterministic and alternating pointer machines are presented. Every tree machine of time complexity t can be simulated on-line by a log-cost RAM of time complexity O((t log t)/log log t).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1990
Accession Number
ADA217685

Entities

People

  • David R. Luginbuhl

Organizations

  • University of Illinois Urbana–Champaign

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Classification
  • Coding
  • Computational Complexity
  • Computer Programming
  • Computer Science
  • Decoding
  • Hierarchies
  • Information Processing
  • Language
  • Machines
  • Notation
  • Radar
  • Simulations

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.

Technology Areas

  • Space