Thue number

From Wikipedia, the free encyclopedia

The Thue number of the 5-cycle is four.

In the mathematical area of graph theory, the Thue number of a graph is a variation of the chromatic index, defined by Alon et al (2002) and named by them after mathematician Axel Thue, who studied the squarefree words used to define this number.

Alon et al define a nonrepetitive coloring of a graph to be an assignment of colors to the edges of the graph, such that there does not exist any even-length simple path in the graph in which the colors of the edges in the first half of the path form the same sequence as the colors of the edges in the second half of the path. The Thue number of a graph is the minimum number of colors needed in any nonrepetitive coloring.

Variations on this concept involving vertex colorings or more general walks on a graph have been studied by several authors including Barát and Varjú, Barát and Wood (2005), and Brešar and Klavžar (2004).

1 Example
2 Results
3 Computational complexity
4 References

[edit] Example

Consider a pentagon, that is, a cycle of five vertices. If we color the edges with two colors, some two adjacent edges will have the same color x; the path formed by those two edges will have the repetitive color sequence xx. If we color the edges with three colors, one of the three colors will be used only once; the path of four edges formed by the other two colors will either have two consecutive edges or will form the repetitive color sequence xyxy. However, with four colors it is not difficult to avoid all repetitions. Therefore, the Thue number of C₅ is four.

[edit] Results

Alon et al use the Lovász local lemma to prove that the Thue number of any graph is at most quadratic in its maximum degree; they provide an example showing that for some graphs this quadratic dependence is necessary. In addition they show that the Thue number of a path of four or more vertices is exactly three, and that the Thue number of any cycle is at most four, and that the Thue number of the Petersen graph is exactly five.

The known cycles with Thue number four are C₅, C₇, C₉, C₁₀, C₁₄, and C₁₇. Alon et al conjecture that the Thue number of any larger cycle is three; they verified computationally that the cycles listed above are the only ones of length ≤ 2001 with Thue number four.

[edit] Computational complexity

The Thue number is notable for being a simply defined graph invariant the computational complexity of which is open, though it appears syntactically to belong to the second level of the polynomial hierarchy. That is, testing whether a coloring has a repetitive path is in NP, so testing whether a coloring is nonrepetitive is in co-NP, and the problem of finding such a coloring belongs to $\Sigma_2^P$ in the polynomial hierarchy. However the Thue number is not known to be complete for this class (Schaefer and Umans 2005).

[edit] References

Alon, Noga; Grytczuk, Jaroslaw; Hałuszczak, Mariusz; Riordan, Oliver (2002). "Nonrepetitive colorings of graphs". Random Structures & Algorithms 21 (3–4): 336–346. DOI:10.1002/rsa.10057.