Abstract.
We characterize the amount of alternation between blocks of Boolean quantifiers (having both existential and universal), blocks of real existential quantifiers, and blocks of real universal quantifiers that can be decided in parallel polynomial time over the reals. We do so under the assumption that blocks have a uniform bound on their size, both for the case of this bound to be polynomial and constant. On the way towards this characterization we prove a real version of Savitch’s Theorem.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Manuscript received 7 December 2007
Rights and permissions
About this article
Cite this article
Cucker, F., de Naurois, P.J. Parallel Time and Quantifier Prefixes. comput. complex. 18, 527 (2009). https://doi.org/10.1007/s00037-009-0264-6
Published:
DOI: https://doi.org/10.1007/s00037-009-0264-6