add a new section NP completeness proof