A Tale of Two Halls
(Philip) Hall’s theorem.  Let  be a bipartite graph on vertex classes
 be a bipartite graph on vertex classes  ,
,  .  Suppose that,  for every
.  Suppose that,  for every  ,
,  .  Then there is a matching from
.  Then there is a matching from  to
 to  .
.
This is traditionally called Hall’s marriage theorem.  The picture is that the people in  are all prepared to marry some subset of the people in
 are all prepared to marry some subset of the people in  .  If some
.  If some  people in
 people in  are only prepared to marry into some set of
 are only prepared to marry into some set of  people, then we have a problem; but this is the only problem we might have.  There is no room in this picture for the preferences of people in
 people, then we have a problem; but this is the only problem we might have.  There is no room in this picture for the preferences of people in  .
.
Proof. Suppose first that  for all
 for all  .  Then we can match any element of
.  Then we can match any element of  arbitrarily to a neighbour in
 arbitrarily to a neighbour in  and obtain a smaller graph on which Hall’s condition holds, so are done by induction.
 and obtain a smaller graph on which Hall’s condition holds, so are done by induction.
Otherwise  for some
 for some  .  By induction there is a matching from
.  By induction there is a matching from  to
 to  .  Let
.  Let  .  Then for any
.  Then for any  we have
 we have 
      ![Rendered by QuickLaTeX.com \[|N(U) \setminus N(S)| + |N(S)| = |N(U \cup S)| \geq |U \cup S| = |U| + |S|\]](https://babarber.uk/wp-content/ql-cache/quicklatex.com-c067f4c30b08645c8b07f1e7270b20d1_l3.png)
 hence  and Hall’s condition holds on
 and Hall’s condition holds on  .  So by induction there is a matching from
.  So by induction there is a matching from  to
 to  , which together with the matching from
, which together with the matching from  to
 to  is a matching from
 is a matching from  to
 to  .
. 
Corollary 1.  Every  -regular bipartite graph has a perfect matching.
-regular bipartite graph has a perfect matching.
Proof. Counted with multiplicity,  .  But each element of
.  But each element of  is hit at most
 is hit at most  times, so
 times, so  in the conventional sense.
 in the conventional sense. 
Corollary 2. Let  be a spanning subgraph of
 be a spanning subgraph of  with minimum degree at least
 with minimum degree at least  .  Then
.  Then  has a perfect matching.
 has a perfect matching.
This is very slightly more subtle.
Proof. If  there is nothing to check.  Otherwise there is a
 there is nothing to check.  Otherwise there is a  .  Then
.  Then  and
 and  , so
, so  .  But
.  But  for every
 for every  .
. 
Schrijver proved that a  -regular bipartite graph with
-regular bipartite graph with  vertices in each class in fact has at least
 vertices in each class in fact has at least  perfect matchings.  For minimum degree
 perfect matchings.  For minimum degree  we have the following.
 we have the following.
(Marshall) Hall’s theorem.  If each vertex of  has degree at least
 has degree at least  and there is at least one perfect matching then there are at least
 and there is at least one perfect matching then there are at least  .
.
This turns out to be easy if we were paying attention during the proof of (Philip) Hall’s theorem.
Proof. By (Philip) Hall’s theorem the existence of a perfect matching means that (Philip) Hall’s condition holds.  Choose a minimal  on which it is tight.  Fix
 on which it is tight.  Fix  and match it arbitrarily to a neighbour
 and match it arbitrarily to a neighbour  .  (Philip) Hall’s condition still holds on
.  (Philip) Hall’s condition still holds on  and the minimum degree on this subgraph is at least
 and the minimum degree on this subgraph is at least  , so by induction we can find at least
, so by induction we can find at least  perfect matchings.  Since there were at least
 perfect matchings.  Since there were at least  choices for
 choices for  we have at least
 we have at least  perfect matchings from
 perfect matchings from  to
 to  .  These extend to perfect matchings from
.  These extend to perfect matchings from  to
 to  as in the proof of (Philip) Hall’s theorem.
 as in the proof of (Philip) Hall’s theorem. 
Thanks to Gjergji Zaimi for pointing me to (Marshall) Hall’s paper via MathOverflow.