add NP completeness