NP reduction from subset sum to Knapsack