added content: NP completeness