1,043 research outputs found
Synchronization Problems in Automata without Non-trivial Cycles
We study the computational complexity of various problems related to
synchronization of weakly acyclic automata, a subclass of widely studied
aperiodic automata. We provide upper and lower bounds on the length of a
shortest word synchronizing a weakly acyclic automaton or, more generally, a
subset of its states, and show that the problem of approximating this length is
hard. We investigate the complexity of finding a synchronizing set of states of
maximum size. We also show inapproximability of the problem of computing the
rank of a subset of states in a binary weakly acyclic automaton and prove that
several problems related to recognizing a synchronizing subset of states in
such automata are NP-complete.Comment: Extended and corrected version, including arXiv:1608.00889.
Conference version was published at CIAA 2017, LNCS vol. 10329, pages
188-200, 201
On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs
We tackle the problem of the randomized generation of slowly synchronizing
deterministic automata (DFAs) by generating random primitive sets of matrices.
We show that when the randomized procedure is too simple the exponent of the
generated sets is O(n log n) with high probability, thus the procedure fails to
return DFAs with large reset threshold. We extend this result to random
nondeterministic automata (NDFAs) by showing, in particular, that a uniformly
sampled NDFA has both a 2-directing word and a 3-directing word of length O(n
log n) with high probability. We then present a more involved randomized
algorithm that manages to generate DFAs with large reset threshold and we
finally leverage this finding for exhibiting new families of DFAs with reset
threshold of order .Comment: 31 pages, 9 figures. arXiv admin note: text overlap with
arXiv:1805.0672
Synchronizing Data Words for Register Automata
Register automata (RAs) are finite automata extended with a finite set of
registers to store and compare data from an infinite domain. We study the
concept of synchronizing data words in RAs: does there exist a data word that
sends all states of the RA to a single state?
For deterministic RAs with k registers (k-DRAs), we prove that inputting data
words with 2k+1 distinct data from the infinite data domain is sufficient to
synchronize. We show that the synchronization problem for DRAs is in general
PSPACE-complete, and it is NLOGSPACE-complete for 1-DRAs. For nondeterministic
RAs (NRAs), we show that Ackermann(n) distinct data (where n is the size of the
RA) might be necessary to synchronize. The synchronization problem for NRAs is
in general undecidable, however, we establish Ackermann-completeness of the
problem for 1-NRAs.
Another main result is the NEXPTIME-completeness of the length-bounded
synchronization problem for NRAs, where a bound on the length of the
synchronizing data word, written in binary, is given. A variant of this last
construction allows to prove that the length-bounded universality problem for
NRAs is co-NEXPTIME-complete
On the interplay between Babai and Cerny's conjectures
Motivated by the Babai conjecture and the Cerny conjecture, we study the
reset thresholds of automata with the transition monoid equal to the full
monoid of transformations of the state set. For automata with states in
this class, we prove that the reset thresholds are upper-bounded by
and can attain the value . In addition, we study diameters
of the pair digraphs of permutation automata and construct -state
permutation automata with diameter .Comment: 21 pages version with full proof
Synchronizing automata over nested words
We extend the concept of a synchronizing word from deterministic finite-state automata (DFA) to nested word automata (NWA): A well-matched nested word is called synchronizing if it resets the control state of any configuration, i. e., takes the NWA from all control states to a single control state.
We show that although the shortest synchronizing word for an NWA, if it exists, can be (at most) exponential in the size of the NWA, the existence of such a word can still be decided in polynomial time. As our main contribution, we show that deciding the existence of a short synchronizing word (of at most given length) becomes PSPACE-complete (as opposed to NP-complete for DFA). The upper bound
makes a connection to pebble games and Strahler numbers, and the lower bound goes via small-cost synchronizing words for DFA, an intermediate problem that we also show PSPACE-complete. We also characterize the complexity of a number of related problems, using the observation that the intersection nonemptiness problem for NWA
is EXP-complete
Synchronizing Words for Weighted and Timed Automata
The problem of synchronizing automata is concerned with the existence of a word that sends all states of the automaton to one and the same state. This problem has classically been studied for complete deterministic finite automata, with the existence problem being NLOGSPACE-complete.
In this paper we consider synchronizing-word problems for weighted and timed automata. We consider the synchronization problem in several variants and combinations of these, including deterministic and non-deterministic timed and weighted automata, synchronization to unique location with possibly different clock valuations or accumulated weights, as well as synchronization with a safety condition forbidding the automaton to visit states outside a safety-set during synchronization (e.g. energy constraints). For deterministic weighted automata, the synchronization problem is proven PSPACE-complete under energy constraints, and in 3-EXPSPACE under general safety constraints. For timed automata the synchronization problems are shown to be PSPACE-complete in the deterministic case, and undecidable in the non-deterministic case
Synchronizing Strongly Connected Partial DFAs
We study synchronizing partial DFAs, which extend the classical concept of
synchronizing complete DFAs and are a special case of synchronizing unambiguous
NFAs. A partial DFA is called synchronizing if it has a word (called a reset
word) whose action brings a non-empty subset of states to a unique state and is
undefined for all other states. While in the general case the problem of
checking whether a partial DFA is synchronizing is PSPACE-complete, we show
that in the strongly connected case this problem can be efficiently reduced to
the same problem for a complete DFA. Using combinatorial, algebraic, and formal
languages methods, we develop techniques that relate main synchronization
problems for strongly connected partial DFAs with the same problems for
complete DFAs. In particular, this includes the \v{C}ern\'{y} and the rank
conjectures, the problem of finding a reset word, and upper bounds on the
length of the shortest reset words of literal automata of finite prefix codes.
We conclude that solving fundamental synchronization problems is equally hard
in both models, as an essential improvement of the results for one model
implies an improvement for the other.Comment: Full version of the paper at STACS 202
- …