Groups
Double counting is the strategy of counting the same quantity in two different ways to derive an equality or an efficient algorithm.
Randomized algorithms use coin flips (random bits) to guide choices, often making code simpler and fast on average.