Groups
Category
HopcroftโKarp computes maximum matching in a bipartite graph in O(E \sqrt{V}) time, which is asymptotically faster than repeated DFS (Kuhn's algorithm).
Kรถnig's Theorem states that in any bipartite graph, the size of a maximum matching equals the size of a minimum vertex cover.