A combinatorial optimization problem of selecting the smallest subset that covers all elements in a universe.