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].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)