random
search
propose
stats
Proof by eminent authority: I saw Karp in the elevator and he said it was probably NP-complete.