Un algoritmo para resolver este problema

Dado un conjunto ES de enteros y un valor que entero, debe determinar si ES contiene un subconjunto de elementos cuya suma sea exactamente k. Escribir un algoritmo polinomial no determinístico.

No se me ocurre aun algún algoritmo que pueda resolver esto.