Groups
Double counting is the strategy of counting the same quantity in two different ways to derive an equality or an efficient 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.