Conjetura de Černý
# Conjetura de Černý

En 1964 Jan Černý propuso que dado un AFD (Autómata finito determinista) sincronizable de $n$ estados, existe una palabra de sincronización(o palabra de reinicio) de longitud a lo sumo de $(n-1)^{2}$.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 $n$, 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 $n$).

## Introducción

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 $n$ estados con palabra mínima de sincronización de tamaño $(n-1)^{2}$ para un alfabeto de tamaño $|\Sigma |=2$. La conjetura de Černý establece que esta es una cota superior para la longitud de una palabra de sincronización de cualquier AFD con $n$ estados. Este problema puede ser reducido a autómatas con un grafo asociado fuertemente conexo.

## La Conjetura

Sea $A=(Q,\Sigma )$ un AFD con conjunto de entradas $Q$ sobre el alfabeto $\Sigma$. Una palabra $w\in \Sigma ^{*}$ es denominada una palabra de reinicio para $A$ si esta palabra envía todos los estados de $A$ a un único estado, esto es $|Qw|=1$. Un autómata que admite una palabra de reinicio se dice sincronizable.

### Conjetura

Un autómata sincronizable de $n$ estados admite una palabra de reinicio de longitud a lo sumo de $(n-1)^{2}$.

## Autómatas Sincronizables y la Conjetura de Černý.

### Cotas Superiores de la Longitud de la Palabra de Sincronización

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 ${\dfrac {n^{3}-n}{6}}$.

No hay ejemplos de autómatas tales que la longitud de la menor palabra de sincronización sea mayor que $(n-1)^{2}$ más aún, los ejemplos de autómatas con palabra de sincronización cuya longitud sea $(n-1)^{2}$ son poco frecuentes.

## Conjetura de Černý probabilística

### Generalidades

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:

   $(n-1)^{2}$

Entendiéndose en estas preguntas que al referirse a alta probabilidad significa"con probabilidad que tiende a $1$ tanto como $n$ va al infinito"

### Resultados

**AFD Sincronizables**

Dado $A$, AFD aleatorio de $n$ estados y $|\Sigma |=c$ , hay una probabilidad de $1-O({\dfrac {1}{n^{0.5c}}})$ de que sea sincronizable, para $|\Sigma |=2$ el rango de convergencia es bastante estrecho. Por otro lado si $|\Sigma |=4$, $A$ es sincronizable con una probabilidad $p$ para una constante específica $p>0$. Si además $|\Sigma |\geq 72ln(n)$ entonces, es casi seguro que $A$ sea sincronizable.

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**

Al escoger un autómata de manera uniforme sobre el conjunto de AFD sincronizables de $n$ estados en un alfabeto de al menos dos letras $(|\Sigma |\geq 2)$ se tiene que, para cualquier $\epsilon >0$, la probabilidad de que un autómata aleatorio de $n$ estados, tenga una palabra de sincronización de tamaño menor que $n^{1+\epsilon }$ tiende a $1$ cuando $n$ tiende a infinito.

Dándose así respuesta afirmativa a la segunda pregunta.

