Added NP-complete proof