En el problema de decisión de cobertura de conjuntos, la entrada es un par formula_13 y un entero formula_14 y la pregunta es si existe un "conjunto de cobertura" de tamaño formula_14 o menos.