Dado un conjunto de elementos formula_1 (llamado "universo") y formula_2 conjuntos cuya unión comprende el universo, el set cover problem consiste en identificar el menor número de conjuntos cuya unión aun contiene todos los elementos del universo.