Show that, for every integer , there exists an -chromatic simple graph (no loops, nor multiple edges) which has no cycle of less than 6 edges.
Solution
The case is clear: Any cycle of even length works. In the other cases, define a sequence of graphs , , as follows. The graph is a cycle of just 7 edges. (Any larger odd number would do.) When is defined, with vertices say, construct as follows. Consider
disjoint copies of . Adjoin extra vertices. Set up a one-to-one correspondence between the copies of and the -element sets of extra vertices. Join each copy of to the members of the corresponding -element set of extra vertices by disjoint new edges (no two have a common end). The resulting graph is .
Clearly, is 3-chromatic. If and has a coloring in or fewer colors, then some of the extra vertices in must share the same color in , so the corresponding copy of must be colored in or fewer colors. It follows, by descending induction, that must be colored in 2 or fewer colors which is, of course, impossible. Consequently, no can be colored in less than colors.
This does not prove that is -chromatic, but if it is not, deletion of some monochromatic classes of vertices together with their incident edges yields one such.
The construction ensures that no graph has a cycle of less than 6 edges.