König's theorem for bipartite matching
= König's theorem for bipartite matching
{c}
{wiki=Kőnig's_theorem_(graph_theory)}
In a finite bipartite graph, the maximum size of a matching equals the minimum size of a vertex cover. It follows by representing matching as an integral flow and vertex covers as finite-capacity cuts.