论文信息 - The road coloring problem

The road coloring problem

A 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 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 lengths of all its cycles is one. The problem was posed by Adler, Goodwyn and Weiss over 30 years ago and evoked noticeable interest among the specialists in the theory of graphs, deterministic automata and symbolic dynamics. The positive solution of the road coloring problem is presented.

A. N. Trahtman | J. Friedman

[1] Benjamin Weiss,et al. SIMILARITY OF AUTOMORPHISMS OF THE TORUS , 1970 .

[2] Jarkko Kari,et al. A Note on Synchronized Automata and Road Coloring Problem , 2001, Developments in Language Theory.

[3] Douglas Lind,et al. An Introduction to Symbolic Dynamics and Coding , 1995 .

[4] Alessandra Carbone. Cycles of relatively prime length and the road coloring problem , 2001 .

[5] Kamal Jain,et al. A Min-Max theorem about the Road Coloring Conjecture , 2005 .

[6] Avraham Trakhtman,et al. Notable trends concerning the synchronization of graphs and automata , 2006, Electron. Notes Discret. Math..

[7] Jarkko Kari,et al. Synchronizing Finite Automata on Eulerian Digraphs , 2003, MFCS.

[8] Benjamin Weiss,et al. Equivalence of topological Markov shifts , 1977 .

[9] Avraham Trakhtman. The road coloring problem , 2007, ArXiv.

[10] G. O'Brien,et al. The road-colouring problem , 1981 .

[11] Arto Salomaa,et al. Many-Valued Truth Functions, Cerny's Conjecture and Road Coloring , 1999, Bull. EATCS.

[12] Jarkko Kari,et al. A Note on Synchronized Automata and Road Coloring Problem , 2002, Int. J. Found. Comput. Sci..

[13] Edward F. Schmeichel,et al. A Note on the Road-Coloring Conjecture , 1998, Ars Comb..

[14] J. Pin. On two Combinatorial Problems Arising from Automata Theory , 1983 .