Showing 1–23 of 23 results for author: Trahtman, A N

A Partially Synchronizing Coloring

Authors: A. N. Trahtman

Abstract: Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the automaton at least on k-element subset. A coloring of edges of a directed strongly connected finite graph of a uniform outdegree (constant outdegree of any vertex) is… ▽ More Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the automaton at least on k-element subset. A coloring of edges of a directed strongly connected finite graph of a uniform outdegree (constant outdegree of any vertex) is k-synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a k-synchronizing word. For k=1 one has the well known road coloring problem. The recent positive solution of the road coloring problem implies an elegant generalization considered first by Beal and Perrin: a directed finite strongly connected graph of uniform outdegree is k-synchronizing iff the greatest common divisor of lengths of all its cycles is k. Some consequences for coloring of an arbitrary finite digraph are presented. We describe a subquadratic algorithm of the road coloring for the k-synchronization implemented in the package TESTAS. A new linear visualization program demonstrates the obtained coloring. Some consequences for coloring of an arbitrary finite digraph and of such a graph of uniform outdegree are presented. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Comments: 9 pages, 2 figures Lecture Notes in Computer Science, 6072(2010), 363-370. arXiv admin note: text overlap with arXiv:0801.2838, arXiv:0709.0099

MSC Class: K.6; 62A09; 12Y99 ACM Class: F.2.2; I.2.7

A polynomial time algorithm for local testability and its level

Authors: A. N. Trahtman

Abstract: A locally testable semigroup S is a semigroup with the property that for some nonnegative integer k, called the order or level of local testability, two words u and v in some set of generators for semigroup S are equal in the semigroup if (1) the prefix and suffix of the words of length k coincide, and (2) the set of intermediate substrings of length k of the words coincide. The local testability… ▽ More A locally testable semigroup S is a semigroup with the property that for some nonnegative integer k, called the order or level of local testability, two words u and v in some set of generators for semigroup S are equal in the semigroup if (1) the prefix and suffix of the words of length k coincide, and (2) the set of intermediate substrings of length k of the words coincide. The local testability problem for semigroups is, given a finite semigroup, to decide, if the semigroup is locally testable or not. Recently, we introduced a polynomial time algorithm for the local testability problem and to find the level of local testability for semigroups based on our previous description of identities of $k$-testable semigroups and the structure of locally testable semigroups. The first part of the algorithm we introduce solves the local testability problem. The second part of the algorithm finds the order of local testability of a semigroup. The algorithm is of quadratic order where n is the order of the semigroup. △ Less

Submitted 11 May, 2022; originally announced May 2022.

Comments: 9 pages, no figures, found linear algorithm for study class of local testability of formal languages

MSC Class: F.3; F.4; E.1; G.2 ACM Class: F.2.2

Journal ref: Int Journal of Algebra and Computation vol.9 no. 1(1998), 31-39

Row monomial matrices and Černy conjecture, short proof

Authors: A. N. Trahtman

Abstract: The class of row monomial matrices (one unit and rest zeros in every row) with some non-standard operations of summation and usual multiplication is our main object. These matrices generate a space with respect to the mentioned operations. A word w of letters on edges of underlying graph of deterministic finite automaton (DFA) is called synchronizing if w sends all states of the automaton to a uni… ▽ More The class of row monomial matrices (one unit and rest zeros in every row) with some non-standard operations of summation and usual multiplication is our main object. These matrices generate a space with respect to the mentioned operations. A word w of letters on edges of underlying graph of deterministic finite automaton (DFA) is called synchronizing if w sends all states of the automaton to a unique state J. Černy discovered in 1964 a sequence of n-state complete DFA possessing a minimal synchronizing word of length (n-1)(n-1). The hypothesis, well known today as the Černy conjecture, claims that (n-1)(n-1) is also precise upper bound on the length of such a word for a complete DFA. The hypothesis was formulated in 1966 by Starke. The problem has motivated great and constantly growing number of investigations and generalizations. We present the proof of the Černy-Starke conjecture: the deterministic complete n-state synchronizing automaton has synchronizing word of length at most (n-1)(n-1). The proof used connection between dimension of the space and the length of words on paths of edges in underlying graph of automaton. △ Less

Submitted 18 November, 2022; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: 8 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:2003.06177, arXiv:1904.07694, arXiv:2110.06839

MSC Class: 05C50; 68R10; 05C85 ACM Class: F.2.2; I.2.7

The algebra of row monomial matrices

Authors: A. N. Trahtman

Abstract: We consider an algebra with non-standard operations on the class of row monomial matrices (having one unit and rest of zeros in every row). The class of row monomial matrices is closed under multiplication, but not closed under ordinary matrix addition. The paper considers a kind of summation operation on row monomial matrices and the necessary conditions to be closed under the operation in this c… ▽ More We consider an algebra with non-standard operations on the class of row monomial matrices (having one unit and rest of zeros in every row). The class of row monomial matrices is closed under multiplication, but not closed under ordinary matrix addition. The paper considers a kind of summation operation on row monomial matrices and the necessary conditions to be closed under the operation in this class. The most significant difference between the algebra of row monomial matrices and linear algebra is the summation operation, with respect to which the class of row monomial matrices is closed. The operation of summation in the algebra can be considered also as an algebra of subsets of any set. The class of subsets of given set is closed under considered operation of summation. The deterministic finite automaton (DFA) can be presented by a complete underlying graph of the automaton with edges labelled by letters of an alphabet. Row monomial matrices can be induced by words in the alphabet of labels on edges of underlying graph of DFA and present a mapping of the set of states. A word $s$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $s$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, mostly known today as Černy conjecture, claims that $(n-1)^2$ is a precise upper bound on the length of such a word over alphabet $Σ$ of letters on edges of $Γ$ for every complete $n$-state DFA. The hypothesis was formulated in 1966 by Starke. The following proof of the conjecture uses the algebra of row monomial matrices. △ Less

Submitted 4 October, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: 11 pages, 1 figure. The proof of the Cerny conjecture replaced by new simplified and elegant proof. arXiv admin note: substantial text overlap with arXiv:2003.06177, arXiv:1904.07694, arXiv:1405.2435

MSC Class: 68R10; 03c05; 15-02; ACM Class: F.2.2; I.2.7

Verification Tools for Checking some kinds of Testability

Authors: A. N. Trahtman

Abstract: A locally testable language L is a language with the property that for some non negative integer k, called the order of local testability, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of length k + 1 and (2) the set of intermediate substrings of length k of the word u. For given k the language is called k-testable. The local testability has a wide… ▽ More A locally testable language L is a language with the property that for some non negative integer k, called the order of local testability, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of length k + 1 and (2) the set of intermediate substrings of length k of the word u. For given k the language is called k-testable. The local testability has a wide spectrum of generalizations. A set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally testable, or piecewise testable was implemented in the package TESTAS written in C=C++. The bounds on order of local testability of transition graph and order of local testability of transition semigroup are also found. For given k, the k-testability of transition graph is verified. We consider some approaches to verify these procedures and use for this aim some auxiliary programs. The approaches are based on distinct forms of presentation of a given finite automaton and on algebraic properties of the presentation. New proof and fresh wording of necessary and sufficient conditions for local testability of deterministic finite automaton is presented. △ Less

Submitted 4 June, 2021; originally announced June 2021.

Comments: 14 pages, 6 figures, Algebraic Methods in Language Processing, 2003

MSC Class: 20F10; 20M35; 68Q70 ACM Class: F.2.2; I.2.7

Journal ref: Verification of algorithms for checking some kinds of testability. In Algebraic Methods in Language Processing, TWLT 21, eds. F.Spoto, 21(2003), 253-263

A package TESTAS for checking some kinds of testability

Authors: A. N. Trahtman

Abstract: We implement a set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally testable, or piecewise testable. The bounds on order of local testability of transition graph and order of local testability of transition semigroup are also found. For… ▽ More We implement a set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally testable, or piecewise testable. The bounds on order of local testability of transition graph and order of local testability of transition semigroup are also found. For given k, the k-testability of transition graph is verified. Some new effective polynomial time algorithms are used. These algorithms have been implemented as a C/C++ package. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 5 pages, Lecture Notes in Computer Science 2608(2003), 228-232

MSC Class: 68w25 68Q25 05C85 ACM Class: F.2.2; I.2.7

An algorithm to verify local threshold testability of deterministic finite automata

Authors: A. N. Trahtman

Abstract: A locally threshold testable language L is a language with the property that for some non negative integers k and l, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of length k > 1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j <= L. For given k and L th… ▽ More A locally threshold testable language L is a language with the property that for some non negative integers k and l, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of length k > 1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j <= L. For given k and L the language is called l-threshold k-testable. A finite deterministic automaton is called l-threshold k-testable if the automaton accepts a l-threshold k-testable language. In this paper, the necessary and sufficient conditions for an automaton to be locally threshold testable are found. We introduce the first polynomial time algorithm to verify local threshold testability of the automaton based on this characterization. New version of polynomial time algorithm to verify the local testability will be presented too. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Comments: 8 pages, 6 figures, PTSD conference, Lecture notes of computer science

MSC Class: 68W32 68R10 05C20 05C85 ACM Class: F.2.2; I.2.7

The Černy Conjecture for aperiodic automata

Authors: A. N. Trahtman

Abstract: A word w is called a synchronizing (recurrent, reset) word of a deterministic finite automaton (DFA) if w brings all states of the automaton to some state; a DFA that has a synchronizing word is said to be synchronizing. Cerny conjectured in 1964 that every n-state synchronizing DFA possesses a synchronizing word of length at most (n -1)2. We consider automaton with aperiodic transition monoid (su… ▽ More A word w is called a synchronizing (recurrent, reset) word of a deterministic finite automaton (DFA) if w brings all states of the automaton to some state; a DFA that has a synchronizing word is said to be synchronizing. Cerny conjectured in 1964 that every n-state synchronizing DFA possesses a synchronizing word of length at most (n -1)2. We consider automaton with aperiodic transition monoid (such automaton is called aperiodic). We show that every synchronizing n-state aperiodic automaton has a synchronizing word of length at most n(n-2)+1. Thus, for aperiodic automaton as well as for automatons accepting only star-free languages, the Cerny conjecture holds true. △ Less

Submitted 19 May, 2021; originally announced May 2021.

Comments: 8 pages, DMTCS conference 2007

MSC Class: 68915 05C12 ACM Class: F.2.2; I.2.7

Reducing the time complexity of testing for local threshold testability

Authors: A. N. Trahtman

Abstract: A locally threshold testable language L is a language with the property that for some non negative integers k and l and for some word u from L, a word v belongs to L if and only if (1) the prefixes [suffixes] of length k-1 of words u and v coincide, (2) the numbers of occurrences of every factor of length k in both words u and v are either the same or greater than l-1. A deterministic finite… ▽ More A locally threshold testable language L is a language with the property that for some non negative integers k and l and for some word u from L, a word v belongs to L if and only if (1) the prefixes [suffixes] of length k-1 of words u and v coincide, (2) the numbers of occurrences of every factor of length k in both words u and v are either the same or greater than l-1. A deterministic finite automaton is called locally threshold testable if the automaton accepts a locally threshold testable language for some l and k. New necessary and sufficient conditions for a deterministic finite automaton to be locally threshold testable are found. On the basis of these conditions, we modify the algorithm to verify local threshold testability of the automaton and to reduce the time complexity of the algorithm. The algorithm is implemented as a part of the $C/C ^{++}$ package TESTAS. \texttt{http://www.cs.biu.ac.il/$\sim$trakht/Testas.html}. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 11 pages, 4 figures

MSC Class: cs FL ACM Class: F.2.2; I.2.7

Precise estimation on the order of local testability of deterministic finite automaton

Authors: A. N. Trahtman

Abstract: A locally testable language L is a language with the property that for some non negative integer k, called the order or the level of local testable, whether or not a word u in the language L depends on (1) the prefix and the suffix of the word u of length k-1 and (2) the set of intermediate partial strings of length k of the word u. For given k the language is called k-testable. We give necessary… ▽ More A locally testable language L is a language with the property that for some non negative integer k, called the order or the level of local testable, whether or not a word u in the language L depends on (1) the prefix and the suffix of the word u of length k-1 and (2) the set of intermediate partial strings of length k of the word u. For given k the language is called k-testable. We give necessary and sufficient conditions for the language of an automaton to be k-testable in the terms of the length of paths of a related graph. Some estimations of the upper and of the lower bound of testable order follow from these results. We improve the upper bound on the testable order of locally testable deterministic finite automaton with n states to n(n-2)+1 This bound is the best possible. We give an answer on the following conjecture of Kim, McNaughton and Mac-CLoskey for deterministic finite locally testable automaton with n states: \Is the local testable order of no greater than n in power 1.5 when the alphabet size is two?" Our answer is negative. In the case of size two the situation is the same as in general case. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 15 pages

MSC Class: cs FL ACM Class: F.2.2; I.2.7

Some new Features and Algorithms for the Study of DFA

Authors: Avraham N. Trahtman

Abstract: The work presents some new algorithms realized recently in the package TESTAS. They decide whether or not deterministic finite automaton (DFA) is synchronizing, several procedures find relatively short synchronizing words and a synchronizing word of the minimal length. We check the existence of a coloring of directed graph that turns the graph into a synchronizing DFA. The algorithm finds the colo… ▽ More The work presents some new algorithms realized recently in the package TESTAS. They decide whether or not deterministic finite automaton (DFA) is synchronizing, several procedures find relatively short synchronizing words and a synchronizing word of the minimal length. We check the existence of a coloring of directed graph that turns the graph into a synchronizing DFA. The algorithm finds the coloring (better known as the road coloring) if it exists. Otherwise, the k-synchronizing road coloring can be found. We use a linear visualization of the graph of an automaton based on its structural properties. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: 9 pages, 2 figures, 2 tables. arXiv admin note: substantial text overlap with arXiv:0907.2755

MSC Class: cs FL ACM Class: F.2.2; I.2.7

Polynomial time algorithm for left [right] local testability

Authors: A. N. Trahtman

Abstract: A right [left] locally testable language S is a language with the property that for some non negative integer k two words u and v in alphabet S are equal in the semi group if (1) the prefix and suffix of the words of length k coincide, (2) the set of segments of length k of the words as well as 3) the order of the first appearance of these segments in prefixes [suffixes] coincide. We present neces… ▽ More A right [left] locally testable language S is a language with the property that for some non negative integer k two words u and v in alphabet S are equal in the semi group if (1) the prefix and suffix of the words of length k coincide, (2) the set of segments of length k of the words as well as 3) the order of the first appearance of these segments in prefixes [suffixes] coincide. We present necessary and sufficient condition for graph [semi group] to be transition graph [semi group] of the deterministic finite automaton that accepts right [left] locally testable language and necessary and sufficient condition for transition graph of the deterministic finite automaton with locally idempotent semi group. We introduced polynomial time algorithms for the right [left] local testable problem for transition semi group and transition graph of the deterministic finite automaton based on these conditions. Polynomial time algorithm verifies transition graph of automaton with locally idempotent transition semi group. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: 10 pages

MSC Class: Cs FL

Cerny-Starke conjecture from the sixties of XX century

Authors: A. N. Trahtman

Abstract: A word $s$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $s$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, mostly known today as Černy conjecture, claims that $(n-1)^2$ is a precise uppe… ▽ More A word $s$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $s$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, mostly known today as Černy conjecture, claims that $(n-1)^2$ is a precise upper bound on the length of such a word over alphabet $Σ$ of letters on edges of $Γ$ for every complete $n$-state DFA. The hypothesis was formulated in 1966 by Starke. Algebra with nonstandard operation over special class of matrices induced by words in the alphabet of labels on edges is used to prove the conjecture. The proof is based on the connection between length of words $u$ and dimension of the space generated by solution $L_x$ of matrix equation $M_uL_x=M_s$ for synchronizing word $s$, as well as on relation between ranks of $M_u$ and $L_x$. Important role below placed the notion of pseudo inverseL matrix, sometimes reversible. △ Less

Submitted 6 April, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: 18 pages, 9 lemmas, graphs, matrices. 4 examples arXiv admin note: substantial text overlap with arXiv:1904.07694, arXiv:1202.4626; text overlap with arXiv:1405.2435

MSC Class: Discrete Mathematics (Primary) Formal Languages and Automata Theory (Secondary) ACM Class: F.2.2; I.2.7

Matrix approach to synchronizing automata

Authors: A. N. Trahtman

Abstract: A word $w$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, well known today as Černy conjecture, claims that $(n-1)^2$ is a precise upper… ▽ More A word $w$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, well known today as Černy conjecture, claims that $(n-1)^2$ is a precise upper bound on the length of such a word over alphabet $Σ$ of letters on edges of $Γ$ for every complete $n$-state DFA. The hypothesis was formulated distinctly in 1966 by Starke. A special classes of matrices induced by words in the alphabet of labels on edges of the underlying graph of DFA are used for the study of synchronizing automata. △ Less

Submitted 11 November, 2019; v1 submitted 13 April, 2019; originally announced April 2019.

Comments: 19-pages.3 figures An error removed. arXiv admin note: text overlap with arXiv:1405.2435, arXiv:1202.4626

A Note on a Recent Attempt to Improve the Pin-Frankl Bound

Authors: François Gonze, Raphaël M. Jungers, A. N. Trahtman

Abstract: We provide a counterexample to a lemma used in a recent tentative improvement of the the Pin-Frankl bound for synchronizing automata. This example naturally leads us to formulate an open question, whose answer could fix the line of proof, and improve the bound. We provide a counterexample to a lemma used in a recent tentative improvement of the the Pin-Frankl bound for synchronizing automata. This example naturally leads us to formulate an open question, whose answer could fix the line of proof, and improve the bound. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: Short note presenting a counterexample and the resulting open question

The length of a minimal synchronizing word and the Černy conjecture

Authors: A. N. Trahtman

Abstract: A word w of letters on edges of underlying graph Gamma of deterministic finite automaton (DFA) is called the synchronizing word if w sends all states of the automaton to a unique state. J. Cerny discovered in 1964 a sequence of n-state complete DFA possessing a minimal synchronizing word of length (n-1)^2. The hypothesis, well known today as the Cerny conjecture, claims that it is also precise upp… ▽ More A word w of letters on edges of underlying graph Gamma of deterministic finite automaton (DFA) is called the synchronizing word if w sends all states of the automaton to a unique state. J. Cerny discovered in 1964 a sequence of n-state complete DFA possessing a minimal synchronizing word of length (n-1)^2. The hypothesis, well known today as the Cerny conjecture, claims that it is also precise upper bound on the length of such a word for a complete DFA. This simple looking conjecture is arguably the most fascinating and longstanding open problem in the theory of finite automaton. The hypothesis was formulated in 1966 by Starke. The problem has motivated great and constantly growing number of investigations and generalizations. To prove the conjecture, we use algebra with non-standard operations on a special class of matrices (row monomial), induced by words in the alphabet of labels on edges. These matrices generate a space with respect to the mentioned operation. The proof is based on connection between length of words u and dimension of the space generated by solutions Lx of matrix equation MuLx =Ms for synchronizing word s, as well as on the relation between ranks of Mu and Lx. △ Less

Submitted 18 July, 2021; v1 submitted 10 May, 2014; originally announced May 2014.

Comments: 21 pages, 15 figures. arXiv admin note: text overlap with arXiv:1202.4626

MSC Class: 68R10; 68R15; 90C35 ACM Class: F.2.2; I.2.7

The Černy conjecture

Authors: A. N. Trahtman

Abstract: A word $w$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, well known today as the Černy conjecture, claims that it is also precise upper… ▽ More A word $w$ of letters on edges of underlying graph $Γ$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. Černy discovered in 1964 a sequence of $n$-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. The hypothesis, well known today as the Černy conjecture, claims that it is also precise upper bound on the length of such a word for a complete DFA. The hypothesis was formulated in 1966 by Starke. The problem has motivated great and constantly growing number of investigations and generalizations. To prove the conjecture, we use algebra w on a special class of row monomial matrices (one unit and rest zeros in every row), induced by words in the alphabet of labels on edges. These matrices generate a space with respect to the mentioned operation. The proof is based on connection between length of words $u$ and dimension of the space generated by solutions $L_x$ of matrix equation $M_uL_x=M_s$ for synchronizing word $s$, as well as on the relation between ranks of $M_u$ and $L_x$. △ Less

Submitted 18 January, 2022; v1 submitted 21 February, 2012; originally announced February 2012.

Comments: 14 pages, 11 Lemmas, most of which are considered trivial by various reviewers. Everything goes to that the main result is also trivial. And the author himself is inclined to admit it

MSC Class: 05C20; 05C50; 11J72 ACM Class: F.2.2; I.2.7

Modifying the upper bound on the length of minimal synchronizing word

Authors: A. N. Trahtman

Abstract: A word $w$ is called synchronizing (recurrent, reset, magic, directable) word of deterministic finite automaton (DFA) if $w$ sends all states of the automaton to a unique state. In 1964 Jan Černy found a sequence of n-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. He conjectured that it is an upper bound on the length of such words for complete DFA. Nevertheless,… ▽ More A word $w$ is called synchronizing (recurrent, reset, magic, directable) word of deterministic finite automaton (DFA) if $w$ sends all states of the automaton to a unique state. In 1964 Jan Černy found a sequence of n-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. He conjectured that it is an upper bound on the length of such words for complete DFA. Nevertheless, the best upper bound $(n^3-n)/6$ was found almost 30 years ago. We reduce the upper bound on the length of the minimal synchronizing word to $n(7n^2+6n-16)/48$. An implemented algorithm for finding synchronizing word with restricted upper bound is described. The work presents the distribution of all synchronizing automata of small size according to the length of an almost minimal synchronizing word. △ Less

Submitted 21 March, 2014; v1 submitted 13 April, 2011; originally announced April 2011.

Comments: This paper has been withdrawn by the author. Key Lemma 3 is wrong, the statement of the paper was not proved

The Visualization of the Road Coloring Algorithm in the package TESTAS

Authors: A. N. Trahtman, T. Bauer, N. Cohen

Abstract: A synchronizing word of a deterministic automaton is a word in the alphabet of colors of its edges that maps the automaton to a single state. A coloring of edges of a directed graph is synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a synchronizing word. The road coloring problem is the problem of synchronizing coloring of a directed finite strongly… ▽ More A synchronizing word of a deterministic automaton is a word in the alphabet of colors of its edges that maps the automaton to a single state. A coloring of edges of a directed graph is synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a synchronizing word. The road coloring problem is the problem of synchronizing coloring of a directed finite strongly connected graph with constant outdegree of all its vertices if the greatest common divisor of the lengths of all its cycles is one. A polynomial time algorithm of the road coloring has been based on recent positive solution of this old famous problem. One can use our new visualization program for demonstration of the algorithm as well as for visualization of the transition graph of any finite automaton. The visual image presents some structure properties of the transition graph. This help tool is linear in the size of the automaton. △ Less

Submitted 23 November, 2010; v1 submitted 16 July, 2009; originally announced July 2009.

Comments: 12 pages

The Road Coloring for Mapping on k States(withdrawn)

Authors: A. N. Trahtman

Abstract: Let $Γ$ be directed strongly connected finite graph of uniform outdegree (constant outdegree of any vertex) and let some coloring of edges of $Γ$ turn the graph into deterministic complete automaton. Let the word $s$ be a word in the alphabet of colors (considered also as letters) on the edges of $Γ$ and let $Γs$ be a mapping of vertices $Γ$. Let $Γ$ be directed strongly connected finite graph of uniform outdegree (constant outdegree of any vertex) and let some coloring of edges of $Γ$ turn the graph into deterministic complete automaton. Let the word $s$ be a word in the alphabet of colors (considered also as letters) on the edges of $Γ$ and let $Γs$ be a mapping of vertices $Γ$. △ Less

Submitted 5 January, 2009; v1 submitted 28 December, 2008; originally announced December 2008.

Comments: withdrawn, the result was known

An Algorithm for Road Coloring

Authors: A. N. Trahtman

Abstract: A coloring of edges of a finite directed graph turns the graph into finite-state automaton. The synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of edges of a directed graph of uniform outdegree (constant outdegree of any vertex) is synchronizing if the coloring turns the g… ▽ More A coloring of edges of a finite directed graph turns the graph into finite-state automaton. The synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of edges of a directed graph of uniform outdegree (constant outdegree of any vertex) is synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a synchronizing word. The road coloring problem is the problem of synchronizing coloring of a directed finite strongly connected graph of uniform outdegree if the greatest common divisor of the lengths of all its cycles is one. The problem posed in 1970 had evoked a noticeable interest among the specialists in the theory of graphs, automata, codes, symbolic dynamics as well as among the wide mathematical community. A polynomial time algorithm of $O(n^3)$ complexity in the most worst case and quadratic in majority of studied cases for the road coloring of the considered graph is presented below. The work is based on recent positive solution of the road coloring problem. The algorithm was implemented in the package TESTAS △ Less

Submitted 23 November, 2010; v1 submitted 18 January, 2008; originally announced January 2008.

Comments: 10 pages

ACM Class: G.2

An efficient algorithm finds noticeable trends and examples concerning the Černy conjecture

Authors: A. N. Trahtman

Abstract: A word w is called synchronizing (recurrent, reset, directed) word of a deterministic finite automaton (DFA) if w sends all states of the automaton on a unique state. Jan Cerny had found in 1964 a sequence of n-state complete DFA with shortest synchronizing word of length (n-1)^2. He had conjectured that it is an upper bound for the length of the shortest synchronizing word for any $n$-state com… ▽ More A word w is called synchronizing (recurrent, reset, directed) word of a deterministic finite automaton (DFA) if w sends all states of the automaton on a unique state. Jan Cerny had found in 1964 a sequence of n-state complete DFA with shortest synchronizing word of length (n-1)^2. He had conjectured that it is an upper bound for the length of the shortest synchronizing word for any $n$-state complete DFA. The examples of DFA with shortest synchronizing word of length (n-1)^2 are relatively rare. To the Cerny sequence were added in all examples of Cerny, Piricka and Rosenauerova (1971), of Kari (2001) and of Roman (2004). By help of a program based on some effective algorithms, a wide class of automata of size less than 11 was checked. The order of the algorithm finding synchronizing word is quadratic for overwhelming majority of known to date automata. Some new examples of n-state DFA with minimal synchronizing word of length (n-1)^2 were discovered. The program recognized some remarkable trends concerning the length of the minimal synchronizing word. http://www.cs.biu.ac.il/~trakht/Testas.html △ Less

Submitted 8 September, 2007; originally announced September 2007.

Comments: MFCS06. LNCS 4162, 10 pages

Journal ref: Lectures Notes in Computer Science, 4162(2006), 789-80

The road coloring problem

Authors: A. N. Trahtman

Abstract: The synchronizing word of deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of edges of a directed graph is synchronizing if the coloring turns the graph into deterministic finite automaton possessing a synchronizing word. The road coloring problem is a problem of synchronizing coloring of dire… ▽ More The synchronizing word of deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of edges of a directed graph is synchronizing if the coloring turns the graph into deterministic finite automaton possessing a synchronizing word. The road coloring problem is a problem of synchronizing coloring of directed finite strongly connected graph with constant outdegree of all its vertices if the greatest common divisor of lengths of all its cycles is one. The problem was posed by Adler, Goodwyn and Weiss over 30 years ago and evoked a noticeable interest among the specialists in theory of graphs, deterministic automata and symbolic dynamics. The problem is described even in "Wikipedia" - the popular Internet Encyclopedia. The positive solution of the road coloring problem is presented. △ Less

Submitted 21 December, 2007; v1 submitted 2 September, 2007; originally announced September 2007.

Comments: 9 pages, correct typos