3,763 research outputs found
The Complexity of Finding Reset Words in Finite Automata
We study several problems related to finding reset words in deterministic
finite automata. In particular, we establish that the problem of deciding
whether a shortest reset word has length k is complete for the complexity class
DP. This result answers a question posed by Volkov. For the search problems of
finding a shortest reset word and the length of a shortest reset word, we
establish membership in the complexity classes FP^NP and FP^NP[log],
respectively. Moreover, we show that both these problems are hard for
FP^NP[log]. Finally, we observe that computing a reset word of a given length
is FNP-complete.Comment: 16 pages, revised versio
Preimage problems for deterministic finite automata
Given a subset of states of a deterministic finite automaton and a word
, the preimage is the subset of all states mapped to a state in by the
action of . We study three natural problems concerning words giving certain
preimages. The first problem is whether, for a given subset, there exists a
word \emph{extending} the subset (giving a larger preimage). The second problem
is whether there exists a \emph{totally extending} word (giving the whole set
of states as a preimage)---equivalently, whether there exists an
\emph{avoiding} word for the complementary subset. The third problem is whether
there exists a \emph{resizing} word. We also consider variants where the length
of the word is upper bounded, where the size of the given subset is restricted,
and where the automaton is strongly connected, synchronizing, or binary. We
conclude with a summary of the complexities in all combinations of the cases
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
Experimental Study of the Shortest Reset Word of Random Automata
In this paper we describe an approach to finding the shortest reset word of a
finite synchronizing automaton by using a SAT solver. We use this approach to
perform an experimental study of the length of the shortest reset word of a
finite synchronizing automaton. The largest automata we considered had 100
states. The results of the experiments allow us to formulate a hypothesis that
the length of the shortest reset word of a random finite automaton with
states and 2 input letters with high probability is sublinear with respect to
and can be estimated as $1.95 n^{0.55}.
Checking Whether an Automaton Is Monotonic Is NP-complete
An automaton is monotonic if its states can be arranged in a linear order
that is preserved by the action of every letter. We prove that the problem of
deciding whether a given automaton is monotonic is NP-complete. The same result
is obtained for oriented automata, whose states can be arranged in a cyclic
order. Moreover, both problems remain hard under the restriction to binary
input alphabets.Comment: 13 pages, 4 figures. CIAA 2015. The final publication is available at
http://link.springer.com/chapter/10.1007/978-3-319-22360-5_2
Strong inapproximability of the shortest reset word
The \v{C}ern\'y conjecture states that every -state synchronizing
automaton has a reset word of length at most . We study the hardness
of finding short reset words. It is known that the exact version of the
problem, i.e., finding the shortest reset word, is NP-hard and coNP-hard, and
complete for the DP class, and that approximating the length of the shortest
reset word within a factor of is NP-hard [Gerbush and Heeringa,
CIAA'10], even for the binary alphabet [Berlinkov, DLT'13]. We significantly
improve on these results by showing that, for every , it is NP-hard
to approximate the length of the shortest reset word within a factor of
. This is essentially tight since a simple -approximation
algorithm exists.Comment: extended abstract to appear in MFCS 201
Complexity of checking whether two automata are synchronized by the same language
A deterministic finite automaton is said to be synchronizing if it has a
reset word, i.e. a word that brings all states of the automaton to a particular
one. We prove that it is a PSPACE-complete problem to check whether the
language of reset words for a given automaton coincides with the language of
reset words for some particular automaton.Comment: 12 pages, 4 figure
- …