Chvátal graph
Appearance
Chvátal graph | |
---|---|
Eulerian | |
Table of graphs and parameters |
In the
undirected graph with 12 vertices and 24 edges, discovered by Václav Chvátal in 1970. It is the smallest graph that is triangle-free, 4-regular, and 4-chromatic
.
Coloring, degree, and girth
The Chvátal graph is
chromatic number is 4: it can be colored using four colors, but not using only three. It is, as Chvátal observes, the smallest possible 4-chromatic 4-regular triangle-free graph; the only smaller 4-chromatic triangle-free graph is the Grötzsch graph, which has 11 vertices but has maximum degree 5 and is not regular.[1]
By
Brooks’ theorem
, every -regular graph (except for odd cycles and cliques) has chromatic number at most . It was also known since Erdős (1959) that, for every and there exist -chromatic graphs with girth .[2] In connection with these two results and several examples including the Chvátal graph, Branko Grünbaum conjectured that for every and there exist -chromatic -regular graphs with girth .[3] The Chvátal graph solves the case of this conjecture.[1] Grünbaum's conjecture was disproven for sufficiently large by Johannsen, who showed that the chromatic number of a triangle-free graph is where is the maximum vertex degree and the introduces big O notation.[4] However, despite this disproof, it remains of interest to find examples such as the Chvátal graph of high-girth -chromatic -regular graphs for small values of .
An alternative conjecture of Bruce Reed states that high-degree triangle-free graphs must have significantly smaller chromatic number than their degree, and more generally that a graph with maximum degree and
maximum clique
size must have chromatic number[4]
The case of this conjecture follows, for sufficiently large , from Johanssen's result. The Chvátal graph shows that the rounding up in Reed's conjecture is necessary, because for the Chvátal graph, , a number that is less than the chromatic number but that becomes equal to the chromatic number when rounded up.
Other properties
This graph is not vertex-transitive: its automorphism group has one orbit on vertices of size 8, and one of size 4.
The Chvátal graph is
NP-complete to determine whether a triangle-free Hamiltonian graph is 3-colorable.[5]
The characteristic polynomial of the Chvátal graph is . The Tutte polynomial of the Chvátal graph has been computed by Björklund et al. (2008).[6]
The
independence number
of this graph is 4.
Gallery
-
Thechromatic numberof the Chvátal graph is 4.
-
Thechromatic indexof the Chvátal graph is 4.
-
The Chvátal graph isHamiltonian.
-
Alternative drawing of the Chvátal graph.