Conjetura de Černý
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Grafo10101.jpg/220px-Grafo10101.jpg)
En 1964 Jan Černý propuso que dado un AFD (Autómata finito determinista) sincronizable de estados, existe una palabra de sincronización(o palabra de reinicio) de longitud a lo sumo de .Este problema es uno de los más antiguos y famosos junto con Teorema del coloreo de carreteras en la teoría de Autómatas Finitos.
Por otro lado, se ha visto que una cota superior en la longitud de la palabra de reinicio es de tamaño cúbico en , de donde la conjetura establecería que el tamaño de las cotas superiores de la longitud de dicha palabra, sería cuadrático (en ).
Introducción
[editar]El problema de la sincronización de un AFD arriba naturalmente, pues la sincronización hace que el comportamiento de un autómata sea "resistente" a errores de ingreso de órdenes dado que, después de la detección de un error, una palabra de sincronización puede reiniciar el autómata a su estado original, como si no hubiera ocurrido ningún error.
Un problema con una larga historia es el de la estimación de la longitud mínima de una palabra de sincronización para un AFD completo.Mejor conocido ahora como una conjetura de Černý, este problema fue propuesto independientemente por otros autores también. Jan Černý en 1964 encontró un AFD completo de estados con palabra mínima de sincronización de tamaño para un alfabeto de tamaño . La conjetura de Černý establece que esta es una cota superior para la longitud de una palabra de sincronización de cualquier AFD con estados. Este problema puede ser reducido a autómatas con un grafo asociado fuertemente conexo.[1]
Sea un AFD con conjunto de entradas sobre el alfabeto . Una palabra es denominada una palabra de reinicio para si esta palabra envía todos los estados de a un único estado, esto es . Un autómata que admite una palabra de reinicio se dice sincronizable.
Conjetura
[editar]Un autómata sincronizable de estados admite una palabra de reinicio de longitud a lo sumo de .
Autómatas Sincronizables y la Conjetura de Černý.
[editar]Cotas Superiores de la Longitud de la Palabra de Sincronización
[editar]Inicialmente las cotas superiores encontradas para la longitud de las palabras de sincronización no alcanzaban a ser polinomiales; la más conocida de las cotas superiores ahora es .
No hay ejemplos de autómatas tales que la longitud de la menor palabra de sincronización sea mayor que más aún, los ejemplos de autómatas con palabra de sincronización cuya longitud sea son poco frecuentes.[3]
Conjetura de Černý probabilística
[editar]Generalidades
[editar]Una manera natural de ver la conjetura de Černý desde un punto de vista probabilístico lleva a una forma de proponer la conjetura de Černý desde las siguientes preguntas:
Pregunta 1: ¿Un AFD es sincronizable con alta probabilidad?
Pregunta 2: ¿un AFD sincronizable de n estados admite una palabra de reinicio de longitud a lo sumo con alta probabilidad?
Entendiéndose en estas preguntas que al referirse a alta probabilidad significa"con probabilidad que tiende a tanto como va al infinito"[4]
Resultados
[editar]AFD Sincronizables
[editar]Dado , AFD aleatorio de estados y , hay una probabilidad de de que sea sincronizable, para el rango de convergencia es bastante estrecho. Por otro lado si , es sincronizable con una probabilidad para una constante específica . Si además entonces, es casi seguro que sea sincronizable.[5]
Dándose así una respuesta afirmativa a la primera pregunta.
Probabilidad del tamaño de una palabra de reinicio en un AFD escogido aleatoriamente de manera uniforme
[editar]Al escoger un autómata de manera uniforme sobre el conjunto de AFD sincronizables de estados en un alfabeto de al menos dos letras se tiene que, para cualquier , la probabilidad de que un autómata aleatorio de estados, tenga una palabra de sincronización de tamaño menor que tiende a cuando tiende a infinito.[6]
Dándose así respuesta afirmativa a la segunda pregunta.
Notas
[editar]- ↑ Trahtman, Avraham (2014). «The length of a minimal synchronizing word and the Černý conjecture. 1p». CoRR.
- ↑ Steinberg, Benjamin (2010). «The Černý conjecture for one-cluster automata with prime length cycle. 1 p.». math.CO.
- ↑ Trahtman, Avraham (2014). «The length of a minimal synchronizing word and the Černý conjecture. 1,2. p.». CoRR.
- ↑ Nicaud, Cyril (2014). «Fast Synchronization of Random Automata. 1,2 p.». arXiv:1404.6962 [cs.FL].
- ↑ Berlinkov, Mikhail (2015). «On the probability of being synchronizable. 1, p.». arXiv:1304.5774 [cs.FL].
- ↑ Nicaud, Cyril (2014). «Fast Synchronization of Random Automata. 1, p.». arXiv:1404.6962 [cs.FL].