definitions for problems APX-hard and strongly NP-hard