Strongly NP-complete problems