The Complexity of Finding Reset Words in Finite Automata

  • Jörg Olschewski
  • Michael Ummels
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6281)

Abstract

We study several problems related to finding reset words in deterministic finite automata. In particular, we establish that the problem of deciding whether a shortest reset word has length k is complete for the complexity class DP. This result answers a question posed by Volkov. For the search problems of finding a shortest reset word and the length of a shortest reset word, we establish membership in the complexity classes FPNP and FPNP[log], respectively. Moreover, we show that both these problems are hard for FPNP[log]. Finally, we observe that computing a reset word of a given length is FNP-complete.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Berlinkov, M.V.: Approximating the length of synchronizing words. In: Ablayev, F., Mayr, E.W. (eds.) Computer Science – Theory and Applications. LNCS, vol. 6072, pp. 37–47. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. 2.
    Černý, J.: Poznámka k. homogénnym experimentom s konecnými automatmi. Matematicko-fyzikalny Časopis Slovensk. Akad. Vied 14(3), 208–216 (1964)MATHGoogle Scholar
  3. 3.
    Černý, J., Pirická, A., Rosenauerová, B.: On directable automata. Kybernetica 7(4), 289–298 (1971)MATHGoogle Scholar
  4. 4.
    Eppstein, D.: Reset sequences for monotonic automata. SIAM Journal on Computing 19(3), 500–510 (1990)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Gawrychowski, P.: Complexity of shortest synchronizing word. Unpublished manuscript (April 2008)Google Scholar
  6. 6.
    Krentel, M.W.: The complexity of optimization problems. Journal of Computer and System Sciences 36, 490–509 (1988)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Papadimitriou, C.H.: Computational complexity. Addison-Wesley, Reading (1994)MATHGoogle Scholar
  8. 8.
    Pin, J.-É.: On two combinatorial problems arising from automata theory. Annals of Discrete Mathematics 17, 535–548 (1983)MATHGoogle Scholar
  9. 9.
    Samotij, W.: A note on the complexity of the problem of finding shortest synchronizing words. In: Proc. AutoMathA 2007, University of Palermo, CD (2007)Google Scholar
  10. 10.
    Selman, A.L.: A taxonomy of complexity classes of functions. Journal of Computer and System Sciences 48(2), 357–381 (1994)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Valiant, L.G.: The complexity of computing the permanent. Theoretical Computer Science 8, 189–201 (1979)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Volkov, M.V.: Synchronizing automata and the Černý conjecture. In: Martín-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 11–27. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jörg Olschewski
    • 1
    • 2
  • Michael Ummels
    • 2
    • 3
  1. 1.Lehrstuhl Informatik 7RWTH Aachen UniversityGermany
  2. 2.LSV, CNRS & ENS CachanFrance
  3. 3.Mathematische Grundlagen der InformatikRWTH Aachen UniversityGermany

Personalised recommendations