Given a finite collection of subsets of a finite ground set, to find an optimal subcollection whose union covers the ground set.