Stanford CS161 Lecture 4: How Median of Medians Guarantees Linear-Time Selection
Selection does not require sorting. Median of medians groups elements by five, selects the median of the group medians as a pivot, and guarantees that the larger recursive side has at most 7n/10+5 elements; substitution proves O(n) worst-case time.