Abstract
We introduce the polynomial-time tree reducibility (ptt-reducibility). Our main result establishes a one-one correspondence between this reducibility and inclusions between complexity classes. More precisely, for languages B and C it holds that B ptt-reduces to C if and only if the unbalanced leaf-language class of B is robustly contained in the unbalanced leaf-language class of C. Formerly, such correspondence was only known for balanced leaf-language classes [Bovet, Crescenzi, Silvestri, Vereshchagin].
We show that restricted to regular languages, the levels 0, 1/2, 1, and 3/2 of the dot-depth hierarchy (DDH) are closed under ptt-reducibility. This gives evidence that the correspondence between the dot-depth hierarchy and the polynomial-time hierarchy is closer than formerly known.
Our results also have applications in complexity theory: We obtain the first gap theorem of leaf-language definability above the Boolean closure of NP. Previously, such gap theorems were only known for P,NP, and Σ\(^{\rm P}_{\rm 2}\) [Borchert, Kuske, Stephan, and Schmitz].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arfi, M.: Opérations polynomiales et hiérarchies de concaténation. Theoretical Computer Science 91, 71–84 (1991)
Borchert, B.: On the acceptance power of regular languages. Theoretical Computer Science 148, 207–225 (1995)
Borchert, B., Kuske, D., Stephan, F.: On existentially first-order definable languages and their relation to NP. Theoretical Informatics and Applications 33, 259–269 (1999)
Bovet, D.P., Crescenzi, P., Silvestri, R.: A uniform approach to define complexity classes. Theoretical Computer Science 104, 263–283 (1992)
Brzozowski, J.A.: Hierarchies of aperiodic languages. RAIRO Inform. Theor. 10, 33–49 (1976)
Brzozowski, J.A., Knast, R.: The dot-depth hierarchy of star-free languages is infinite. Journal of Computer and System Sciences 16, 37–55 (1978)
Burtschick, H.-J., Vollmer, H.: Lindström quantifiers and leaf language definability. International Journal of Foundations of Computer Science 9, 277–294 (1998)
Cohen, R.S., Brzozowski, J.A.: Dot-depth of star-free events. Journal of Computer and System Sciences 5, 1–16 (1971)
Eilenberg, S.: Automata, languages and machines, vol. B. Academic Press, New York (1976)
Glaßer, C.: Polylog-time reductions decrease dot-depth. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol. 3404, pp. 170–181. Springer, Heidelberg (2005)
Hertrampf, U., Lautemann, C., Schwentick, T., Vollmer, H., Wagner, K.W.: On the power of polynomial time bit-reductions. In: Proceedings 8th Structure in Complexity Theory, pp. 200–207 (1993)
Maciel, A., Péladeau, P., Thérien, D.: Programs over semigroups of dot–depth one. Theoretical Computer Science 245, 135–148 (2000)
Perrin, D., Pin, J.E.: First-order logic and star-free sets. Journal of Computer and System Sciences 32, 393–406 (1986)
Pin, J.E., Weil, P.: Polynomial closure and unambiguous product. Theory of computing systems 30, 383–422 (1997)
Schmitz, H.: The Forbidden-Pattern Approach to Concatenation Hierarchies. PhD thesis, Fakultät für Mathematik und Informatik, Universität Würzburg (2001)
Stockmeyer, L.: The polynomial-time hierarchy. Theoretical Computer Science 3, 1–22 (1977)
Thomas, W.: An application of the Ehrenfeucht–Fraïssé game in formal language theory. Société Mathématique de France, mémoire 16, 2, 11–21 (1984)
Vereshchagin, N.K.: Relativizable and non-relativizable theorems in the polynomial theory of algorithms (in Russian). Izvestija Rossijskoj Akademii Nauk 57, 51–90 (1993)
Wagner, K.W.: Leaf language classes. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol. 3354, pp. 60–81. Springer, Heidelberg (2005)
Wrathall, C.: Complete sets and the polynomial-time hierarchy. Theoretical Computer Science 3, 23–33 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glaßer, C., Travers, S., Wagner, K.W. (2006). Perfect Correspondences Between Dot-Depth and Polynomial-Time Hierarchy. In: Ibarra, O.H., Dang, Z. (eds) Developments in Language Theory. DLT 2006. Lecture Notes in Computer Science, vol 4036. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11779148_37
Download citation
DOI: https://doi.org/10.1007/11779148_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35428-4
Online ISBN: 978-3-540-35430-7
eBook Packages: Computer ScienceComputer Science (R0)