NP-Hard 中是否存在无法在多项式时间内验证解的决策问题？

Question

我正在学习复杂性课程。需要清除 NP_Hard 问题。

谢谢， 哈伦德拉

Answer 1

多项式时间内可验证的问题在 NP 中。 NP 是 NEXPTIME 的真子集。因此，NEXPTIME\NP 不是空的，它的问题在多项式时间内是不可验证的。根据定义，NEXPTIME\NP 中的问题是 NP 难的。

见Wikipedia - EXPTIME。