Algorithm: zero one knapsack