Es un problema que se plantea como sigue:
Dado un conjunto de números enteros no negativos, averiguar si existe un subconjunto tal que al sumarlos de como resultado exactamente un número X.
La idea de la solución consiste en seleccionar uno por uno los números del conjunto y crear dos ramas: una donde tomamos el número en el subconjunto y otra en la que no.
Esto se realiza con una complejidad temporal exponencial