References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Fast Synchronization of Random Automata
(Submitted on 28 Apr 2014 (v1), last revised 1 Sep 2014 (this version, v2))
Abstract: A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then it has a synchronizing word of size at most (n-1)^2. Berlinkov recently made a breakthrough in the probabilistic analysis of synchronization by proving that with high probability, an automaton has a synchronizing word. In this article, we prove that with high probability an automaton admits a synchronizing word of length smaller than n^(1+\epsilon), and therefore that the Cerny conjecture holds with high probability.
Submission history
From: Cyril Nicaud [view email][v1] Mon, 28 Apr 2014 12:51:04 GMT (40kb,D)
[v2] Mon, 1 Sep 2014 09:48:55 GMT (40kb,D)
Link back to: arXiv, form interface, contact.