ProV Logo
0

On two Algorithmic Problems about Synchr...
Berlinkov, Mikhail V...
On two Algorithmic Problems about Synchronizing Automata by Berlinkov, Mikhail V. ( Author )
Australian National University
01-09-2023
Under the assumption $\mathcal{P} \neq \mathcal{NP}$, we prove that two natural problems from the theory of synchronizing automata cannot be solved in polynomial time. The first problem is to decide whether a given reachable partial automaton is synchronizing. The second one is, given an $n$-state binary complete synchronizing automaton, to compute its reset threshold within performance ratio less than $d \ln{(n)}$ for a specific constant $d>0$.
-
Article
pdf
29.34 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1312.2226
Share this eBook