A sequence of symbols a 1 , a 2 … is called square-free if it does not contain a subsequence of consecutive terms of the form x 1 , …, x m , x 1 , …, x m . A century ago Thue showed that there exist arbitrarily long square-free sequences using only three symbols. Sequences can be thought of as colors on the vertices of a path. Following the paper of Alon, Grytczuk, Haluszczak and Riordan, we examine graph colorings for which the color sequence is square-free on any path. The main result is that the vertices of any k -tree have a coloring of this kind using O ( c k ) colors if c > 6. Alon et al. conjectured that a fixed number of colors suffices for any planar graph. We support this conjecture by showing that this number is at most 12 for outerplanar graphs. On the other hand we prove that some outerplanar graphs require at least 7 colors. Using this latter we construct planar graphs, for which at least 10 colors are necessary.
[1]
Frank Harary,et al.
Graph Theory
,
2016
.
[2]
Noga Alon,et al.
The Probabilistic Method
,
2015,
Fundamentals of Ramsey Theory.
[3]
Bogdan Oporowski,et al.
Some results on tree decomposition of graphs
,
1995,
J. Graph Theory.
[4]
M. Lothaire.
Combinatorics on words: Bibliography
,
1997
.
[5]
Hans L. Bodlaender,et al.
A note on domino treewidth
,
1999,
Discret. Math. Theor. Comput. Sci..
[6]
James D. Currie,et al.
There Are Ternary Circular Square-Free Words of Length n for n >= 18
,
2002,
Electron. J. Comb..
[7]
Jan van den Heuvel,et al.
Coloring the square of a planar graph
,
2003
.
[8]
Sandi Klavzar,et al.
Square-free colorings of graphs
,
2004,
Ars Comb..
[9]
Jaroslaw Grytczuk,et al.
Nonrepetitive colorings of graphs
,
2007,
Electron. Notes Discret. Math..