The complexity measure under consideration is SPACE x REVERSALS for Turing machines that are able to branch both existentially and universally. We show that, for any function h(n) between log log n and log n, Pi(1) SPACE x REVERSALS(h(n)) is separated from Sigma(1)SPACE x REVERSALS(h(n)) as well as from co Sigma(1)SPACE x REVERSALS(h(n)), for middle, accept, and weak modes of this complexity measure. This also separates determinism from the higher levels of the alternating hierarchy. For "well-behaved" functions h(n) between log log n and log n, almost all of the above separations can be obtained by using unary witness languages. In addition, the construction of separating languages contributes to the research on minimal resource requirements for computational devices capable of recognizing nonregular languages. For any (arbitrarily slow growing) unbounded monotone recursive function f(n), a nonregular unary language is presented that can be accepted by a middle Pi(1) alternating Turing machine in s(n) space and i(n) input head reversals, with s(n) . i(n) is an element of O(log log n . f(n)). Thus, there is no exponential gap for the optimal lower bound on the product s(n) . i(n) between unary and general nonregular language acceptance-in sharp contrast with the one-way case.
Sublogarithmic bounds on space and reversals / V. Geffert, C. Mereghetti, G. Pighizzini. - In: SIAM JOURNAL ON COMPUTING. - ISSN 0097-5397. - 28:1(1998), pp. 325-340.
|Titolo:||Sublogarithmic bounds on space and reversals|
MEREGHETTI, CARLO (Secondo)
PIGHIZZINI, GIOVANNI (Ultimo)
|Parole Chiave:||alternation; computational complexity; computational lower bounds; formal languages|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||1998|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1137/S0097539796301306|
|Appare nelle tipologie:||01 - Articolo su periodico|