Groups
Category
Tree DP solves matching, vertex cover, and independent set on trees in linear time using small state transitions per node.
Kรถnig's Theorem states that in any bipartite graph, the size of a maximum matching equals the size of a minimum vertex cover.