NP-Complete

A problem is NP-complete if