Maths Olympiad Prep

Library / /8 of 22

Combinatorics Difficulty 5.3 AIME, harder Prove it Romania

Show that, for every integer r2r \ge 2, there exists an rr-chromatic simple graph (no loops, nor multiple edges) which has no cycle of less than 6 edges.

Solution

The case r=2r = 2 is clear: Any cycle of even length works. In the other cases, define a sequence of graphs GrG_r, r3r \ge 3, as follows. The graph G3G_3 is a cycle of just 7 edges. (Any larger odd number would do.) When GrG_r is defined, with nrn_r vertices say, construct Gr+1G_{r+1} as follows. Consider

(rnrr+1nr) \binom{rn_r - r + 1}{n_r}
disjoint copies of GrG_r. Adjoin rnrr+1rn_r - r + 1 extra vertices. Set up a one-to-one correspondence between the copies of GrG_r and the nrn_r-element sets of extra vertices. Join each copy of GrG_r to the members of the corresponding nrn_r-element set of extra vertices by nrn_r disjoint new edges (no two have a common end). The resulting graph is Gr+1G_{r+1}.

Clearly, G3G_3 is 3-chromatic. If r3r \ge 3 and Gr+1G_{r+1} has a coloring CC in rr or fewer colors, then some nrn_r of the extra vertices in Gr+1G_{r+1} must share the same color in CC, so the corresponding copy of GrG_r must be colored in r1r-1 or fewer colors. It follows, by descending induction, that G3G_3 must be colored in 2 or fewer colors which is, of course, impossible. Consequently, no GrG_r can be colored in less than rr colors.
This does not prove that GrG_r is rr-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 GrG_r has a cycle of less than 6 edges.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.