Relating automata-theoretic hierarchies to complexity-theoretic hierarchies
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 1, pp. 29-42.

We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynomial-time hierarchy. This extends a result of Burtschik and Vollmer on relationship between the Straubing and the polynomial hierarchies. In particular, this applies to the Boolean hierarchy and the plus-hierarchy.

DOI : https://doi.org/10.1051/ita:2002003
Classification : 03D05,  03D15,  03D55
@article{ITA_2002__36_1_29_0,
author = {Selivanov, Victor L.},
title = {Relating automata-theoretic hierarchies to complexity-theoretic hierarchies},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {29--42},
publisher = {EDP-Sciences},
volume = {36},
number = {1},
year = {2002},
doi = {10.1051/ita:2002003},
zbl = {1029.03027},
mrnumber = {1928157},
language = {en},
url = {http://www.numdam.org/articles/10.1051/ita:2002003/}
}
TY  - JOUR
AU  - Selivanov, Victor L.
TI  - Relating automata-theoretic hierarchies to complexity-theoretic hierarchies
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2002
DA  - 2002///
SP  - 29
EP  - 42
VL  - 36
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/articles/10.1051/ita:2002003/
UR  - https://zbmath.org/?q=an%3A1029.03027
UR  - https://www.ams.org/mathscinet-getitem?mr=1928157
UR  - https://doi.org/10.1051/ita:2002003
DO  - 10.1051/ita:2002003
LA  - en
ID  - ITA_2002__36_1_29_0
ER  - 
Selivanov, Victor L. Relating automata-theoretic hierarchies to complexity-theoretic hierarchies. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 1, pp. 29-42. doi : 10.1051/ita:2002003. http://www.numdam.org/articles/10.1051/ita:2002003/

[1] J.L. Balcázar, J. Díaz and J. Gabarró, Structural Complexity I, Vol. 11 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag (1988). | MR 1047862 | Zbl 0638.68040

[2] J.L. Balcázar, J. Díaz and J. Gabarró, Structural Complexity II, Vol. 11 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag (1990). | MR 1056474 | Zbl 0746.68032

[3] B. Borchert, On the acceptance power of regular languages. Theoret. Comput. Sci. 148 (1995) 207-225. | MR 1355587 | Zbl 0873.68121

[4] B. Borchert, D. Kuske and F. Stephan, On existentially first-order definable languages and their relation to $NP$. RAIRO: Theoret. Informatics Appl. 33 (1999) 259-269. | Numdam | MR 1728426 | Zbl 0949.03035

[5] D.P. Bovet, P. Crescenzi and R. Silvestri, A uniform approach to define complexity classes. Theoret. Comput. Sci. 104 (1992) 263-283. | MR 1186181 | Zbl 0754.68049

[6] J.A. Brzozowski and R Knast, The dot-depth hierarchy of star-free languages is infinite. J. Comput. Systems Sci. 16 (1978) 37-55. | MR 471451 | Zbl 0368.68074

[7] H.-J. Burtschick and H. Vollmer, Lindström Quatifiers and Leaf Language Definability. Int. J. Found. Comput. Sci. 9 (1998) 277-294.

[8] E. Hemaspaandra, L. Hemaspaandra and H. Hempel, What's up with downward collapse: Using the easy-hard technique to link Boolean and polynomial hierarchy collapses. Compl. Theory Column 21, ACM-SIGACT Newslett. 29 (1998) 10-22.

[9] U. Hertrampf, C. Lautemann, T. Schwentick, H. Vollmer and K.W. Wagner, On the power of polynomial time bit-reductions, in Proc. 8th Structure in Complexity Theory (1993) 200-207. | MR 1310801

[10] U. Hertrampf, H. Vollmer and K.W. Wagner, On the power of number-theoretic operations with respect to counting, in Proc. 10th Structure in Complexity Theory (1995) 299-314.

[11] U. Hertrampf, H. Vollmer and K.W. Wagner, On balanced vs. unbalanced computation trees. Math. Systems Theory 29 (1996) 411-421. | MR 1389468 | Zbl 0853.68097

[12] B. Jenner, P. Mckenzie and D. Therien, Logspace and logtime leaf languages. Inform. and Comput. 129 (1996) 21-33. | MR 1408830 | Zbl 0864.68057

[13] K. Kuratowski and A. Mostowski, Set Theory. North Holland (1967). | MR 229526 | Zbl 0165.01701

[14] J. Köbler, U. Shöning and K.W. Wagner, The difference and truth-table hierarchies for NP. Dep. of Informatics, Koblenz, Preprint 7 (1986).

[15] R. Mcnaughton and S. Papert, Counter-free automata. MIT Press, Cambridge, Massachusets (1971). | MR 371538 | Zbl 0232.94024

[16] D. Perrin and J.-E. Pin, First order logic and star-free sets. J. Comput. Systems Sci. 32 (1986) 393-406. | MR 858236 | Zbl 0618.03015

[17] J.-E. Pin and P. Weil, Polynomial closure and unambiguous product. Theory Computing Systems 30 (1997) 383-422. | MR 1450862 | Zbl 0872.68119

[18] S. Reith and K.W. Wagner, On Boolean lowness and Boolean highness, in Proc. 4-th Ann. Int. Computing and Combinatorics Conf. Springer, Berlin, Lecture Notes in Comput. Sci. 1449 (1998) 147-156. | MR 1683382 | Zbl 0912.68049

[19] V.L. Selivanov, Two refinements of the polynomial hierarchy, in Proc. of Symposium on Theor. Aspects of Computer Science STACS-94. Springer, Berlin, Lecture Notes in Comput. Sci. 775 (1994) 439-448. | MR 1288556 | Zbl 0941.03544

[20] V.L. Selivanov, Refining the polynomial hierarchy, Preprint No. 9. The University of Heidelberg, Chair of Mathematical Logic (1994) 20 p. | MR 1763384

[21] V.L. Selivanov, Fine hierarchies and Boolean terms. J. Symb. Logic 60 (1995) 289-317. | MR 1324514 | Zbl 0824.03022

[22] V.L. Selivanov, Refining the polynomial hierarchy. Algebra and Logic 38 (1999) 456-475 (Russian, there is an English translation). | MR 1763384 | Zbl 0932.03052

[23] V.L. Selivanov, A logical approach to decidability of hierarchies of regular star-free languages, in Proc. of 18-th Int. Symposium on Theor. Aspects of Computer Science STACS-2001 in Dresden, Germany. Springer, Berlin, Lecture Notes in Comput. Sci. 2010 (2001) 539-550 | MR 1892340 | Zbl 0976.03042

[24] V.L. Selivanov and A.G. Shukin, On hierarchies of regular star-free languages (in Russian). Preprint 69 of A.P. Ershov Institute of Informatics Systems (2000) 28 p.

[25] A.G. Shukin, Difference hierarchies of regular languages. Comput. Systems 161 (1998) 141-155 (in Russian). | MR 1778013 | Zbl 0932.03053

[26] H. Schmitz and K.W. Wagner, The Boolean hierarchy over level 1/2 of the Straubing-Therien hierarchy, Technical Report 201. Inst. für Informatik, Univ. Würzburg available at http://www.informatik.uni-wuerzburg.de.

[27] W. Thomas, Classifying regular events in symbolic logic. J. Comput. Systems Sci. 25 (1982) 360-376. | MR 684265 | Zbl 0503.68055

[28] N.K. Vereshchagin, Relativizable and non-relativizable theorems in the polynomial theory of algorithms. Izvestiya Rossiiskoi Akademii Nauk 57 (1993) 51-90 (in Russian). | MR 1230967 | Zbl 0822.68035

[29] G. Wechsung and K. Wagner, On the Boolean closure of NP, in Proc. of the 1985 Int. Conf. on Fundamentals of Computation theory. Springer-Verlag, Lecture Notes in Comput. Sci. 199 (1985) 485-493. | MR 821265 | Zbl 0581.68043

Cité par Sources :