protein folding — finding the minimal energy configuration of certain molecules
is NP-complete in existing models