Maths Olympiad Prep

Library / /23 of 28

Combinatorics Difficulty 8.3 Shortlist Prove it Hong Kong

For a graph GG,
χG=min{k:G has a k colouring},ΔG=max{degrees of vertices of G}. \begin{align*} \chi_G &= \min \{k : G \text{ has a } k \text{ colouring}\}, \\ \Delta_G &= \max \{\text{degrees of vertices of } G\}. \end{align*}

a. Prove that for any simple connected graph GG, χGΔG+1\chi_G \le \Delta_G + 1.

b. A regular graph is a graph that every vertex has the same degree. Prove that if a simple connected graph GG is not regular, then χGΔG\chi_G \le \Delta_G.

Solution

a.
(1999 Test 1 Problem 7(b)) See the solution above.

b.
(1999 Test 1 Problem 7(d) simplified) We give an alternative proof for this simpler version. We prove that there is a ΔG\Delta_G-colouring by induction on the number nn of vertices.

The base case is n=3n = 3, and the graph is ABCA - B - C. Clearly, we can assign colour 1 to AA and CC, and colour 2 to BB. This gives χG2=ΔG\chi_G \leq 2 = \Delta_G.

Assume the assertion holds when there are fewer than nn vertices. Consider a simple connected graph GG with nn vertices which is not regular. Since it is not regular, there is a vertex AA having degree at most ΔG1\Delta_G - 1. Let G1,G2,,GmG_1, G_2, \dots, G_m be the connected components of G{A}G - \{A\}. We claim that there is a ΔG\Delta_G-colouring for each GjG_j.

Suppose on the contrary that G1G_1 has no ΔG\Delta_G-colouring. By the inductive hypothesis, G1G_1 must be regular. If ΔG1ΔG1\Delta_{G_1} \leq \Delta_G - 1, then by part (a), we have
χG1ΔG1+1ΔG. \chi_{G_1} \leq \Delta_{G_1} + 1 \leq \Delta_G.

This shows a ΔG\Delta_G-colouring exists. Therefore, we may assume ΔG1=ΔG\Delta_{G_1} = \Delta_G. But then this implies all vertices in G1G_1 has degree ΔG\Delta_G. This is impossible since one of these vertices is adjacent to AA, and hence its degree in GG is at least ΔG+1\Delta_G + 1. This proves our claim.

Now, we choose any ΔG\Delta_G-colouring for each GjG_j. Lastly, we can assign a colour to AA which is different from the colours of all its neighbours since degAΔG1\deg A \le \Delta_G - 1. This completes the proof by induction.

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.