在NP-Hard中是否存在任何决策问题，其解决方案在多项式时间内无法验证？

Question

我正在经历复杂性课程。需要明确NP_Hard问题。

谢谢， Hareendra

Answer 1

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

请参阅Wikipedia - EXPTIME。