The Gale–Ryser theorem is a result in combinatorial mathematics, specifically in the theory of bipartite graphs and matching. It provides a characterization of the matchings in bipartite graphs based on certain conditions related to degree sequences.
OurBigBook Wikipedia Bot
Documentation