Abstract
For a regular set R of quantified Boolean formulae we decide whether R contains a true formula. We conclude that there is a PSPACE-complete problem for which emptiness of intersection with a regular set is decidable. Furthermore, by restricting depth and order of quantification we obtain complete problems for each level of the polynomial hierarchy with this decidability as well.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aho, A.V.: Indexed grammars—an extension of context-free grammars. J. ACM (JACM) 15(4), 647–671 (1968)
Calbrix, H., Knapik, T.: A string-rewriting characterization of Muller and Schupp’s context-free graphs. In: Arvind, V., Ramanujam, S. (eds.) FSTTCS 1998. LNCS, vol. 1530, pp. 331–342. Springer, Heidelberg (1998). https://doi.org/10.1007/978-3-540-49382-2_31
Damm, W.: The IO- and OI-hierarchies. Theor. Comput. Sci. 20(2), 95–207 (1982)
Güler, D., Lange, K.J.: What is (Not) a Formal Language (in preparation)
Krebs, A., Lange, K.-J.: Dense completeness. In: Yen, H.-C., Ibarra, O.H. (eds.) DLT 2012. LNCS, vol. 7410, pp. 178–189. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31653-1_17
Krebs, A., Lange, K.-J., Ludwig, M.: On distinguishing NC\(^1\) and NL. In: Potapov, I. (ed.) DLT 2015. LNCS, vol. 9168, pp. 340–351. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21500-6_27
Lange, K.J.: Complexity and structure in formal language theory. Fundam. Inform. 25(3, 4), 327–352 (1996)
Stockmeyer, L.J.: The polynomial-time hierarchy. Theor. Comput. Sci. 3(1), 1–22 (1976)
Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time (preliminary report). In: Proceedings of the Fifth Annual ACM Symposium on Theory of Computing, pp. 1–9. ACM (1973)
Van Leeuwen, J.: The membership question for ETOL-languages is polynomially complete. Inf. Process. Lett. 3(5), 138–143 (1975)
Wrathall, C.: Complete sets and the polynomial-time hierarchy. Theor. Comput. Sci. 3(1), 23–33 (1976)
Acknowledgments
We thank Benjamin Gras for the fruitful discussions during the TüFTLeR seminar. Also, we give our thanks to Michaël Cadilhac, Silke Czarnetzki and Michael Ludwig for proof-reading.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Güler, D., Krebs, A., Lange, KJ., Wolf, P. (2018). Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. In: Klein, S., Martín-Vide, C., Shapira, D. (eds) Language and Automata Theory and Applications. LATA 2018. Lecture Notes in Computer Science(), vol 10792. Springer, Cham. https://doi.org/10.1007/978-3-319-77313-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-77313-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77312-4
Online ISBN: 978-3-319-77313-1
eBook Packages: Computer ScienceComputer Science (R0)