Lo interesante del problema es que sigue siendo NP-completo incluso cuando los enteros de "S" están acotados por un polinomio en "n".