Given a finite set X and a family F of subsets of X, X = , find a minimum-size subset C F whose members cover all of X.

SC = {X, F, k there exists a set cover C F covering X with size k}