NP-hard Problem Definition