A problem is NP-complete if:

  • is also NP-hard
  • also belongs to NP