Given a finite collection of subsets of a finite ground set, to find an optimal subcollection that are pairwise disjoint.