study set cover problem