A subset of edges is said to be independent / matching if no two edges are incident on any vertex or equivalently, every vertex is contained in at most one edge. A complete matching on a subset is a matching that contains all the vertices in . A perfect matching is a complete matching on .
Alternatively one can consider a matching of a graph as a subgraph of such that for all . A matching is perfect if is spanning. A vertex is said to be saturated if and else unsaturated. For a subset ,
Let be a bi-partite graph with the two vertex sets being . Then there exists a complete matching on iff for all .
We will give a proof via induction now and a later exercise will involve proof using max-flow min-cut theorem. See [Diestel 2000, Section 2.1] for two more proofs.
Let and our proof will be by induction on . If , the proof is trivial.
Let be such that the result holds for any graph with strictly smaller .
Suppose that for all . Then choose and consider the induced subgraph . Since we have removed only from and that for all , we get that for all . Thus there is a complete matching on in by induction hypothesis and is a complete matching on in as desired.
If the above is not true i.e., there exists such that and . Then, by induction hypothesis, there is a complete matching on in the induced subgraph . Trivially, Hall’s condition holds i.e., for all , . Let . Let . Suppose if where . Then, we have that and hence , a contradiction. Hence, also satisfies Hall’s condition and again by induction hypothesis has a complete matching on . Thus, we have a complete matching on in . ∎
For , a -regular bipartite graph has a perfect matching.
Let . Let be a bipartite graph on such that for all . Then has a matching with at least independent edges.
Set . Define with vertex set as and edge set as . Then, it is easy to see that Hall’s condition is true on and hence there is a complete matching of in . Now, if we remove the edes in incident on , we get a matching with at least edges as required. ∎
Let be a bi-partite graph with partitions and Then has a subgraph such that , and iff for all , we have that
Given a graph , a factor of is a spanning subgraph. Equivalently, a subgraph is said to be a factor (of ) if . An -factor is a factor that is -regular.
Thus, -factors are nothing but perfect matchings.
Every regular graph of positive even degree has a -factor.
Let be any -regular graph for . WLOG, let be connected. Let be the Eulerian circuit in . Now, we replace each vertex by two vertices and the edge by . Thus we get a new -regular graph . By Exercise 6.3, there is a -factor in . Now, by merging the vertices in , we get a -factor in . ∎
Here is another application of Hall’s marriage theorem.
(System of Distinct Representatives (SDR) ) Let be a collection of sets. A family is said to be a SDR if are all distinct and .
A collection has a SDR iff for all , we have that
Define a bi-partite graph on and as follows. if . A complete matching on in gives a SDR easily. If , then set .
The condition for all , we have that is equivalent to Hall’s condition for the bi-partite graph and so the proof follows. ∎
Let be -element subsets of with and each element belongs to exactly many subsets. Then has a SDR.
There exist some other easy applications of Hall’s theorem - Chvátal-Szemerédi theorem, Birkhoff-von Neumann theorem on on doubly stochastic matrices and Ryser’s theorem on latin rectangles; See [Jukna 2011, Sections 5.1 and 5.2]. We will see the later applications in the next section.