Groups
Kuhnโs algorithm finds a maximum matching in a bipartite graph by repeatedly searching for augmenting paths using DFS.
Kรถnig's Theorem states that in any bipartite graph, the size of a maximum matching equals the size of a minimum vertex cover.