Complexity theory NP难中是否存在解在多项式时间内不可验证的决策问题？

我正在上复杂性课程。需要弄清楚NP_难问题

谢谢，

---

可在多项式时间内验证的Hareendra问题是NP问题。NP是nextime的一个适当子集。因此，nextime\NP不是空的，其问题在多项式时间内无法验证。根据定义，nextime\NP中的问题是NP难问题

看