Started adding NP-completeness stuff