Mot synchronisant — Wikipédia
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/69/Road_coloring_conjecture.svg/260px-Road_coloring_conjecture.svg.png)
En informatique théorique, et plus particulièrement en théorie des automates finis déterministes, un mot synchronisant, en anglais aussi reset word, est un mot sur l'alphabet d'entrée d'un automate qui envoie tout état de l'automate sur le même état[1],[2]. En d'autres termes, si un ensemble de copies de l'automate démarre, simultanément chacune en un état différent, elles se trouvent toutes après la lecture du mot synchronisant en même temps dans le même état. Les automates finis ne possèdent pas tous un mot synchronisant. Par exemple, un automate à deux états réduit à un circuit de longueur 2 ne peut pas être synchronisé. Le problème majeur encore ouvert concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý.
Existence
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d5/Automates_synchronisable_et_non_synchronisable.jpg/440px-Automates_synchronisable_et_non_synchronisable.jpg)
Pour un automate fini déterministe donné, la question de l'existence d'un mot synchronisant peut être décidée en temps polynomial[3] en utilisant un théorème dû à Černý décrit plus loin qui montre qu'un mot synchronisant existe si et seulement si toute paire d'états possède un mot synchronisant.
Un automate qui possède un mot synchronisant est parfois appelé synchronisé[2](en anglais synchronised automaton) ou synchronisable[4].
Conjecture de Černý
[modifier | modifier le code]Le problème majeur, encore ouvert, concerne la longueur des plus courts mots synchronisants, et est connu sous le nom de conjecture de Černý. En 1964, le mathématicien Ján Černý conjecture que est un majorant de la longueur du plus court mot synchronisant dans un automate fini déterministe complet à états[1],[5] :
Conjecture de Černý — Tout automate fini déterministe complet synchronisable à états possède un mot synchronisant de longueur au plus .
La conjecture est encore ouverte ; dans son article de 1964, Ján Černý donne une classe d'automates, indexée par le nombre d'états, pour laquelle le plus court mot synchronisant est de longueur ; ce nombre est donc un minorant dans le cas général. D'autres familles ont été définies qui vérifient la conjecture. Le meilleur majorant général connu pendant longtemps a été [2],[6]. Cette majoration est due à Jean-Éric Pin[7] et Peter Frankl[8]. Marek Szykuła annonce en 2017 une majoration légèrement meilleure[9] : elle est [10].
Paires synchronisables
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f0/Automate_des_paires_2.jpg/220px-Automate_des_paires_2.jpg)
Étant donné un automate fini déterministe complet avec un ensemble d'états, on note et l’ensemble des états atteints à partir d'un état de par le mot . Le rang du mot est le nombre d'éléments de l'ensemble . Un mot synchronisant est un mot de rang 1. Une paire d'états est synchronisable s'il existe un mot tel que . L'énoncé de Černý annoncé plus haut est le suivant :
- Un automate est synchronisable si et seulement si toute paire d'états est synchronisable.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Automate_des_paires_1.jpg/220px-Automate_des_paires_1.jpg)
Pour tester si un automate fini déterministe complet à est synchronisable, on construit l'automate des paires, et on cherche s'il existe un chemin de toute paire à une paire dont les composantes sont identiques.
Algorithmes
[modifier | modifier le code]Pour un automate à états sur un alphabet à lettres, David Eppstein donne un algorithme pour calculer une mot synchronisant de longueur au plus dont la complexité en temps est . Cet algorithme ne donne pas toujours le mot synchronisant le plus court pour un automate donné ; Eppstein démontre d'ailleurs que le problème du calcul du plus court mot synchronisant est NP-complet. Il donne toutefois une classe d'automates pour lesquels un algorithme en temps fournit toujours un mot synchronisant de longueur au plus (la borne de Černý) et donne des automates de cette forme particulière pour lesquels le plus court mot synchronisant a exactement la longueur [3].
Automates apériodiques
[modifier | modifier le code]La recherche d'une réponse à la conjecture de Černý a conduit à examiner des automates particuliers, et parmi eux notamment les automates apériodiques : un automate est dit apériodique si son monoïde de transitions est apériodique ou si, de manière équivalente, il existe un entier tel que, pour tout état et pour tout mot , on a :
- .
On peut noter qu'on a toujours pour un entier ; la particularité qui définit les automates apériodiques est que l'on peut choisir . Pour les automates apériodiques, la conjecture de Černý est vérifiée grâce à la proposition suivante :
Proposition (Trahtman (2008)[11]) — Un automate apériodique synchronisable à états possède un mot synchronisant de longueur au plus .
Cette borne a été améliorée par Volkov[12] dans le cas particulier des automates apériodiques fortement connexes. Il montre que la borne peut être remplacée par ; en fait, on ne connaît pas d'automates fortement connexe apériodique qui n'a pas de mot synchronisant de longueur au plus .
Coloriage des routes
[modifier | modifier le code]Le coloriage des routes est le problème de colorer les arcs d'un graphe régulier orienté avec k symboles (où k est le degré sortant des sommets) de sorte de le transformer en un automate déterministe fini qui possède un mot synchronisant. Il a été conjecturé en 1970 par Benjamin Weiss et Roy Adler[13] que tout graphe régulier fortement connexe et apériodique[14] peut être coloré de manière à avoir cette propriété ; leur conjecture a été démontrée en 2007 par Avraham Trahtman[15].
Bibliographie
[modifier | modifier le code]Avraham Trahtman donne, sur son site[1], une liste bibliographique détaillée sur la conjecture de Cerny, la coloration des routes et les mots synchronisants.
- Roy L. Adler et Benjamen Weiss, Similarity of automorphisms of the torus, coll. « Memoires of the American Mathematical Society » (no 98), , ii+48 (ISBN 978-1-4704-0048-4, MR 0257315).
- Marie-Pierre Béal et Dominique Perrin, chap. 7 « Synchronised automata », dans Valérie Berthé et Michel Rigo (éditeurs), Combinatorics, Words and Symbolic Dynamics, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 135), (ISBN 978-0-521-51597-9, 9781139924733 et 9781107077027, DOI 10.1017/cbo9781139924733.008, présentation en ligne), p. 213-240.
- Natalie Behague et Robert Johnson, « Synchronizing times for k-sets in automata », The Electronic Journal of Combinatorics, , P3.41–P3.41 (DOI 10.37236/9819, lire en ligne)
- Ján Černý, « Poznámka k homogénnym experimentom s konečnými automatami », Matematicko-fyzikálny Časopis Slovenskej Akadémie Vied, vol. 14, , p. 208–216 (MR 168429, lire en ligne).
- David Eppstein, « Reset Sequences for Monotonic Automata », SIAM Journal on Computing, vol. 19, no 3, , p. 500–510 (DOI 10.1137/0219033, lire en ligne).
- Helmut Jürgensen, « Synchronization », Information and Computation, vol. 206, nos 9–10, , p. 1033–1044 (DOI 10.1016/j.ic.2008.03.005).
- Cyril Nicaud, « The Černý Conjecture Holds with High Probability », Journal of Automata, Languages and Combinatorics, vol. 24, nos 2–4, , p. 343-365 (DOI 10.25596/jalc-2019-343, présentation en ligne).
- Avraham N. Trahtman, « The Cerny Conjecture for Aperiodic Automata », Discrete Mathematics & Theoretical Computer Science, vol. 9, no 2, , p. 3-10 (HAL hal-00966534, lire en ligne).
- Avraham N. Trahtman, « Synchronizing road coloring », Fifth IFIP International Conference on Theoretical Computer Science, vol. 273, , p. 43–53.
- Avraham N. Trahtman, « The road coloring problem », Israel Journal of Mathematics, vol. 172, no 1, , p. 51–60 (DOI 10.1007/s11856-009-0062-5, arXiv 0709.0099).
- Mikhail V. Volkov, « Synchronizing Automata and the Černý Conjecture », dans Language and Automata Theory and Applications (LATA 2008), Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 5196), (lire en ligne), p. 11–27.
- Mikhail V. Volkov, « Synchronizing automata preserving a chain of partial orders », Theoretical Computer Science, vol. 410, no 37, , p. 3513–3519.
Notes et références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « synchronizing word » (voir la liste des auteurs).
- Avraham Trakhtman: Bibliographie (Cerny conjecture, road coloring, synchronizing word) sur la page de Trahtman.
- Béal et Perrin 2016.
- Eppstein 1990
- Trahtman 2007.
- Černý 1964.
- Trahtman pensait avoir trouvé une meilleure majoration, mais sa preuve s'est avérée fausse et l’article a été retiré.
- Jean-Éric Pin, « On two Combinatorial Problems Arising from Automata Theory », Annals of Discrete Mathematics, vol. 17, , p. 535–548 (ISSN 0304-0208, DOI 10.1016/S0304-0208(08)73432-7, lire en ligne).
- Peter Frankl, « An Extremal Problem for two Families of Sets », European Journal of Combinatorics, vol. 3, no 2, , p. 125–127 (ISSN 0195-6698, DOI 10.1016/S0195-6698(82)80025-5).
- Marek Szykuła, « Improving the upper bound on the length of the shortest reset words », en cours, (arXiv 1702.05455, lire en ligne, consulté le ).
- L'auteur indique que sa meilleure majoration est , mais qu'elle est moins lisible.
- Trahtman 2008.
- Volkov 2009.
- Adler et Weiss 1970.
- Un graphe orienté est apériodique s'il n'existe pas d'entier >1 qui divise les longueurs de tous ses circuits ou si, de manière équivalente, le pgcd des longueurs de ses chemin est 1.
- La preuve est publiée dans arXiv en 2007, l'article en revue en 2010 : Trahtman 2009.