Showing 1–11 of 11 results for author: Berlinkov, M V

Synchronizing Strongly Connected Partial DFAs

Authors: Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, Marek Szykuła

Abstract: 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 whethe… ▽ More 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 Černý 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. △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: Full version of the paper at STACS 2021

Synchronizing Random Almost-Group Automata

Authors: Mikhail V. Berlinkov, Cyril Nicaud

Abstract: 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 $n-1$ states, and the others as permutations. We prove that… ▽ More 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 $n-1$ 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 $\frac{2^{k-1}-1}{n^{2(k-1)}}(1+o(1))$, for a $k$-letter alphabet. △ Less

Submitted 6 May, 2018; originally announced May 2018.

Comments: full version prepared for CIAA 2018

ACM Class: F.4.3

Preimage problems for deterministic finite automata

Authors: Mikhail V. Berlinkov, Robert Ferens, Marek Szykuła

Abstract: Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. 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… ▽ More Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. 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. △ Less

Submitted 19 September, 2020; v1 submitted 26 April, 2017; originally announced April 2017.

Journal ref: Journal of Computer and System Sciences, 115:214--234, 2021

Highest Trees of Random Map**s

Authors: Mikhail V. Berlinkov

Abstract: We prove the exact asymptotic $1-\left({\frac{2π}{3}-\frac{827}{288π}}+o(1)\right)/{\sqrt{n}}$ for the probability that the underlying graph of a random map** of $n$ elements possesses a unique highest tree. The property of having a unique highest tree turned out to be crucial in the solution of the famous Road Coloring Problem as well as the generalization of this property in the proof of the a… ▽ More We prove the exact asymptotic $1-\left({\frac{2π}{3}-\frac{827}{288π}}+o(1)\right)/{\sqrt{n}}$ for the probability that the underlying graph of a random map** of $n$ elements possesses a unique highest tree. The property of having a unique highest tree turned out to be crucial in the solution of the famous Road Coloring Problem as well as the generalization of this property in the proof of the author's result about the probability of being synchronizable for a random automaton. △ Less

Submitted 1 June, 2016; v1 submitted 17 April, 2015; originally announced April 2015.

On the Synchronization Rate for e-machines

Authors: Mikhail V. Berlinkov

Abstract: It is known, that an $ε$-machine is either exactly or asymptotically synchronizing. In the exact case, the observer can infer the current machine state after observing $L$ generated symbols with probability $1-a^L$ where $0 \leq a<1$ is a so-called synchronization rate constant. In the asymptotic case, the probability of the correct prediction the current machine state after observing $L$ generate… ▽ More It is known, that an $ε$-machine is either exactly or asymptotically synchronizing. In the exact case, the observer can infer the current machine state after observing $L$ generated symbols with probability $1-a^L$ where $0 \leq a<1$ is a so-called synchronization rate constant. In the asymptotic case, the probability of the correct prediction the current machine state after observing $L$ generated symbols tends to $1$ exponentially fast as $1-b^L$ for $0<b<1$ and the infimum of such $b$ is a so-called prediction rate constant. Hence the synchronization and prediction rate constants serve as natural measures of synchronization for $ε$-machines. In the present work we show how to approximate these constants in polynomial time in terms of the number of machine states. △ Less

Submitted 23 September, 2014; v1 submitted 28 June, 2014; originally announced June 2014.

Comments: A result about computing prediction rate constant has been added

ACM Class: F.4.3

Testing for Synchronization

Authors: Mikhail V. Berlinkov

Abstract: We consider the first problem that appears in any application of synchronizing automata, namely, the problem of deciding whether or not a given $n$-state $k$-letter automaton is synchronizing. First we generalize results from \cite{RandSynch},\cite{On2Problems} for the case of strongly connected partial automata. Specifically, for $k>1$ we show that an automaton is synchronizing with probability… ▽ More We consider the first problem that appears in any application of synchronizing automata, namely, the problem of deciding whether or not a given $n$-state $k$-letter automaton is synchronizing. First we generalize results from \cite{RandSynch},\cite{On2Problems} for the case of strongly connected partial automata. Specifically, for $k>1$ we show that an automaton is synchronizing with probability $1-O(\frac{1}{n^{0.5k}})$ and present an algorithm with linear in $n$ expected time, while the best known algorithm is quadratic on each instance. This results are interesting due to their applications in synchronization of finite state information sources. After that we consider the synchronization of reachable partial automata that has application for splicing systems in computational biology. For this case we prove that the problem of testing a given automaton for synchronization is NP-complete. △ Less

Submitted 2 May, 2014; v1 submitted 11 January, 2014; originally announced January 2014.

Comments: minor corrections. arXiv admin note: substantial text overlap with arXiv:1312.2226

ACM Class: F.4.3

On two Algorithmic Problems about Synchronizing Automata

Authors: Mikhail V. Berlinkov

Abstract: 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… ▽ More 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$. △ Less

Submitted 22 March, 2018; v1 submitted 8 December, 2013; originally announced December 2013.

Comments: Revised and reviewed version, in particular, the result of complexity of synchronization of partial automata was fixed

ACM Class: F.2.0; F.4.3

On the probability of being synchronizable

Authors: Mikhail V. Berlinkov

Abstract: We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability. Moreover, we also prove that the convergence rate is exactly $1-Θ(\frac{1}{n})$ as conjectured by Cameron \cite{CamConj} for the most interesting binary alphabet case. Finally, we describe a deterministic algorithm which decides whether a given random automaton is synchroni… ▽ More We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability. Moreover, we also prove that the convergence rate is exactly $1-Θ(\frac{1}{n})$ as conjectured by Cameron \cite{CamConj} for the most interesting binary alphabet case. Finally, we describe a deterministic algorithm which decides whether a given random automaton is synchronizing in linear expected time. △ Less

Submitted 28 March, 2020; v1 submitted 21 April, 2013; originally announced April 2013.

Comments: Numerous fixes in the proof

ACM Class: F.4.3

Synchronizing Automata on Quasi Eulerian Digraph

Authors: Mikhail V. Berlinkov

Abstract: In 1964 Černý conjectured that each $n$-state synchronizing automaton posesses a reset word of length at most $(n-1)^2$. From the other side the best known upper bound on the reset length (minimum length of reset words) is cubic in $n$. Thus the main problem here is to prove quadratic (in $n$) upper bounds. Since 1964, this problem has been solved for few special classes of \sa. One of this result… ▽ More In 1964 Černý conjectured that each $n$-state synchronizing automaton posesses a reset word of length at most $(n-1)^2$. From the other side the best known upper bound on the reset length (minimum length of reset words) is cubic in $n$. Thus the main problem here is to prove quadratic (in $n$) upper bounds. Since 1964, this problem has been solved for few special classes of \sa. One of this result is due to Kari \cite{Ka03} for automata with Eulerian digraphs. In this paper we introduce a new approach to prove quadratic upper bounds and explain it in terms of Markov chains and Perron-Frobenius theories. Using this approach we obtain a quadratic upper bound for a generalization of Eulerian automata. △ Less

Submitted 15 March, 2012; originally announced March 2012.

Comments: 8 pages, 1 figure

ACM Class: F.4.1; F.4.3

On Carpi and Alessandro conjecture

Authors: M. V. Berlinkov

Abstract: The well known open Černý conjecture states that each \san with $n$ states has a \sw of length at most $(n-1)^2$. On the other hand, the best known upper bound is cubic of $n$. Recently, in the paper \cite{CARPI1} of Alessandro and Carpi, the authors introduced the new notion of strongly transitivity for automata and conjectured that this property with a help of \emph{Extension} method allows to… ▽ More The well known open Černý conjecture states that each \san with $n$ states has a \sw of length at most $(n-1)^2$. On the other hand, the best known upper bound is cubic of $n$. Recently, in the paper \cite{CARPI1} of Alessandro and Carpi, the authors introduced the new notion of strongly transitivity for automata and conjectured that this property with a help of \emph{Extension} method allows to get a quadratic upper bound for the length of the shortest \sws. They also confirmed this conjecture for circular automata. We disprove this conjecture and the long-standing \emph{Extension} conjecture too. We also consider the widely used Extension method and its perspectives. △ Less

Submitted 14 February, 2010; v1 submitted 21 September, 2009; originally announced September 2009.

Comments: 11 pages, 1 figure

ACM Class: F.4.1; F.4.3

Approximating the minimum length of synchronizing words is hard

Authors: M. V. Berlinkov

Abstract: We prove that, unless $\mathrm{P}=\mathrm{NP}$, no polynomial algorithm can approximate the minimum length of \sws for a given \san within a constant factor. We prove that, unless $\mathrm{P}=\mathrm{NP}$, no polynomial algorithm can approximate the minimum length of \sws for a given \san within a constant factor. △ Less

Submitted 19 December, 2009; v1 submitted 21 September, 2009; originally announced September 2009.

Comments: 12 pages, 1 figure

ACM Class: F.1.1; F.4.3