El problema de la suma de subconjuntos es un problema importante en la teoría de la complejidad y en la criptografía.  El problema es este: dado un conjunto de enteros, ¿existe algún subconjunto cuya suma sea exactamente cero?  Por ejemplo, dado el conjunto { −7, −3, −2, 5, 8}, la respuesta es SI, porque el subconjunto { −3, −2, 5} suma cero. Este problema es NP-completo.
Un problema equivalente es:  dado un conjunto de enteros y un entero s, ¿existe algún subconjunto cuya suma sea s?  La suma de subconjuntos también puede verse como un caso especial del problema de la mochila.