Paper 4, Section II, 17G
Part II, 2021
State and prove Hall's theorem, giving any definitions required by the proof (e.g. of an -alternating path).
Let be a (not necessarily bipartite) graph, and let be the size of the largest matching in . Let be the smallest for which there exist vertices such that every edge in is incident with at least one of . Show that and that . For each positive integer , find a graph with and . Determine and when is the Turan graph on 30 vertices.
By using Hall's theorem, or otherwise, show that if is a bipartite graph then
Define the chromatic index of a graph . Prove that if with then .