strongly NP-hard