Solution

ID: past-exam-of-the-graph-theory-course-of-the-university-of-oxford/2023/1/b/iii/solution

Use mathematical induction on the maximum degree , including as the base case. A graph of maximum degree zero has no edges, so zero colours suffice.
For , part (ii) supplies a matching in a graph meeting every vertex of vertex degree . Delete its edges, retaining all vertices. Each vertex formerly of maximum degree loses one incident edge; every other vertex already had vertex degree at most . Hence
The resulting graph is still a bipartite graph. By mathematical induction, it has a proper edge colouring using at most colours. Give every edge of one new colour. Since is a matching in a graph, this produces a proper edge colouring of with at most colours. The edges at a vertex of maximum degree require at least colours, so
This is Kőnig's line colouring theorem.

New to topics? Read the docs here!