Minimal NP-hard Problem