Maths Olympiad Prep

Library / /80 of 94

Combinatorics Difficulty 5.4 AIME, harder Prove it United States

Problem:

Suppose GG is a graph with chromatic number nn. Suppose there exist kk graphs G1,G2,,GkG_{1}, G_{2}, \ldots, G_{k} having the same vertex set as GG such that G1G2Gk=GG_{1} \cup G_{2} \cup \cdots \cup G_{k}=G and each GiG_{i} has chromatic number at most 22. Show that klog2(n)k \geq \left\lceil \log_{2}(n) \right\rceil, and show that one can always find such a decomposition of GG into log2(n)\left\lceil \log_{2}(n) \right\rceil graphs.

Solution

Solution:

The bound on kk follows from iterating part (a).
Let GG be a graph with chromatic number nn. Consider a coloring of GG using nn colors labeled 1,2,,n1,2, \ldots, n. For ii from 11 to log2(n)\left\lceil \log_{2}(n) \right\rceil, define GiG_{i} to be the graph on the vertices of GG for which two vertices are connected by an edge if and only if the iith digit from the right in the binary expansions of their colors do not match. Clearly each of the graphs GiG_{i} have chromatic number at most 22, by coloring each node with the iith digit of the binary expansion of their color in GG. Moreover, each edge occurs in some GiG_{i}, since if two vertices match in every digit they are not connected by an edge. Therefore G1G2Glog2(n)=GG_{1} \cup G_{2} \cup \cdots \cup G_{\left\lceil \log_{2}(n) \right\rceil}=G, and so we have found such a decomposition of GG.

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.