给定一个问题A，如果任何NP问题均在多项式时间多一归约、对数空间多一归约或多项式时间图灵归约下归约于A，那么称A是一个NP困难问题。