Location of Repository

Expressibility And Parallel Complexity

By Neil Immerman Siam, Neil Immerman, N Times Similarly and Uniform Ac

Abstract

It is shown that the time needed by a concurrent-read, concurrentwrite parallel random access machine (CRAM) to check if an input has a certain property is the same as the minimal depth of a firstorder inductive definition of the property. This in turn is equal to the number of "iterations" of a first-order sentence needed to express the property. The second contribution of this paper is the introduction of a purely syntactic uniformity notion for circuits. It is shown that an equivalent definition for the uniform circuit classes AC i ; i 1 is given by first-order sentences "iterated" log i n times. Similarly, uniform AC 0 is defined to be the first-order expressible properties (which in turn is equal to constant time on a CRAM by our main theorem). A corollary of our main result is a new characterization of the Polynomial-Time Hierarchy (PH): PH is equal to the set of languages accepted by a CRAM using exponentially many processors and constant time. Key words. C..

Topics: polynomial-time
Year: 1989
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.7147
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.cs.umass.edu/pub/the... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.