https://hal.archives-ouvertes.fr/hal-00619761Berstel, JeanJeanBerstelLIGM - Laboratoire d'Informatique Gaspard-Monge - UPEM - Université Paris-Est Marne-la-Vallée - ENPC - École des Ponts ParisTech - ESIEE Paris - Fédération de Recherche Bézout - CNRS - Centre National de la Recherche ScientifiqueBoasson, LucLucBoassonCarton, OlivierOlivierCartonContinuant polynomials and worst-case behavior of Hopcroft's minimization algorithmHAL CCSD2009[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Berstel, Jean2011-09-06 17:39:102022-09-29 14:21:152011-09-06 17:39:10enJournal articles10.1016/j.tcs.2009.01.0391This paper is concerned with the analysis of the worst case behavior of Hopcroft's algorithm for minimizing deterministic finite state automata. We extend a result of Castiglione, Restivo and Sciortino. They show that Hopcroft's algorithm has a worst case behavior for the automata recognizing Fibonacci words. In a previous paper, we have proved that this holds for all standard Sturmian words having an ultimately periodic directive sequence (the directive sequence for Fibonacci words is (1, 1, ...)).We prove here that the same conclusion holds for all standard Sturmian words having a directive sequence with bounded elements.More precisely, we obtain in fact a characterization of those directive sequences for which Hopcroft's algorithm has worst case running time. These are the directive sequences (d(1), d(2), d(3), ...) for which the sequence of geometric means (d(1)d(2) ... d(n))(1/n) is bounded. As a consequence, we easily show that there exist directive sequences for which the worst case for the running time is not attained.