13 research outputs found
A Fast Algorithm Finding the Shortest Reset Words
In this paper we present a new fast algorithm finding minimal reset words for
finite synchronizing automata. The problem is know to be computationally hard,
and our algorithm is exponential. Yet, it is faster than the algorithms used so
far and it works well in practice. The main idea is to use a bidirectional BFS
and radix (Patricia) tries to store and compare resulted subsets. We give both
theoretical and practical arguments showing that the branching factor is
reduced efficiently. As a practical test we perform an experimental study of
the length of the shortest reset word for random automata with states and 2
input letters. We follow Skvorsov and Tipikin, who have performed such a study
using a SAT solver and considering automata up to states. With our
algorithm we are able to consider much larger sample of automata with up to
states. In particular, we obtain a new more precise estimation of the
expected length of the shortest reset word .Comment: COCOON 2013. The final publication is available at
http://link.springer.com/chapter/10.1007%2F978-3-642-38768-5_1
Experiments on synchronizing automata
This work is motivated by the Černý Conjecture – an old unsolved problem in the automata theory. We describe the results of the experiments on synchronizing automata, which have led us to two interesting results. The first one is that the size of an automaton alphabet may play an important role in the issue of synchronization: we have found a 5-state automaton over a 3-letter alphabet which attains the upper bound from the Černý Conjecture, while there is no such automaton (except Černý automaton ) over a binary alphabet. The second result emerging from the experiments is a theorem describing the dependencies between the automaton structure expressed in terms of the so-called merging system and the maximal length of all minimal synchronizing words for automata of type
Synchronizing Random Almost-Group Automata
In this paper we address the question of synchronizing random automata in the
critical settings of almost-group automata. Group automata are automata where
all letters act as permutations on the set of states, and they are not
synchronizing (unless they have one state). In almost-group automata, one of
the letters acts as a permutation on states, and the others as
permutations. We prove that this small change is enough for automata to become
synchronizing with high probability. More precisely, we establish that the
probability that a strongly connected almost-group automaton is not
synchronizing is , for a -letter
alphabet.Comment: full version prepared for CIAA 201
An Improved Algorithm for Finding the Shortest Synchronizing Words
A synchronizing word of a deterministic finite complete automaton is a word whose action maps every state to a single one. Finding a shortest or a short synchronizing word is a central computational problem in the theory of synchronizing automata and is applied in other areas such as model-based testing and the theory of codes. Because the problem of finding a shortest synchronizing word is computationally hard, among exact algorithms only exponential ones are known. We redesign the previously fastest known exact algorithm based on the bidirectional breadth-first search and improve it with respect to time and space in a practical sense. We develop new algorithmic enhancements and adapt the algorithm to multithreaded and GPU computing. Our experiments show that the new algorithm is multiple times faster than the previously fastest one and its advantage quickly grows with the hardness of the problem instance. Given a modest time limit, we compute the lengths of the shortest synchronizing words for random binary automata up to 570 states, significantly beating the previous record. We refine the experimental estimation of the average reset threshold of these automata. Finally, we develop a general computational package devoted to the problem, where an efficient and practical implementation of our algorithm is included, together with several well-known heuristics
An Improved Algorithm for Finding the Shortest Synchronizing Words
A synchronizing word of a deterministic finite complete automaton is a word
whose action maps every state to a single one. Finding a shortest or a short
synchronizing word is a central computational problem in the theory of
synchronizing automata and is applied in other areas such as model-based
testing and the theory of codes. Because the problem of finding a shortest
synchronizing word is computationally hard, among \emph{exact} algorithms only
exponential ones are known. We redesign the previously fastest known exact
algorithm based on the bidirectional breadth-first search and improve it with
respect to time and space in a practical sense. We develop new algorithmic
enhancements and adapt the algorithm to multithreaded and GPU computing. Our
experiments show that the new algorithm is multiple times faster than the
previously fastest one and its advantage quickly grows with the hardness of the
problem instance. Given a modest time limit, we compute the lengths of the
shortest synchronizing words for random binary automata up to 570 states,
significantly beating the previous record. We refine the experimental
estimation of the average reset threshold of these automata. Finally, we
develop a general computational package devoted to the problem, where an
efficient and practical implementation of our algorithm is included, together
with several well-known heuristics.Comment: Full version of ESA 2022 pape
Experiments on Synchronizing Automata
This work is motivated by the ˇCern´y Conjecture – an old unsolved problem in the automata theory. We describe the results of the experiments on synchronizing automata, which have led us to two interesting results. The first one is that the size of an automaton alphabet may play an important role in the issue of synchronization: we have found a 5-state automaton over a 3-letter alphabet which attains the upper bound from the ˇCern´y Conjecture, while there is no such automaton (except ˇCern´y automaton C5) over a binary alphabet. The second result emerging from the experiments is a theorem describing the dependencies between the automaton structure S expressed in terms of the so-called merging system and the maximal length of all minimal synchronizing words for automata of type S