Given a finite set A, for each a element A a size s(a) element Z^+, and a positive integer B, the subset sum problem asks if there is a subset A'⊆A such that sum_(a element A')s(a) = B.
status | proved NP-complete proof date | 1972 (53 years ago) prover | Richard Karp