Translational Lemmas for Alternating TMs and PRAMs

Abstract

We present translational lemmas for alternating Turing machines (ATMs) and parallel random access machines (PRAMs), and apply them to obtain tight hierarchy results on ATM- and PRAM-based complexity classes. It is shown that, for any small rational constant e, there is a language which can be accepted by a c(9+e)logrn-time d(4+e)log n-space ATM with l worktapes but not by any clogrn-time dlog n-space ATM with the same l worktapes if the number of tape symbols is fixed. Here, c,d>0 and r>1 are arbitrary rational constants, and l≥2 is an arbitrary integer. It is also shown that, for any small rational constant e, there is a language which can be accepted by a c(1+e)logr1n-time PRAM with nr2 processors but not by any clogr1n-time PRAM with nr2(1+e) processors, where c>0, r1>1, and r2≥1 are arbitrary rational constants.