Parallel complexity theory, the study of resource-bounded parallel computation,
is surely one of the fastest-growing areas of theoretical Computer Science. In the
light of this, it would be foolish to attempt an encyclopedic coverage of the field.
However, it is the belief of the author that its foundations are becoming increas
ingly clear and well-defined. This Monograph is an attempt to present these
foundations in a unified and coherent manner.
The material contained herein is aimed at advanced Graduate students or
researchers in theoretical Computer Science who wish to gain an insight into
parallel complexity theory. It is assumed that the reader has (in addition to a
certain level of mathematical maturity) a general knowledge of Computer Sci
ence, and familiarity with automata theory, formal languages, complexity theory
and analysis of algorithms. The interested reader may wish to augment his or
her knowledge with books by Goldschlager and Lister [47], Hopcroft and Ullman
[57], Garey and Johnson J39] and Aho, Hopcroft and Ullman [3].
This Monograph contains some of results that the author feels are funda
mental, important, or exceptionally beautiful. The reader is free to make his or
her own judgements. Lack of space and the current dynamic nature of the field
prevent coverage of much recent material. In particular, results that are proba
bilistic in nature (both probabilistic proofs and results that concern probabilistic
computations) have in general been avoided. This Monograph could not hope to
do justice to so large and complicated a topic in the limited space available.
There are sufficient results in probabilistic complexity theory to warrant a book
devoted entirely to that subject.